Коды операций для EVM
Это обновленная версия справочной страницы EVM, доступной по адресу wolflo/evm-opcodes (открывается в новой вкладке). Также использованы материалы из желтой книги (открывается в новой вкладке), Jello Paper (открывается в новой вкладке) и реализации geth (открывается в новой вкладке). Этот материал задуман как доступный справочник, но он не претендует на абсолютную строгость. Если вы хотите быть уверены в правильности и знать о каждом крайнем случае, рекомендуется использовать Jello Paper или реализацию клиента.
Ищете интерактивный справочник? Загляните на evm.codes (открывается в новой вкладке).
Для операций с динамической стоимостью газа см. gas.md (открывается в новой вкладке).
💡 Полезный совет: чтобы просмотреть строки целиком, используйте [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 | A1 (открывается в новой вкладке) | a, b | a ** b | возведение в степень uint256 по модулю 2**256 | |
| 0B | SIGNEXTEND | 5 | b, x | SIGNEXTEND(x, b) | расширение знака (открывается в новой вкладке) x с (b+1) байт до 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 | i-й байт (u)int256 x, слева | |
| 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 | A2 (открывается в новой вкладке) | ost, len | keccak256(mem[ost:ost+len-1]) | keccak256 | |
| 21-2F | недействительно | |||||
| 30 | ADDRESS | 2 | . | address(this) | адрес выполняемого контракта | |
| 31 | BALANCE | A5 (открывается в новой вкладке) | addr | addr.balance | баланс, в Wei | |
| 32 | ORIGIN | 2 | . | tx.origin | адрес, инициировавший транзакцию | |
| 33 | CALLER | 2 | . | msg.sender | адрес отправителя сообщения | |
| 34 | CALLVALUE | 2 | . | msg.value | значение сообщения, в Wei | |
| 35 | CALLDATALOAD | 3 | idx | msg.data[idx:idx+32] | чтение слова из данных сообщения по индексу idx | |
| 36 | CALLDATASIZE | 2 | . | len(msg.data) | длина данных сообщения, в байтах | |
| 37 | CALLDATACOPY | A3 (открывается в новой вкладке) | dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := msg.data[ost:ost+len-1] | копирование данных сообщения |
| 38 | CODESIZE | 2 | . | len(this.code) | длина кода выполняемого контракта, в байтах | |
| 39 | CODECOPY | A3 (открывается в новой вкладке) | dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := this.code[ost:ost+len-1] | |
| 3A | GASPRICE | 2 | . | tx.gasprice | цена газа транзакции, в Wei за единицу газа ** (открывается в новой вкладке) | |
| 3B | EXTCODESIZE | A5 (открывается в новой вкладке) | addr | len(addr.code) | размер кода по адресу addr, в байтах | |
| 3C | EXTCODECOPY | A4 (открывается в новой вкладке) | addr, dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := addr.code[ost:ost+len-1] | копирование кода из addr |
| 3D | RETURNDATASIZE | 2 | . | size | размер возвращенных данных из последнего внешнего вызова, в байтах | |
| 3E | RETURNDATACOPY | A3 (открывается в новой вкладке) | dstOst, ost, len | . | mem[dstOst:dstOst+len-1] := returndata[ost:ost+len-1] | копирование возвращенных данных из последнего внешнего вызова |
| 3F | EXTCODEHASH | A5 (открывается в новой вкладке) | addr | hash | hash = addr.exists ? keccak256(addr.code) : 0 | |
| 40 | BLOCKHASH | 20 | blockNum | blockHash(blockNum) | ||
| 41 | COINBASE | 2 | . | block.coinbase | адрес предлагающего текущего блока | |
| 42 | TIMESTAMP | 2 | . | block.timestamp | временная метка текущего блока | |
| 43 | NUMBER | 2 | . | block.number | номер текущего блока | |
| 44 | PREVRANDAO | 2 | . | randomness beacon | маяк случайности | |
| 45 | GASLIMIT | 2 | . | block.gaslimit | лимит газа текущего блока | |
| 46 | CHAINID | 2 | . | chain_id | поместить текущий идентификатор цепи (открывается в новой вкладке) в стек | |
| 47 | SELFBALANCE | 5 | . | address(this).balance | баланс выполняемого контракта, в Wei | |
| 48 | BASEFEE | 2 | . | block.basefee | базовая комиссия текущего блока | |
| 49 | BLOBHASH | 3 | idx | tx.blob_versioned_hashes[idx] | EIP-4844 (открывается в новой вкладке) | |
| 4A | BLOBBASEFEE | 2 | . | block.blobbasefee | базовая комиссия блоба текущего блока (EIP-7516 (открывается в новой вкладке)) | |
| 4B-4F | недействительно | |||||
| 50 | POP | 2 | _anon | . | удалить элемент с вершины стека и отбросить его | |
| 51 | MLOAD | 3* (открывается в новой вкладке) | ost | mem[ost:ost+32] | чтение слова из памяти по смещению ost | |
| 52 | MSTORE | 3* (открывается в новой вкладке) | ost, val | . | mem[ost:ost+32] := val | запись слова в память |
| 53 | MSTORE8 | 3* (открывается в новой вкладке) | ost, val | . | mem[ost] := val && 0xFF | запись одного байта в память |
| 54 | SLOAD | A6 (открывается в новой вкладке) | key | storage[key] | чтение слова из хранилища | |
| 55 | SSTORE | A7 (открывается в новой вкладке) | 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 | отметить действительное место назначения перехода | действительное место назначения перехода, например, место назначения перехода не внутри данных push | ||
| 5C | TLOAD | 100 | key | tstorage[key] | чтение слова из временного хранилища (EIP-1153 (открывается в новой вкладке)) | |
| 5D | TSTORE | 100 | key, val | . | tstorage[key] := val | запись слова во временное хранилище (EIP-1153 (открывается в новой вкладке)) |
| 5E | MCOPY | 3+3*words+A0 (открывается в новой вкладке) | dstOst, ost, len | . | mem[dstOst] := mem[ost:ost+len] | копирование памяти из одной области в другую (EIP-5656 (открывается в новой вкладке)) |
| 5F | PUSH0 | 2 | . | uint8 | поместить константное значение 0 в стек | |
| 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 | A8 (открывается в новой вкладке) | ost, len | . | LOG0(memory[ost:ost+len-1]) | |
| A1 | LOG1 | A8 (открывается в новой вкладке) | ost, len, topic0 | . | LOG1(memory[ost:ost+len-1], topic0) | |
| A2 | LOG2 | A8 (открывается в новой вкладке) | ost, len, topic0, topic1 | . | LOG2(memory[ost:ost+len-1], topic0, topic1) | |
| A3 | LOG3 | A8 (открывается в новой вкладке) | ost, len, topic0, topic1, topic2 | . | LOG3(memory[ost:ost+len-1], topic0, topic1, topic2) | |
| A4 | LOG4 | A8 (открывается в новой вкладке) | ost, len, topic0, topic1, topic2, topic3 | . | LOG4(memory[ost:ost+len-1], topic0, topic1, topic2, topic3) | |
| A5-EF | недействительно | |||||
| F0 | CREATE | A9 (открывается в новой вкладке) | val, ost, len | addr | addr = keccak256(rlp([address(this), this.nonce])) | |
| F1 | CALL | AA (открывается в новой вкладке) | gas, addr, val, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] := returndata | |
| F2 | CALLCODE | AA (открывается в новой вкладке) | gas, addr, val, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] = returndata | то же, что и DELEGATECALL, но не передает исходные msg.sender и msg.value |
| F3 | RETURN | 0* (открывается в новой вкладке) | ost, len | . | return mem[ost:ost+len-1] | |
| F4 | DELEGATECALL | AA (открывается в новой вкладке) | gas, addr, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] := returndata | |
| F5 | CREATE2 | A9 (открывается в новой вкладке) | val, ost, len, salt | addr | addr = keccak256(0xff ++ address(this) ++ salt ++ keccak256(mem[ost:ost+len-1]))[12:] | |
| F6-F9 | недействительно | |||||
| FA | STATICCALL | AA (открывается в новой вкладке) | gas, addr, argOst, argLen, retOst, retLen | success | mem[retOst:retOst+retLen-1] := returndata | |
| FB-FC | недействительно | |||||
| FD | REVERT | 0* (открывается в новой вкладке) | ost, len | . | revert(mem[ost:ost+len-1]) | |
| FE | INVALID | AF (открывается в новой вкладке) | назначенный недействительный код операции - EIP-141 (открывается в новой вкладке) | |||
| FF | SELFDESTRUCT | AB (открывается в новой вкладке) | addr | . | отправляет все ETH на addr; если выполняется в той же транзакции, в которой был создан контракт, то уничтожает контракт |