Անցեք հիմնական բովանդակությանը
Change page

Opcodes for the EVM

Վերջին խմբագրումը: @wackerow(opens in a new tab), 3 հուլիսի, 2024 թ.

Overview

This is an updated version of the EVM reference page at wolflo/evm-opcodes(opens in a new tab). Also drawn from the Yellow Paper(opens in a new tab), the Jello Paper(opens in a new tab), and the geth(opens in a new tab) implementation. This is intended to be an accessible reference, but it is not particularly rigorous. If you want to be certain of correctness and aware of every edge case, using the Jello Paper or a client implementation is advisable.

Looking for an interactive reference? Check out evm.codes(opens in a new tab).

For operations with dynamic gas costs, see gas.md(opens in a new tab).

💡 Quick tip: To view entire lines, use [shift] + scroll to scroll horizontally on desktop.

StackNameGasInitial StackResulting StackMem / StorageNotes
00STOP0halt execution
01ADD3a, ba + b(u)int256 addition modulo 2**256
02MUL5a, ba * b(u)int256 multiplication modulo 2**256
03SUB3a, ba - b(u)int256 addition modulo 2**256
04DIV5a, ba // buint256 division
05SDIV5a, ba // bint256 division
06MOD5a, ba % buint256 modulus
07SMOD5a, ba % bint256 modulus
08ADDMOD8a, b, N(a + b) % N(u)int256 addition modulo N
09MULMOD8a, b, N(a * b) % N(u)int256 multiplication modulo N
0AEXPA1(opens in a new tab)a, ba ** buint256 exponentiation modulo 2**256
0BSIGNEXTEND5b, xSIGNEXTEND(x, b)sign extend(opens in a new tab) x from (b+1) bytes to 32 bytes
0C-0Finvalid
10LT3a, ba < buint256 less-than
11GT3a, ba > buint256 greater-than
12SLT3a, ba < bint256 less-than
13SGT3a, ba > bint256 greater-than
14EQ3a, ba == b(u)int256 equality
15ISZERO3aa == 0(u)int256 iszero
16AND3a, ba && bbitwise AND
17OR3a, ba \|\| bbitwise OR
18XOR3a, ba ^ bbitwise XOR
19NOT3a~abitwise NOT
1ABYTE3i, x(x >> (248 - i * 8)) && 0xFFith byte of (u)int256 x, from the left
1BSHL3shift, valval << shiftshift left
1CSHR3shift, valval >> shiftlogical shift right
1DSAR3shift, valval >> shiftarithmetic shift right
1E-1Finvalid
20KECCAK256A2(opens in a new tab)ost, lenkeccak256(mem[ost:ost+len-1])keccak256
21-2Finvalid
30ADDRESS2.address(this)address of executing contract
31BALANCEA5(opens in a new tab)addraddr.balancebalance, in wei
32ORIGIN2.tx.originaddress that originated the tx
33CALLER2.msg.senderaddress of msg sender
34CALLVALUE2.msg.valuemsg value, in wei
35CALLDATALOAD3idxmsg.data[idx:idx+32]read word from msg data at index idx
36CALLDATASIZE2.len(msg.data)length of msg data, in bytes
37CALLDATACOPYA3(opens in a new tab)dstOst, ost, len.mem[dstOst:dstOst+len-1] := msg.data[ost:ost+len-1]copy msg data
38CODESIZE2.len(this.code)length of executing contract's code, in bytes
39CODECOPYA3(opens in a new tab)dstOst, ost, len.mem[dstOst:dstOst+len-1] := this.code[ost:ost+len-1]copy executing contract's bytecode
3AGASPRICE2.tx.gaspricegas price of tx, in wei per unit gas **(opens in a new tab)
3BEXTCODESIZEA5(opens in a new tab)addrlen(addr.code)size of code at addr, in bytes
3CEXTCODECOPYA4(opens in a new tab)addr, dstOst, ost, len.mem[dstOst:dstOst+len-1] := addr.code[ost:ost+len-1]copy code from addr
3DRETURNDATASIZE2.sizesize of returned data from last external call, in bytes
3ERETURNDATACOPYA3(opens in a new tab)dstOst, ost, len.mem[dstOst:dstOst+len-1] := returndata[ost:ost+len-1]copy returned data from last external call
3FEXTCODEHASHA5(opens in a new tab)addrhashhash = addr.exists ? keccak256(addr.code) : 0
40BLOCKHASH20blockNumblockHash(blockNum)
41COINBASE2.block.coinbaseaddress of proposer of current block
42TIMESTAMP2.block.timestamptimestamp of current block
43NUMBER2.block.numbernumber of current block
44PREVRANDAO2.randomness beaconrandomness beacon
45GASLIMIT2.block.gaslimitgas limit of current block
46CHAINID2.chain_idpush current chain id(opens in a new tab) onto stack
47SELFBALANCE5.address(this).balancebalance of executing contract, in wei
48BASEFEE2.block.basefeebase fee of current block
49BLOBHASH3idxtx.blob_versioned_hashes[idx]EIP-4844(opens in a new tab)
4ABLOBBASEFEE2.block.blobbasefeeblob base fee of current block (EIP-7516(opens in a new tab))
4B-4Finvalid
50POP2_anon.remove item from top of stack and discard it
51MLOAD3*(opens in a new tab)ostmem[ost:ost+32]read word from memory at offset ost
52MSTORE3*(opens in a new tab)ost, val.mem[ost:ost+32] := valwrite a word to memory
53MSTORE83*(opens in a new tab)ost, val.mem[ost] := val && 0xFFwrite a single byte to memory
54SLOADA6(opens in a new tab)keystorage[key]read word from storage
55SSTOREA7(opens in a new tab)key, val.storage[key] := valwrite word to storage
56JUMP8dst.$pc := dst mark that pc is only assigned if dst is a valid jumpdest
57JUMPI10dst, condition.$pc := condition ? dst : $pc + 1
58PC2.$pcprogram counter
59MSIZE2.len(mem)size of memory in current execution context, in bytes
5AGAS2.gasRemaining
5BJUMPDEST1mark valid jump destinationa valid jump destination for example a jump destination not inside the push data
5CTLOAD100keytstorage[key]read word from transient storage (EIP-1153(opens in a new tab))
5DTSTORE100key, val.tstorage[key] := valwrite word to transient storage (EIP-1153(opens in a new tab))
5EMCOPY3+3*words+A0(opens in a new tab)dstOst, ost, len.mem[dstOst] := mem[ost:ost+len]copy memory from one area to another (EIP-5656(opens in a new tab))
5FPUSH02.uint8push the constant value 0 onto stack
60PUSH13.uint8push 1-byte value onto stack
61PUSH23.uint16push 2-byte value onto stack
62PUSH33.uint24push 3-byte value onto stack
63PUSH43.uint32push 4-byte value onto stack
64PUSH53.uint40push 5-byte value onto stack
65PUSH63.uint48push 6-byte value onto stack
66PUSH73.uint56push 7-byte value onto stack
67PUSH83.uint64push 8-byte value onto stack
68PUSH93.uint72push 9-byte value onto stack
69PUSH103.uint80push 10-byte value onto stack
6APUSH113.uint88push 11-byte value onto stack
6BPUSH123.uint96push 12-byte value onto stack
6CPUSH133.uint104push 13-byte value onto stack
6DPUSH143.uint112push 14-byte value onto stack
6EPUSH153.uint120push 15-byte value onto stack
6FPUSH163.uint128push 16-byte value onto stack
70PUSH173.uint136push 17-byte value onto stack
71PUSH183.uint144push 18-byte value onto stack
72PUSH193.uint152push 19-byte value onto stack
73PUSH203.uint160push 20-byte value onto stack
74PUSH213.uint168push 21-byte value onto stack
75PUSH223.uint176push 22-byte value onto stack
76PUSH233.uint184push 23-byte value onto stack
77PUSH243.uint192push 24-byte value onto stack
78PUSH253.uint200push 25-byte value onto stack
79PUSH263.uint208push 26-byte value onto stack
7APUSH273.uint216push 27-byte value onto stack
7BPUSH283.uint224push 28-byte value onto stack
7CPUSH293.uint232push 29-byte value onto stack
7DPUSH303.uint240push 30-byte value onto stack
7EPUSH313.uint248push 31-byte value onto stack
7FPUSH323.uint256push 32-byte value onto stack
80DUP13aa, aclone 1st value on stack
81DUP23_, aa, _, aclone 2nd value on stack
82DUP33_, _, aa, _, _, aclone 3rd value on stack
83DUP43_, _, _, aa, _, _, _, aclone 4th value on stack
84DUP53..., aa, ..., aclone 5th value on stack
85DUP63..., aa, ..., aclone 6th value on stack
86DUP73..., aa, ..., aclone 7th value on stack
87DUP83..., aa, ..., aclone 8th value on stack
88DUP93..., aa, ..., aclone 9th value on stack
89DUP103..., aa, ..., aclone 10th value on stack
8ADUP113..., aa, ..., aclone 11th value on stack
8BDUP123..., aa, ..., aclone 12th value on stack
8CDUP133..., aa, ..., aclone 13th value on stack
8DDUP143..., aa, ..., aclone 14th value on stack
8EDUP153..., aa, ..., aclone 15th value on stack
8FDUP163..., aa, ..., aclone 16th value on stack
90SWAP13a, bb, a
91SWAP23a, _, bb, _, a
92SWAP33a, _, _, bb, _, _, a
93SWAP43a, _, _, _, bb, _, _, _, a
94SWAP53a, ..., bb, ..., a
95SWAP63a, ..., bb, ..., a
96SWAP73a, ..., bb, ..., a
97SWAP83a, ..., bb, ..., a
98SWAP93a, ..., bb, ..., a
99SWAP103a, ..., bb, ..., a
9ASWAP113a, ..., bb, ..., a
9BSWAP123a, ..., bb, ..., a
9CSWAP133a, ..., bb, ..., a
9DSWAP143a, ..., bb, ..., a
9ESWAP153a, ..., bb, ..., a
9FSWAP163a, ..., bb, ..., a
A0LOG0A8(opens in a new tab)ost, len.LOG0(memory[ost:ost+len-1])
A1LOG1A8(opens in a new tab)ost, len, topic0.LOG1(memory[ost:ost+len-1], topic0)
A2LOG2A8(opens in a new tab)ost, len, topic0, topic1.LOG2(memory[ost:ost+len-1], topic0, topic1)
A3LOG3A8(opens in a new tab)ost, len, topic0, topic1, topic2.LOG3(memory[ost:ost+len-1], topic0, topic1, topic2)
A4LOG4A8(opens in a new tab)ost, len, topic0, topic1, topic2, topic3.LOG4(memory[ost:ost+len-1], topic0, topic1, topic2, topic3)
A5-EFinvalid
F0CREATEA9(opens in a new tab)val, ost, lenaddraddr = keccak256(rlp([address(this), this.nonce]))
F1CALLAA(opens in a new tab)gas, addr, val, argOst, argLen, retOst, retLensuccessmem[retOst:retOst+retLen-1] := returndata
F2CALLCODEAA(opens in a new tab)gas, addr, val, argOst, argLen, retOst, retLensuccessmem[retOst:retOst+retLen-1] = returndatasame as DELEGATECALL, but does not propagate original msg.sender and msg.value
F3RETURN0*(opens in a new tab)ost, len.return mem[ost:ost+len-1]
F4DELEGATECALLAA(opens in a new tab)gas, addr, argOst, argLen, retOst, retLensuccessmem[retOst:retOst+retLen-1] := returndata
F5CREATE2A9(opens in a new tab)val, ost, len, saltaddraddr = keccak256(0xff ++ address(this) ++ salt ++ keccak256(mem[ost:ost+len-1]))[12:]
F6-F9invalid
FASTATICCALLAA(opens in a new tab)gas, addr, argOst, argLen, retOst, retLensuccessmem[retOst:retOst+retLen-1] := returndata
FB-FCinvalid
FDREVERT0*(opens in a new tab)ost, len.revert(mem[ost:ost+len-1])
FEINVALIDAF(opens in a new tab)designated invalid opcode - EIP-141(opens in a new tab)
FFSELFDESTRUCTAB(opens in a new tab)addr.sends all ETH to addr; if executed in the same transaction as a contract was created it destroys the contract

Այս հոդվածը օգտակար էր?