イーサリアムの実行層とは何ですか?

定義とコア機能

1. イーサリアムの実行層とは、トランザクションの処理、スマート コントラクトの実行、アカウントと残高の状態の維持を担当するコンポーネントを指します。

2. すべてのノードが独立して同じコードを実行し、同一の入力が与えられた場合に同一の結果が得られる、決定論的な仮想マシン環境として動作します。

3. この層は、ETH の送信、コントラクトの展開、分散アプリケーションとの対話など、ユーザーが開始したアクションを処理します。

4. マージ前は、実行層は Proof-of-Work コンセンサスに基づいて実行されていました。マージ後は、ファイナリティとブロック生成のためにコンセンサス層に依存しながら、状態遷移の処理を続けます。

5. Geth、Nethermind、Besu、Erigon などの実行クライアントは、イーサリアム仮想マシン (EVM) を実装し、ローカル状態データベース、トランザクション プール、ピアツーピア ネットワーキング ロジックを管理します。

コンセンサス層との対話

1. 実行層は、エンジン API として知られる標準化されたインターフェイスを介してコンセンサス層と通信します。

2. 新しいブロックがコンセンサス層によって提案されると、実行層はそのペイロード (すべてのトランザクションを含む) を検証し、結果の状態ルートが期待と一致することを検証します。

3. 検証が失敗した場合、実行層はブロックを拒否し、フォーク選択ルールがトリガーされ、再編成またはスロットの欠落が発生する可能性があります。

4. コンセンサス層はトランザクションのセマンティクスを解釈しません。すべての計算と状態変更の責任を実行層のみに委任します。

5. この分離により、独立したアップグレードが可能になります。PBS や DAS などのコンセンサス層の改善では、EVM オペコードやガス価格モデルの変更は必要ありません。

トランザクションのライフサイクルと状態管理

1. トランザクションは、JSON-RPC エンドポイントまたはダイレクト P2P ブロードキャストを通じて実行層に入り、ローカル メモリプールに到達します。

2. バリデーターはガス価格または優先料金に基づいてトランザクションを選択し、ペイロードをコンセンサスレイヤーに送信する前に候補ブロックに順序付けします。

3. 各トランザクションは EVM バイトコードの実行をトリガーし、定義されたロジックに従ってアカウント ストレージ、残高、ノンスを変更します。

4. 実行後、レイヤーはブロック ヘッダーに埋め込まれているマークル パトリシア トライを使用して新しい世界状態ルートを計算します。

5. 履歴状態データはクライアント構成に応じて削除される場合がありますが、完全なアーカイブ ノードは検証とインデックス作成の目的ですべての中間状態を保持します。

セキュリティへの影響と攻撃ベクトル

1. 悪意のあるコントラクトが関数ロジックを中断して再利用できる外部呼び出しパターンにより、再入可能性の脆弱性が実行層に残ります。

2. ガス枯渇攻撃は、開発者が適切なチェックと効果のパターンを実装できなかった場合、プロセスの途中でコントラクトの実行を停止させ、一貫性のない状態を残す可能性があります。

3. 信頼できないメモリプールでも、特にトランザクションの順序付けが公平な順序付けメカニズムではなく MEV エクストラクターの影響を受ける場合、フロントランニングが可能です。

4. バグのあるクライアント実装によって引き起こされる無効な状態遷移 (不適切な EVM オペコード処理など) は、テスト中に検出されなかった場合、コンセンサス フォークにつながる可能性があります。

5.過去には、DAO フォークやイスタンブール DoS 修正など、実行層のバグが緊急ハード フォークを直接引き起こしました。

よくある質問

Q: コンセンサスクライアントに接続せずに実行クライアントを実行できますか? A: はい。開発モードで動作したり、ローカルでブロックをシミュレートしたりできますが、メインネットのコンセンサスに参加したり、エンジン API を介した調整なしに有効なチェーン状態を生成したりすることはできません。

Q: 実行クライアントを変更すると、ステーキングされた ETH に影響しますか? A: いいえ。ステーキングキーとバリデーターデポジットはチェーン上に存在し、クライアントがペイロードを正しく検証し、同期を維持している限り、実行クライアントの選択とは独立しています。

Q: 特定のハードフォーク後に一部の dApp が壊れるのはなぜですか? A: ハード フォークでは、新しいオペコードの導入、ガス コストの調整、プリコンパイルの変更が頻繁に行われるため、以前にデプロイされたコントラクトの動作が異なったり、予期せず元に戻ったりすることがあります。

Q: Ethereum がサポートする実行環境は EVM だけですか? A: 現時点では、その通りです。コア プロトコルは EVM との互換性を義務付けていますが、EIP-4844 のような提案では、実行セマンティクスを変更することなく、ロールアップ データの可用性をプロトダンクシャーディングで実現できます。