Opcodes de la Máquina Virtual de Ethereum (EVM)

A continuación encontrarás la lista de Opcodes de la Ethereum Virtual Machine. Esta lista es una compilación realizada por Wolflo. También te recomiendo visitar la página de evm.codes para tener una guía interactiva.

En las siguientes clases estaremos utilizando estos Opcodes, por lo que te sugiero que revises los códigos y la operación que realizan.

| Hex | Name | Gas | Stack | Notes | | :---: | :--- | :---: | :--- | :--- | :--- | | | | | top, bottom| | 00 | STOP | 0 | || halt execution 01 | ADD | 3 | a, b => a + b | (u)int256 addition modulo 2**256 02 | MUL | 5 | a, b => a * b | (u)int256 multiplication modulo 2**256 03 | SUB | 3 | a, b => a - b | (u)int256 addition modulo 2**256 04 | DIV | 5 | a, b => a // b | uint256 division 05 | SDIV | 5 | a, b => a // b | int256 division 06 | MOD | 5 | a, b => a % b | uint256 modulus 07 | SMOD | 5 | a, b => a % b | int256 modulus 08 | ADDMOD | 8 | a, b, N => (a + b) % N | (u)int256 addition modulo N 09 | MULMOD | 8 | a, b, N => (a * b) % N | (u)int256 multiplication modulo N 0A | EXP |A1| a, b => a ** b | uint256 exponentiation modulo 2**256 0B | SIGNEXTEND | 5 | b, x => SIGNEXTEND(x, b) | sign extend x from (b+1) bytes to 32 bytes 0C-0F | invalid 10 | LT | 3 | a, b => a < b | uint256 less-than 11 | GT | 3 | a, b => a > b | uint256 greater-than 12 | SLT | 3 | a, b => a < b | int256 less-than 13 | SGT | 3 | a, b => a > b | int256 greater-than 14 | EQ | 3 | a, b => a == b | (u)int256 equality 15 | ISZERO | 3 | a => a == 0 | (u)int256 iszero 16 | AND | 3 | a, b => a && b | bitwise AND 17 | OR | 3 | a, b => a \|\| b | bitwise OR 18 | XOR | 3 | a, b => a ^ b | bitwise XOR 19 | NOT | 3 | a => ~a | bitwise NOT 1A | BYTE | 3 | i, x => (x >> (248 - i * 8)) && 0xFF | ith byte of (u)int256 x, from the left 1B | SHL | 3 | shift, val => val << shift | shift left 1C | SHR | 3 | shift, val => val >> shift | logical shift right 1D | SAR | 3 | shift, val => val >> shift | arithmetic shift right 1E-1F | invalid 20 | SHA3 |A2| ost, len => keccak256(mem[ost:ost+len]) | keccak256 21-2F | invalid 30 | ADDRESS | 2 | . => address(this) | address of executing contract 31 | BALANCE |A5| addr => addr.balance | balance, in wei 32 | ORIGIN | 2 | . => tx.origin | address that originated the tx 33 | CALLER | 2 | . => msg.sender | address of msg sender 34 | CALLVALUE | 2 | . => msg.value | msg value, in wei 35 | CALLDATALOAD | 3 | idx => msg.data[idx:idx+32] | read word from msg data at index idx 36 | CALLDATASIZE | 2 | . => len(msg.data) | length of msg data, in bytes 37 | CALLDATACOPY |A3| dstOst, ost, len => . | copy msg data. mem[dstOst:dstOst+len] := msg.data[ost:ost+len 38 | CODESIZE | 2 | . => len(this.code) | length of executing contract's code, in bytes 39 | CODECOPY |A3| dstOst, ost, len => . | mem[dstOst:dstOst+len] := this.code[ost:ost+len] copy executing contract's bytecode 3A | GASPRICE | 2 | . => tx.gasprice | gas price of tx, in wei per unit gas ** 3B | EXTCODESIZE |A5| addr => len(addr.code) | size of code at addr, in bytes 3C | EXTCODECOPY |A4|addr, dstOst, ost, len => . | mem[dstOst:dstOst+len] := addr.code[ost:ost+len]. Copy code from addr 3D |RETURNDATASIZE | 2 | . => size | Size of returned data from last external call, in bytes 3E |RETURNDATACOPY |A3| dstOst, ost, len => . | mem[dstOst:dstOst+len] := returndata[ost:ost+len]. Copy returned data from last external call 3F | EXTCODEHASH |A5| addr => hash | hash = addr.exists ? keccak256(addr.code) : 0 40 | BLOCKHASH | 20 | blockNum => blockHash(blockNum) | 41 | COINBASE | 2 | . => block.coinbase | address of miner of current block 42 | TIMESTAMP | 2 | . => block.timestamp | timestamp of current block 43 | NUMBER | 2 | . => block.number | number of current block 44 | DIFFICULTY | 2 | . => block.difficulty | difficulty of current block 45 | GASLIMIT | 2 | . => block.gaslimit | gas limit of current block 46 | CHAINID | 2 | . => chain_id | push current chain id onto stack 47 | SELFBALANCE | 5 | . => address(this).balance | balance of executing contract, in wei 48 | BASEFEE | 2 | . => block.basefee | base fee of current block 49-4F | invalid 50 | POP | 2 | _anon => . | remove item from top of stack and discard it 51 | MLOAD |3*| ost => mem[ost:ost+32] | read word from memory at offset ost 52 | MSTORE |3*| ost, val => . | mem[ost:ost+32] := val. Write a word to memory 53 | MSTORE8 |3*| ost, val => . | mem[ost] := val && 0xFF. Write a single byte to memory 54 | SLOAD |A6| key => storage[key] | read word from storage 55 | SSTORE |A7 | key, val => . | storage[key] := val. Write word to storage 56 | JUMP | 8 | dst => . | $pc := dst 57 | JUMPI | 10 | dst, condition => . | $pc := condition ? dst : $pc + 1 58 | PC | 2 | . => $pc | program counter 59 | MSIZE | 2 | . => len(mem) | size of memory in current execution context, in bytes 5A | GAS | 2 | . => gasRemaining | 5B | JUMPDEST | 1 | | mark valid jump destination 5C-5F | invalid 60 | PUSH1 | 3 | . => uint8 | push 1-byte value onto stack 61 | PUSH2 | 3 | . => uint16 | push 2-byte value onto stack 62 | PUSH3 | 3 | . => uint24 | push 3-byte value onto stack 63 | PUSH4 | 3 | . => uint32 | push 4-byte value onto stack 64 | PUSH5 | 3 | . => uint40 | push 5-byte value onto stack 65 | PUSH6 | 3 | . => uint48 | push 6-byte value onto stack 66 | PUSH7 | 3 | . => uint56 | push 7-byte value onto stack 67 | PUSH8 | 3 | . => uint64 | push 8-byte value onto stack 68 | PUSH9 | 3 | . => uint72 | push 9-byte value onto stack 69 | PUSH10 | 3 | . => uint80 | push 10-byte value onto stack 6A | PUSH11 | 3 | . => uint88 | push 11-byte value onto stack 6B | PUSH12 | 3 | . => uint96 | push 12-byte value onto stack 6C | PUSH13 | 3 | . => uint104 | push 13-byte value onto stack 6D | PUSH14 | 3 | . => uint112 | push 14-byte value onto stack 6E | PUSH15 | 3 | . => uint120 | push 15-byte value onto stack 6F | PUSH16 | 3 | . => uint128 | push 16-byte value onto stack 70 | PUSH17 | 3 | . => uint136 | push 17-byte value onto stack 71 | PUSH18 | 3 | . => uint144 | push 18-byte value onto stack 72 | PUSH19 | 3 | . => uint152 | push 19-byte value onto stack 73 | PUSH20 | 3 | . => uint160 | push 20-byte value onto stack 74 | PUSH21 | 3 | . => uint168 | push 21-byte value onto stack 75 | PUSH22 | 3 | . => uint176 | push 22-byte value onto stack 76 | PUSH23 | 3 | . => uint184 | push 23-byte value onto stack 77 | PUSH24 | 3 | . => uint192 | push 24-byte value onto stack 78 | PUSH25 | 3 | . => uint200 | push 25-byte value onto stack 79 | PUSH26 | 3 | . => uint208 | push 26-byte value onto stack 7A | PUSH27 | 3 | . => uint216 | push 27-byte value onto stack 7B | PUSH28 | 3 | . => uint224 | push 28-byte value onto stack 7C | PUSH29 | 3 | . => uint232 | push 29-byte value onto stack 7D | PUSH30 | 3 | . => uint240 | push 30-byte value onto stack 7E | PUSH31 | 3 | . => uint248 | push 31-byte value onto stack 7F | PUSH32 | 3 | . => uint256 | push 32-byte value onto stack 80 | DUP1 | 3 | a => a, a | clone 1st value on stack 81 | DUP2 | 3 | _, a => a, _, a | clone 2nd value on stack 82 | DUP3 | 3 | _, _, a => a, _, _, a | clone 3rd value on stack 83 | DUP4 | 3 | _, _, _, a => a, _, _, _, a | clone 4th value on stack 84 | DUP5 | 3 | ..., a => a, ..., a | clone 5th value on stack 85 | DUP6 | 3 | ..., a => a, ..., a | clone 6th value on stack 86 | DUP7 | 3 | ..., a => a, ..., a | clone 7th value on stack 87 | DUP8 | 3 | ..., a => a, ..., a | clone 8th value on stack 88 | DUP9 | 3 | ..., a => a, ..., a | clone 9th value on stack 89 | DUP10 | 3 | ..., a => a, ..., a | clone 10th value on stack 8A | DUP11 | 3 | ..., a => a, ..., a | clone 11th value on stack 8B | DUP12 | 3 | ..., a => a, ..., a | clone 12th value on stack 8C | DUP13 | 3 | ..., a => a, ..., a | clone 13th value on stack 8D | DUP14 | 3 | ..., a => a, ..., a | clone 14th value on stack 8E | DUP15 | 3 | ..., a => a, ..., a | clone 15th value on stack 8F | DUP16 | 3 | ..., a => a, ..., a | clone 16th value on stack 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]) A1 | LOG1 |A8| ost, len, topic0 => . | LOG1(memory[ost:ost+len], topic0) A2 | LOG2 |A8| ost, len, topic0, topic1 => . | LOG1(memory[ost:ost+len], topic0, topic1) A3 | LOG3 |A8| ost, len, topic0, topic1, topic2 => . | LOG1(memory[ost:ost+len], topic0, topic1, topic2) A4 | LOG4 |A8| ost, len, topic0, topic1, topic2, topic3 => . | LOG1(memory[ost:ost+len], topic0, topic1, topic2, topic3) A5-EF | invalid F0 | CREATE |A9| val, ost, len => addr | addr = keccak256(rlp_encode([address(this), this.nonce])) F1 | CALL |AA| <code>gas, addr, val, argOst, argLen, retOst, retLen</code> => success | mem[retOst:retOst+retLen] := returndata | F2 | CALLCODE |AA| gas, addr, val, argOst, argLen, retOst, retLen => success | mem[retOst:retOst+retLen] = returndata same as DELEGATECALL, but does not propagate original msg.sender and msg.value F3 | RETURN |0*| ost, len => . | return mem[ost:ost+len] F4 | DELEGATECALL |AA| gas, addr, argOst, argLen, retOst, retLen<br>=> success | mem[retOst:retOst+retLen] := returndata | F5 | CREATE2 |A9| val, ost, len, salt => addr | addr = keccak256(0xff ++ address(this) ++ salt ++ keccak256(mem[ost:ost+len]))[12:] F6-F9 | invalid FA | STATICCALL |AA| gas, addr, argOst, argLen, retOst, retLen => success | mem[retOst:retOst+retLen] := returndata | FB-FC | invalid FD | REVERT |0*| ost, len => . | revert(mem[ost:ost+len]) FE | INVALID |AF || designated invalid opcode - EIP-141 FF | SELFDESTRUCT |AB| addr => . | destroy contract and sends all funds to addr