イーサリアムは、ブロックの有効性を検証する方法に変更を計画しています。2026年のL1-zkEVMロードマップの下で、検証はすべてのトランザクションを再実行する代わりにゼロ知識証明の検証に移行できます。この方法により、証明者は暗号証明を確認することで正しい実行を証明でき、すべての計算をリプレイする必要がなくなります。 EIP-8025は、オプションの実行証明としてこのアプローチをサポートしています。ノードは引き続き実行クライアントを使用してブロックを完全に再実行し検証できますが、証明に基づく方法は並行して動作できるため、証明者は実行証明を検証し、完全な実行ワークフローを実行せずに進行できます。
https://t.co/TwylcccdzB
— ladislaus.eth (@ladislaus0x) 2026年2月9日
証明パイプラインはこの設計の中心です。実行層クライアントは各ブロックに対して「実行証人(Execution Witness)」を生成します。この証人は、検証者が完全な実行状態を保持する必要なく、状態遷移を検証するために必要なデータをパッケージ化します。 次に、標準化されたゲストプログラムが証人を消費し、遷移ルールを検査します。その後、zkVMがゲストプログラムを実行し、証明者が証明を生成します。最後に、コンセンサス層クライアントはブロック処理中に証明を検証できます。 最近のイーサリアムのアップグレードの中で、CNFはまた、開発者が2026年後半にGlamsterdamの完了後にHegotaアップグレードの作業を開始する予定であることを示しました。Hegotaの議論には、ブロックビルダーによるトランザクション検閲を終わらせることを目的としたフォーク選択含有リスト設計のFOCILも含まれます。 イーサリアムのEIP-8025は証明のゴシップとzkAttesterオプションを追加 EIP-8025は、実行証明の取り扱いに関するコンセンサス層の仕組みを設定します。異なる実行クライアント実装からの証明は、p2pネットワーク上の専用ゴシップトピックを通じて伝播します。その結果、証明者は証明を取得し、ブロック処理中に検証でき、トランザクションの再実行のために実行クライアントを呼び出す必要がなくなります。 現在の計画には複数証明モデルも含まれています。この仕組みでは、証明者は同じブロックに対して独立した証明の閾値を検証した後に実行を受け入れることができます。参考として、3つの証明が5つの中で検証される3-of-5閾値が挙げられます。これは、5つのうち3つの証明が検証されれば十分とみなされることを意味します。ただし、閾値はテストとセキュリティレビューの進行に伴い調整可能です。 証明のタイミングは、提案者とビルダーの分離作業とも連動しています。エンシェンドされた提案者-ビルダー分離(ePBS)は、スロット全体にわたるブロックパイプラインを可能にし、証明ウィンドウを拡張します。これにより、通常のコンセンサスタイミング内で証明生成がより実現しやすくなります。 L1-zkEVMのワークショップは2026年2月11日15:00 UTCに予定されています。セッションの議題は6つの作業トラックをカバーし、実行証人とゲストプログラムの標準化、zkVM-ゲストインターフェースの作業、コンセンサス層の統合、証明者インフラ、ベンチマークとメトリクス、そして形式検証を含むセキュリティ作業が含まれます。 今月初め、CNFはPayy LinkがPayy Networkを立ち上げたことを指摘しました。これはイーサリアムの最初で唯一のプライバシー対応のEVM Layer 2だとしています。ERC20の送金はデフォルトでプライベートであり、スマートコントラクトの変更は不要で、EVMウォレットをネイティブにサポートしています。