EVMのオペコード

概要

これは、wolflo/evm-opcodes (新しいタブで開く) にあるEVMリファレンスページの更新版です。また、イエロー・ペーパー (新しいタブで開く)、Jello Paper (新しいタブで開く)、および geth（ゲス） (新しいタブで開く) の実装からも引用しています。これはわかりやすいリファレンスであることを目的としていますが、特に厳密なものではありません。正確性を確実なものにし、すべてのエッジケースを把握したい場合は、Jello Paperまたはクライアント実装を使用することをお勧めします。

インタラクティブなリファレンスをお探しですか？ evm.codes (新しいタブで開く) をチェックしてください。

動的なガス・コストを伴うオペレーションについては、gas.md (新しいタブで開く) を参照してください。

💡 ヒント: デスクトップで全行を表示するには、[shift] + スクロール を使用して水平方向にスクロールしてください。

スタック	名前	ガス	初期スタック	結果スタック	メモリ / ストレージ	備考
00	STOP	0				実行を停止
01	ADD	3	`a, b`	`a + b`		2**256を法とする(u)int256の加算
02	MUL	5	`a, b`	`a * b`		2**256を法とする(u)int256の乗算
03	SUB	3	`a, b`	`a - b`		2**256を法とする(u)int256の減算
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`		Nを法とする(u)int256の加算
09	MULMOD	8	`a, b, N`	`(a * b) % N`		Nを法とする(u)int256の乗算
0A	EXP	A1 (新しいタブで開く)	`a, b`	`a ** b`		2**256を法とするuint256のべき乗
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`		ビット単位のAND
17	OR	3	`a, b`	`a \|\| b`		ビット単位のOR
18	XOR	3	`a, b`	`a ^ b`		ビット単位のXOR
19	NOT	3	`a`	`~a`		ビット単位のNOT
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	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`		現在のチェーン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	メモリに1バイトを書き込む
54	SLOAD	A6 (新しいタブで開く)	`key`	`storage[key]`		ストレージからワードを読み取る
55	SSTORE	A7 (新しいタブで開く)	`key, val`	`.`	storage[key] := val	ストレージにワードを書き込む
56	JUMP	8	`dst`	`.`		`$pc := dst` `dst` が有効なjumpdestである場合のみ `pc` が割り当てられることをマークする
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-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` に送信する。コントラクトが作成されたのと同じトランザクションで実行された場合、コントラクトを破棄する