以太坊虚拟机的操作码
页面最后更新: 2025年9月11日
概述
这是 wolflo/evm-opcodesopens in a new tab 上的 EVM 参考页面的更新版本。 内容也源自《黄皮书》opens in a new tab、《Jello Paper》opens in a new tab和 gethopens in a new tab 实现。 本文旨在作为一份易于理解的参考资料,但并不十分严谨。 如果想确保正确性并了解每种边缘情况,建议使用 Jello Paper 或客户端实现。
在寻找交互式参考? 查看 evm.codesopens in a new tab。
有关具有动态燃料费用的操作,请参阅 gas.mdopens in a new tab。
💡 快速提示:要在桌面设备上查看整行,请使用 [shift] + scroll 水平滚动。
| 堆栈 | 名称 | 燃料 | 起始堆栈 | 最终堆栈 | 内存 / 存储 | 注释 | |
|---|---|---|---|---|---|---|---|
| 00 | STOP | 0 | 中止执行 | ||||
| 01 | ADD | 3 | a, b | a + b | (u)int256 加法,模 2**256 | ||
| 02 | MUL | 5 | a, b | a * b | (u)int256 乘法,模 2**256 | ||
| 03 | SUB | 3 | a, b | a - b | (u)int256 减法,模 2**256 | ||
| 04 | DIV | 5 | a, b | a // b | uint256 除法 | ||
| 05 | SDIV | 5 | a, b | a // b | int256 除法 | ||
| 06 | MOD | 5 | a, b | a % b | uint256 模数 | ||
| 07 | SMOD | 5 | a, b | a % b | int256 模数 | ||
| 08 | ADDMOD | 8 | a, b, N | (a + b) % N | (u)int256 加法,模 N | ||
| 09 | MULMOD | 8 | a, b, N | (a * b) % N | (u)int256 乘法,模 N | ||
| 0A | EXP | A1opens in a new tab | a, b | a ** b | uint256 乘方,模 2**256 | ||
| 0B | SIGNEXTEND | 5 | b, x | SIGNEXTEND(x, b) | 将 x 从 (b+1) 字节符号扩展opens in a new tab到 32 字节 | ||
| 0C-0F | 无效 | ||||||
| 10 | LT | 3 | a, b | a < b | uint256 小于 | ||
| 11 | GT | 3 | a, b | a > b | uint256 大于 | ||
| 12 | SLT | 3 | a, b | a < b | int256 小于 | ||
| 13 | SGT | 3 | a, b | a > b | int256 大于 | ||
| 14 | EQ | 3 | a, b | a == b | (u)int256 相等 | ||
| 15 | ISZERO | 3 | a | a == 0 | (u)int256 是否为零 | ||
| 16 | AND | 3 | a, b | a && b | 按位与 | ||
| 17 | OR | 3 | a, b | `a \ | \ | b` | |
| 18 | XOR | 3 | a, b | a ^ b | 按位异或 | ||
| 19 | NOT | 3 | a | ~a | 按位非 | ||
| 1A | BYTE | 3 | i, x | (x >> (248 - i * 8)) && 0xFF | 从左起,(u)int256 x 的第 i 个字节 | ||
| 1B | SHL | 3 | shift, val | val << shift | 左移 | ||
| 1C | SHR | 3 | shift, val | val >> shift | 逻辑右移 | ||
| 1D | SAR | 3 | shift, val | val >> shift | 算术右移 | ||
| 1E-1F | 无效 | ||||||
| 20 | KECCAK256 | A2opens in a new tab | ost, len | keccak256(mem[ost:ost+len-1]) | keccak256 | ||
| 21-2F | 无效 | ||||||
| 30 | ADDRESS | 2 | . | address(this) | 执行合约的地址 | ||
| 31 | BALANCE | A5opens in a new tab | addr | addr.balance | 余额,以 wei 为单位 | ||
| 32 | ORIGIN | 2 | . | tx.origin | 发起交易的地址 | ||
| 33 | CALLER | 2 | . | 发送者 | 消息发送者的地址 | ||
| 34 | CALLVALUE | 2 | . | msg.value | 消息值,以 wei 为单位 | ||
| 35 | CALLDATALOAD | 3 | idx | msg.data[idx:idx+32] | 从索引 idx 处的消息数据中读取字 | ||
| 36 | CALLDATASIZE | 2 | . | len(msg.data) | 消息数据的长度,以字节为单位 | ||
| 37 | CALLDATACOPY | A3opens in a new tab | dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := msg.data[ost:ost+len-1] | 复制消息数据 | |
| 38 | CODESIZE | 2 | . | len(this.code) | 执行合约代码的长度,以字节为单位 | ||
| 39 | CODECOPY | A3opens in a new tab | dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := this.code[ost:ost+len-1] | 复制执行合约的字节码 | |
| 3A | GASPRICE | 2 | . | tx.gasprice | 交易的燃料价格,以 wei/单位燃料计 **opens in a new tab | ||
| 3B | EXTCODESIZE | A5opens in a new tab | addr | len(addr.code) | 地址处代码的大小,以字节为单位 | ||
| 3C | EXTCODECOPY | A4opens in a new tab | addr, dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := addr.code[ost:ost+len-1] | 从 addr 复制代码 | |
| 3D | RETURNDATASIZE | 2 | . | size | 上次外部调用的返回数据的大小,以字节为单位 | ||
| 3E | RETURNDATACOPY | A3opens in a new tab | dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := returndata[ost:ost+len-1] | 复制上次外部调用的返回数据 | |
| 3F | EXTCODEHASH | A5opens in a new tab | addr | 哈希 | 哈希 = addr.exists ? keccak256(addr.code) : 0 | ||
| 40 | BLOCKHASH | 20 | blockNum | blockHash(blockNum) | |||
| 41 | COINBASE | 2 | . | block.coinbase | 当前区块提议者地址 | ||
| 42 | TIMESTAMP | 2 | . | 区块时间戳 | 当前区块的时间戳 | ||
| 43 | NUMBER | 2 | . | block.number | 当前区块的编号 | ||
| 44 | PREVRANDAO | 2 | . | randomness beacon | 随机信标 | ||
| 45 | GASLIMIT | 2 | . | block.gaslimit | 当前区块的燃料限制 | ||
| 46 | CHAINID | 2 | . | chain_id | 将当前链 idopens in a new tab 推入堆栈 | ||
| 47 | SELFBALANCE | 5 | . | address(this).balance | 执行合约的余额,以 wei 为单位 | ||
| 48 | BASEFEE | 2 | . | block.basefee | 当前区块的基本费用 | ||
| 49 | BLOBHASH | 3 | idx | tx.blob_versioned_hashes[idx] | EIP-4844opens in a new tab | ||
| 4A | BLOBBASEFEE | 2 | . | block.blobbasefee | 当前区块的 blob 基本费用 (EIP-7516opens in a new tab) | ||
| 4B-4F | 无效 | ||||||
| 50 | POP | 2 | _anon | . | 从堆栈顶部移除一项并丢弃 | ||
| 51 | MLOAD | 3*opens in a new tab | ost | mem[ost:ost+32] | 从内存偏移量 ost 处读取字 | ||
| 52 | MSTORE | 3*opens in a new tab | ost, val | . | mem[ost:ost+32] := val | 向内存写入一个字 | |
| 53 | MSTORE8 | 3*opens in a new tab | ost, val | . | mem[ost] := val && 0xFF | 向内存写入单个字节 | |
| 54 | SLOAD | A6opens in a new tab | key | storage[key] | 从存储中读取字 | ||
| 55 | SSTORE | A7opens in a new tab | key, val | . | storage[key] := val | 向存储中写入字 | |
| 56 | JUMP | 8 | dst | . | $pc := dst 标记 pc 仅在 dst 是一个有效的 jumpdest 时才被赋值。 | ||
| 57 | JUMPI | 10 | dst, condition | . | $pc := condition ? dst : $pc + 1` | ||
| 58 | PC | 2 | . | $pc | 程序计数器 | ||
| 59 | MSIZE | 2 | . | len(mem) | 当前执行上下文中内存的大小,以字节为单位 | ||
| 5A | GAS | 2 | . | gasRemaining | |||
| 5B | JUMPDEST | 1 | 标记有效的跳转目标 | 一个有效的跳转目标,例如一个不在推送数据内的跳转目标 | |||
| 5C | TLOAD | 100 | key | tstorage[key] | 从瞬时存储中读取字 (EIP-1153opens in a new tab) | ||
| 5D | TSTORE | 100 | key, val | . | tstorage[key] := val | 向瞬时存储中写入字 (EIP-1153opens in a new tab) | |
| 5E | MCOPY | 3+3*words+A0opens in a new tab | dstOst, ost, len | . | mem[dstOst] := mem[ost:ost+len] | 将内存从一个区域复制到另一个区域 (EIP-5656opens in a new tab) | |
| 5F | PUSH0 | 2 | . | uint8 | push the constant value 0 onto stack | ||
| 60 | PUSH1 | 3 | . | uint8 | 将 1 字节值推入堆栈 | ||
| 61 | PUSH2 | 3 | . | uint16 | 将 2 字节值推入堆栈 | ||
| 62 | PUSH3 | 3 | . | uint24 | 将 3 字节值推入堆栈 | ||
| 63 | PUSH4 | 3 | . | uint32 | 将 4 字节值推入堆栈 | ||
| 64 | PUSH5 | 3 | . | uint40 | 将 5 字节值推入堆栈 | ||
| 65 | PUSH6 | 3 | . | uint48 | 将 6 字节值推入堆栈 | ||
| 66 | PUSH7 | 3 | . | uint56 | 将 7 字节值推入堆栈 | ||
| 67 | PUSH8 | 3 | . | uint64 | 将 8 字节值推入堆栈 | ||
| 68 | PUSH9 | 3 | . | uint72 | 将 9 字节值推入堆栈 | ||
| 69 | PUSH10 | 3 | . | uint80 | 将 10 字节值推入堆栈 | ||
| 6A | PUSH11 | 3 | . | uint88 | 将 11 字节值推入堆栈 | ||
| 6B | PUSH12 | 3 | . | uint96 | 将 12 字节值推入堆栈 | ||
| 6C | PUSH13 | 3 | . | uint104 | 将 13 字节值推入堆栈 | ||
| 6D | PUSH14 | 3 | . | uint112 | 将 14 字节值推入堆栈 | ||
| 6E | PUSH15 | 3 | . | uint120 | 将 15 字节值推入堆栈 | ||
| 6F | PUSH16 | 3 | . | uint128 | 将 16 字节值推入堆栈 | ||
| 70 | PUSH17 | 3 | . | uint136 | 将 17 字节值推入堆栈 | ||
| 71 | PUSH18 | 3 | . | uint144 | 将 18 字节值推入堆栈 | ||
| 72 | PUSH19 | 3 | . | uint152 | 将 19 字节值推入堆栈 | ||
| 73 | PUSH20 | 3 | . | uint160 | 将 20 字节值推入堆栈 | ||
| 74 | PUSH21 | 3 | . | uint168 | 将 21 字节值推入堆栈 | ||
| 75 | PUSH22 | 3 | . | uint176 | 将 22 字节值推入堆栈 | ||
| 76 | PUSH23 | 3 | . | uint184 | 将 23 字节值推入堆栈 | ||
| 77 | PUSH24 | 3 | . | uint192 | 将 24 字节值推入堆栈 | ||
| 78 | PUSH25 | 3 | . | uint200 | 将 25 字节值推入堆栈 | ||
| 79 | PUSH26 | 3 | . | uint208 | 将 26 字节值推入堆栈 | ||
| 7A | PUSH27 | 3 | . | uint216 | 将 27 字节值推入堆栈 | ||
| 7B | PUSH28 | 3 | . | uint224 | 将 28 字节值推入堆栈 | ||
| 7C | PUSH29 | 3 | . | uint232 | 将 29 字节值推入堆栈 | ||
| 7D | PUSH30 | 3 | . | uint240 | 将 30 字节值推入堆栈 | ||
| 7E | PUSH31 | 3 | . | uint248 | 将 31 字节值推入堆栈 | ||
| 7F | PUSH32 | 3 | . | uint256 | 将 32 字节值推入堆栈 | ||
| 80 | DUP1 | 3 | a | a, a | 克隆堆栈上的第 1 个值 | ||
| 81 | DUP2 | 3 | _, a | a, _, a | 克隆堆栈上的第 2 个值 | ||
| 82 | DUP3 | 3 | _, _, a | a, _, _, a | 克隆堆栈上的第 3 个值 | ||
| 83 | DUP4 | 3 | _, _, _, a | a, _, _, _, a | 克隆堆栈上的第 4 个值 | ||
| 84 | DUP5 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 5 个值 | ||
| 85 | DUP6 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 6 个值 | ||
| 86 | DUP7 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 7 个值 | ||
| 87 | DUP8 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 8 个值 | ||
| 88 | DUP9 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 9 个值 | ||
| 89 | DUP10 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 10 个值 | ||
| 8A | DUP11 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 11 个值 | ||
| 8B | DUP12 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 12 个值 | ||
| 8C | DUP13 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 13 个值 | ||
| 8D | DUP14 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 14 个值 | ||
| 8E | DUP15 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 15 个值 | ||
| 8F | DUP16 | 3 | ..., a | a, ..., a | 克隆堆栈上的第 16 个值 | ||
| 90 | SWAP1 | 3 | a, b | b, a | |||
| 91 | SWAP2 | 3 | a, _, b | b, _, a | |||
| 92 | SWAP3 | 3 | a, _, _, b | b, _, _, a | |||
| 93 | SWAP4 | 3 | a, _, _, _, b | b, _, _, _, a | |||
| 94 | SWAP5 | 3 | a, ..., b | b, ..., a | |||
| 95 | SWAP6 | 3 | a, ..., b | b, ..., a | |||
| 96 | SWAP7 | 3 | a, ..., b | b, ..., a | |||
| 97 | SWAP8 | 3 | a, ..., b | b, ..., a | |||
| 98 | SWAP9 | 3 | a, ..., b | b, ..., a | |||
| 99 | SWAP10 | 3 | a, ..., b | b, ..., a | |||
| 9A | SWAP11 | 3 | a, ..., b | b, ..., a | |||
| 9B | SWAP12 | 3 | a, ..., b | b, ..., a | |||
| 9C | SWAP13 | 3 | a, ..., b | b, ..., a | |||
| 9D | SWAP14 | 3 | a, ..., b | b, ..., a | |||
| 9E | SWAP15 | 3 | a, ..., b | b, ..., a | |||
| 9F | SWAP16 | 3 | a, ..., b | b, ..., a | |||
| A0 | LOG0 | A8opens in a new tab | ost, len | . | LOG0(memory[ost:ost+len-1]) | ||
| A1 | LOG1 | A8opens in a new tab | ost, len, topic0 | . | LOG1(memory[ost:ost+len-1], topic0) | ||
| A2 | LOG2 | A8opens in a new tab | ost, len, topic0, topic1 | . | LOG2(memory[ost:ost+len-1], topic0, topic1) | ||
| A3 | LOG3 | A8opens in a new tab | ost, len, topic0, topic1, topic2 | . | LOG3(memory[ost:ost+len-1], topic0, topic1, topic2) | ||
| A4 | LOG4 | A8opens in a new tab | ost, len, topic0, topic1, topic2, topic3 | . | LOG4(memory[ost:ost+len-1], topic0, topic1, topic2, topic3) | ||
| A5-EF | 无效 | ||||||
| F0 | CREATE | A9opens in a new tab | val, ost, len | addr | addr = keccak256(rlp([address(this), this.nonce])) | ||
| F1 | CALL | AAopens in a new tab | 燃料, addr, val, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] := returndata | ||
| F2 | CALLCODE | AAopens in a new tab | 燃料, addr, val, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] = returndata | 与 DELEGATECALL 相同,但不传播原始的 msg.sender 和 msg.value | |
| F3 | RETURN | 0*opens in a new tab | ost, len | . | return mem[ost:ost+len-1] | ||
| F4 | DELEGATECALL | AAopens in a new tab | 燃料, addr, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] := returndata | ||
| F5 | CREATE2 | A9opens in a new tab | val, ost, len, salt | addr | addr = keccak256(0xff ++ address(this) ++ salt ++ keccak256(mem[ost:ost+len-1]))[12:] | ||
| F6-F9 | 无效 | ||||||
| FA | STATICCALL | AAopens in a new tab | 燃料, addr, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] := returndata | ||
| FB-FC | 无效 | ||||||
| FD | REVERT | 0*opens in a new tab | ost, len | . | revert(mem[ost:ost+len-1]) | ||
| FE | INVALID | AFopens in a new tab | 指定的无效操作码 - EIP-141opens in a new tab | ||||
| FF | SELFDESTRUCT | ABopens in a new tab | addr | . | 将所有 ETH 发送到 addr;如果在创建合约的同一交易中执行,它会销毁该合约 |