在以太坊虚拟机EVM的执行上下文中存在三种主要的数据存储物理形态栈Stack、持久化存储Storage以及线性内存Memory。与按槽位Slot离散寻址的 Storage 不同EVM 内存是一个字节级Byte-addressed可寻址的连续线性数组。在单个外部调用Message Call初始化时内存空间为空长度为 0。当执行操作码需要读取或写入超出当前已分配范围的内存偏移量Offset时EVM 就会触发内存扩展Memory Expansion。内存扩展并非免费以太坊黄皮书Yellow Paper为其制定了一套极其精巧的“线性 二次方”计费机制。这一设计旨在平衡小内存分配的极低开销同时通过非线性爆炸式的 Gas 惩罚坚决遏制恶意攻击者利用巨额内存申请耗尽节点物理 RAMOOM 拒绝服务攻击。本文将从 EVM 黄皮书公式出发深入剖析连续内存寻址的底层机理并通过 Python 建模与 Yul 汇编实证揭开内存扩展 Gas 消耗的微观全貌。一、EVM 内存寻址与字对齐规则EVM 内存按 1 字节8 位连续编址但读写操作码主要以32 字节1 个字 / Word为基准操作单元MLOAD(offset)从指定的offset开始连续读取 32 个字节并压入栈顶。MSTORE(offset, value)将栈顶的 32 字节数值写入从offset开始的连续 32 个字节。MSTORE8(offset, byte_val)仅写入单个字节到offset位置。连续扩展与向上对齐无论使用MSTORE写入 32 字节还是仅用MSTORE8写入 1 字节如果目标地址跨越了当前已激活的内存边界EVM 会自动以32 字节Word为最小单位执行向上取整扩展。例如若当前内存大小为 0执行MSTORE8(0x20, 0xff)在十进制第 32 个字节位置写入 1 字节EVM 必须保证内存能容纳到第 33 个字节因此总内存大小将被强制向上对齐扩充至 $64$ 字节即 2 个字。二、黄皮书内存扩展计费公式深度推演以太坊黄皮书中明确定义了当前已分配内存字数从 $s$ 扩充到 $s$ 时需要支付的 Gas 增量。设当前内存分配的总字数Words每个字 32 字节为 $a$$$a \lceil \frac{\text{highest_byte_index}}{32} \rceil$$总内存开销函数 $C_{mem}(a)$ 定义为$$C_{mem}(a) G_{memory} \cdot a \lfloor \frac{a^2}{512} \rfloor$$其中常量 $G_{memory} 3$ Gas。当内存由原有字数 $a_{old}$ 扩展至新的字数 $a_{new}$ 时单次操作扣除的内存扩展 GasExpansion Gas为两者的差值$$\Delta Gas C_{mem}(a_{new}) - C_{mem}(a_{old})$$计费结构的物理意义与临界点该公式由两部分构成线性项$3 \cdot a$代表物理内存在小规模线性增长时操作系统分配微小内存页的基本开销。每个 Word 只需 3 Gas极其廉价。二次方惩罚项$\lfloor \frac{a^2}{512} \rfloor$当内存规模逐步扩大时该项迅速占据主导地位。Gas 消耗 ▲ │ / (二次方主导区: a^2 / 512) │ / │ / │ / │ / │ (线性过渡区) / │ ───────────────────────/ │ (3 Gas/Word 线性区) └──────────────────────────────────────► 内存字数 a (Words) 0 200 500 1000当 $a$ 较小时例如 $a 40$ 字即 1.28 KB 内$\lfloor a^2 / 512 \rfloor$ 几乎为 0 到 3 Gas总成本几乎纯粹是线性的然而一旦申请内存达到数万个字几百 KB 或数 MB 级别二次方项将以指数级的斜率飙升单笔交易所能提供的 30,000,000 Gas 上限会在瞬间被抽干。三、Python 理论推演与 Gas 曲线实测脚本以下 Python 脚本直观展现了随着内存偏移量以 KB / MB 计的扩大EVM 内存扩展 Gas 的非线性跃迁过程import math from tabulate import tabulate def calculate_memory_gas(words: int) - int: 基于黄皮书规范计算内存总 Gas 开销 linear_cost 3 * words quadratic_cost (words * words) // 512 return linear_cost quadratic_cost def run_simulation(): # 测试不同的内存申请规模字节数 byte_sizes [ 32, # 1 Word 1024, # 1 KB (32 Words) 4096, # 4 KB (128 Words) 16384, # 16 KB (512 Words) 65536, # 64 KB (2048 Words) 262144, # 256 KB (8192 Words) 1048576, # 1 MB (32768 Words) ] table_data [] prev_words 0 prev_gas 0 for b in byte_sizes: words math.ceil(b / 32) total_gas calculate_memory_gas(words) delta_gas total_gas - prev_gas linear_part 3 * words quad_part (words * words) // 512 table_data.append([ f{b} B ({b / 1024:.1f} KB), words, linear_part, quad_part, total_gas, delta_gas ]) prev_words words prev_gas total_gas headers [内存大小, 分配字数, 线性项 (Gas), 二次方项 (Gas), 累计总 Gas, 扩容增量 Gas] print(tabulate(table_data, headersheaders, tablefmtgithub)) if __name__ __main__: run_simulation()运行该脚本可以清晰观察到在 1 KB 级别总开销仅为 98 Gas在 64 KB 级别总开销已升至 14,336 Gas二次方项已达 8,192 Gas超越线性项在 1 MB 级别总开销更是剧烈膨胀到2,195,456 Gas这充分证实了即便攻击者拥有千万 Gas也绝无可能在单笔交易中申请超过几十兆的内存空间。四、Foundry 与 Yul 汇编内存扩展实测合约为了在真实的 EVM 执行环境中验证这一机制我们编写了一个测试合约MemoryExpansionExploration.sol直接通过内联汇编触发远端内存写入// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; contract MemoryExpansionExploration { event GasMeasured(uint256 offsetBytes, uint256 gasConsumed); /// notice 测试在指定 offset 写入单个字节所消耗的实际 Gas function writeAtOffset(uint256 offset) external returns (uint256 gasUsed) { uint256 startGas gasleft(); assembly { // 直接在超远端 offset 写入 1 个字节强制 EVM 扩展全部前置内存空间 mstore8(offset, 0xaa) } gasUsed startGas - gasleft(); emit GasMeasured(offset, gasUsed); } /// notice 规避内存扩展惩罚的高效内存复用模式演示 function efficientMemoryReuse() external pure returns (bytes32 result) { assembly { // 最佳实践始终复用 0x00 - 0x40 刮擦空间Scratch Space // 避免随意向 0x1000 以上的未知内存区写入数据 mstore(0x00, 0x12345678) mstore(0x20, 0xabcdef) result : keccak256(0x00, 0x40) } } }五、Solidity 极客优化启示录理解了 EVM 的二次方计费模型我们在编写高频交互协议时必须恪守以下工程准则绝对警惕大数组与动态字符串拷贝在 Solidity 中执行abi.encode或在函数内部声明new uint256[](large_size)会线性递增当前可用内存指针Free Memory Pointer位于0x40。长循环内如果频繁分配临时bytes内存指针将无限向前推移最终跌入二次方惩罚区间引发意想不到的 Gas 暴增。充分榨干 64 字节 Scratch SpaceEVM 内存的0x00 - 0x3f共 64 字节被约定为临时刮擦空间Scratch Space计算哈希或返回小额布尔值时应优先复用该区间绝不扩大内存边界。Calldata 代替 Memory对于只读的大型入参如签名数组、Merkle 证明树函数参数必须显式声明为calldata。Calldata 驻留在只读输入缓冲区中不占用 Memory 空间彻底免除内存扩展的任何二次方惩罚。