Перейти к основному содержанию
Change page

Коды операций для EVM

Последнее редактирование: @omsify(opens in a new tab), 3 июля 2024 г.

Обзор

Это обновленная версия справочной страницы по EVM по адресу wolflo/evm-opcodes(opens in a new tab). Информация также взята из Желтой книги(opens in a new tab), Книги Jello(opens in a new tab) и реализации geth(opens in a new tab). Предполагается, что этот справочник доступен, но не очень строг. Если вы хотите быть уверены в правильности и знать о каждом крайнем случае, рекомендуется использовать Книгу Jello или клиентскую реализацию.

Ищете интерактивный справочник? Посетите evm.codes(opens in a new tab).

Для операций с динамическими ценами газа смотрите раздел gas.md(opens in a new tab).

💡 Небольшой совет: чтобы посмотреть строки целиком, используйте [shift] + scroll для горизонтальной прокрутки экрана.

СтекИмяГазИсходный стекИтоговый стекПамять/хранилищеПримечания
00Приостановка выполнения0halt execution
01Добавление3a, ba + b(u)int256 addition modulo 2**256
02MUL5a, ba * b(u)int256 multiplication modulo 2**256
03Вычитание3a, 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
10Меньше, чем сравниваемое3a, ba < buint256 less-than
11Больше, чем сравниваемое3a, ba > buint256 greater-than
12Подписано меньше, чем сравниваемое3a, ba < bint256 less-than
13SGT3a, ba > bint256 greater-than
14EQ3a, ba == b(u)int256 equality
15Просто НЕ оператор3aa == 0(u)int256 iszero
16Побитовое И операция3a, ba && bbitwise AND
17OR3a, ba \|\| bbitwise OR
18XOR3a, ba ^ bbitwise XOR
19Побитовое НЕ операция3a~abitwise NOT
BYTE3i, x(x >> (248 - i * 8)) && 0xFFith byte of (u)int256 x, from the left
1BSHL3shift, valval << shiftshift left
1CСместиться вправо3shift, 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
34Получение внесенной суммы по инструкции/транзакция отвечающая за это выполнение2.уточнить суммуmsg value, in wei
35Получить входные данные текущей среды3idxmsg.data[idx:idx+32]read word from msg data at index idx
36Получить размер входных данных текущей среды2.len(msg.data)length of msg data, in bytes
37Скопировать входных данные текущей средыA3(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]
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)addrхэшhash = addr.exists ? keccak256(addr.code) : 0
40BLOCKHASH20blockNumblockHash(blockNum)
41COINBASE2.block.coinbaseaddress of miner 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
49Получить хэш одного из последних завершённых 256 блоков3idxtx.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
50удалить слово из стека2_anon.remove item from top of stack and discard it
51Загрузить слово из памяти3*(opens in a new tab)ostmem[ost:ost+32]read word from memory at offset ost
52Сохранить слово в память3*(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
54Загрузить слово из хранилищаA6(opens in a new tab)keystorage[key]read word from storage
55Сохранить слово в хранилищеA7(opens in a new tab)key, val.storage[key] := valwrite word to storage
56Изменить счетчик команд8dst.$pc := dst mark that pc is only assigned if dst is a valid jumpdest
57Условно изменить счетчик команд10dst, condition.$pc := condition ? dst : $pc + 1
58PC2.$pcprogram counter
59MSIZE2.len(mem)size of memory in current execution context, in bytes
5AПолучить количество доступного газа, включая соответсвующее сокращение количества доступного газа2.gasRemaining
5BОтметить допустимое место для прыжков1mark 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.uint8добавить постоянное значение 0 в стек
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

Была ли эта статья полезной?