イーサリアム財団がメインネットL1上でのzkEVM証明への道筋を示す

イーサリアム財団は、イーサリアムのメインチェーンがzkEVM証明を使用してブロックを検証できるようにする段階的な計画を発表し、バリデーターが自ら全ての計算を再実行する必要性を削減しました。2026/1/15にイーサリアム財団の共同エグゼクティブディレクターであるTomasz K. StańczakがX経由で共有したこの提案は、イーサリアムの実行クライアントとコンセンサスクライアント、さらに新しい証明インフラとセキュリティプロセスに必要なエンジニアリング作業を示しています。

イーサリアムL1がzk証明ベースの検証に移行

昨年7月の時点で、イーサリアム財団はすでに「zk-first」アプローチを発表していました。現在、イーサリアムのバリデーターは通常、トランザクションを再実行して結果を比較することでブロックをチェックしています。この計画は代替案を提案しています:バリデーターはブロックの実行が正しかったことを示す暗号証明を検証できるというものです。

この文書は意図されたパイプラインを平易な言葉でまとめています:実行クライアントがブロック用のコンパクトな「ウィットネス」パッケージを生成し、標準化されたzkEVMプログラムがそのパッケージを使用して正しい実行の証明を生成し、コンセンサスクライアントがブロック確認中にその証明を検証します。

最初のマイルストーンは「ExecutionWitness」の作成です。これは、再実行せずに実行を検証するために必要な情報を含むブロックごとのデータ構造です。この計画は、イーサリアムの実行仕様における正式なウィットネス形式、適合性テスト、および標準化されたRPCエンドポイントを求めています。現在のdebug_executionWitnessエンドポイントはすでに「OptimismのKonaで本番環境で使用されている」と指摘する一方で、よりzk対応のエンドポイントが必要になる可能性があることを示唆しています。

重要な依存関係は、ブロックレベルアクセスリスト(BALs)を介して、ブロックが状態のどの部分に触れるかをより適切に追跡することです。この文書によると、2025年11月時点で、この作業は以前のフォークにバックポートするほど緊急とは扱われていませんでした。

次のマイルストーンは「zkEVMゲストプログラム」で、ブロックがウィットネスと組み合わせたときに有効な状態遷移を生成するかどうかをチェックするステートレス検証ロジックとして説明されています。この計画は、前提が明示的で検証可能になるように、再現可能なビルドと標準化されたターゲットへのコンパイルを強調しています。

イーサリアム固有のコードを超えて、この計画はzkVMとゲストプログラム間のインターフェースを標準化することを目指しています:共通のターゲット、プリコンパイルとI/Oにアクセスする共通の方法、およびプログラムがどのようにロードされ実行されるかについての合意された前提です。

コンセンサス側では、ロードマップはコンセンサスクライアントがビーコンブロック検証の一部としてzk証明を受け入れることができるように変更を求めており、付随する仕様、テストベクトル、および内部展開計画が含まれます。この文書はまた、実行ペイロードの可用性を重要としてフラグ付けしており、「ブロックをブロブに入れる」ことを含むアプローチの可能性があります。

この提案は、証明生成をプロトコルの問題と同じくらい運用上の問題として扱っています。EthproofsやEreなどのEFツールにzkVMを統合し、GPU設定(「zkboost」を含む)をテストし、信頼性とボトルネックを追跡するマイルストーンが含まれています。

ベンチマークは進行中の作業として枠組み化されており、ウィットネス生成時間、証明作成と認証時間、および証明伝播のネットワークへの影響を測定するなどの明示的な目標があります。これらの測定は、zk集約型ワークロードのための将来のガス再価格設定提案に反映される可能性があります。

セキュリティも恒久的なものとしてマークされており、正式な仕様、モニタリング、再現可能なビルドやアーティファクト署名などのサプライチェーン管理、および文書化された信頼と脅威モデルの計画があります。この文書は、証明システムがより広範な使用に十分成熟しているかどうかを決定するための「go/no-goフレームワーク」を提案しています。

1つの外部依存関係が際立っています:ePBSです。この文書は、証明者により多くの時間を与えるために必要だと説明しています。それがなければ、証明者は証明を作成するのに「1~2秒」しかありませんが、それがあれば「6~9秒」になります。この文書は、緊急性を捉える2つの文を追加しています:「これは私たちが取り組んでいるプロジェクトではありません。しかし、これは私たちが必要とする最適化です。」2026年半ばを目標とする「Glamsterdam」でePBSが展開されることを期待しています。

これらのマイルストーンが達成されれば、イーサリアムは証明ベースの検証をL1の実用的なオプションとして進めることになりますが、証明のタイミングと運用の複雑さが制約要因のままです。

記事執筆時点で、ETHは3,300ドルで取引されていました。