イーサリアム、コアブロック検証のためにZK証明に向けて進展

• イーサリアムは、すべてのトランザクションを再実行する代わりに、検証者がゼロ知識証明を使用してブロックを検証できるようにする予定です。

• EIP 8025は、オプションの実行証明を導入し、証明者が一定のコストと軽量なハードウェアでブロックを検証できるようにします。

• L1 zkEVMのロードマップは、ePBSおよびzkVMチームがすでにEthereumのブロックを証明しており、2026年の展開に向けて進行中です。

イーサリアムは、ネットワーク上のブロック承認方法を変える可能性のある大規模な検証の刷新を準備しています。イーサリアム財団のメンバー、ladislaus.ethは、この変更はトランザクションの再実行をゼロ知識証明の検証に置き換えると述べました。この計画は、L1-zkEVM 2026ロードマップの下で示されており、検証者、開発者、そしてイーサリアムのグローバルネットワーク全体のホームステーカーを対象としています。

トランザクションの再実行から証明検証へ

現在、すべてのイーサリアム検証者は、各ブロック内のすべてのトランザクションを再実行して有効性を確認しています。しかし、ladislaus.ethによると、このアプローチはオンチェーン活動の増加に伴いスケールしにくくなっています。ガス使用量の増加は、すべてのノードに対してストレージ、帯域幅、ハードウェアの要求を高めます。

提案された設計では、検証者は暗号証明を検証するだけになります。これらの証明は、トランザクションを再実行せずに正しい実行を確認します。特に、検証時間はブロックの複雑さに関係なく一定のままです。

この変更は、zkEVM技術に依存しており、現在はイーサリアムのコアプロトコルに組み込まれつつあります。重要なのは、この変更が現在の方法を置き換えるのではなく、証明者向けのオプションの検証経路を追加することです。

EIP-8025はオプションの実行証明を導入

このロードマップは、EIP-8025として知られるオプションの実行証明に焦点を当てています。この提案により、zkAttesterと呼ばれる検証者は、ゼロ知識証明を確認することでブロックを検証できるようになります。これにより、完全な実行クライアントを実行する必要がなくなります。

設計によると、実行層クライアントは実行証人を生成します。これらの証人はzkVMに入力され、正しい状態遷移の証明を生成します。コンセンサス層クライアントはこれらの証明を検証します。

異なる実行クライアントからの証明は、専用のゴシップネットワークを通じて流通します。証明者は、現在提案されている5つの証明のうち3つを検証した後にブロックを受け入れます。この構造は、クライアントの多様性を維持しつつ、検証コストを削減します。

ロードマップのタイムラインとインフラ依存性

イーサリアム財団は、2026年2月11日15:00 UTCに最初のL1-zkEVMワークショップを予定しています。このセッションでは、証明者インフラやセキュリティ検証を含む6つの研究トラックが取り上げられます。

特に、ロードマップは、定められた提案者・ビルダー分離（ePBS）に依存しています。ePBSはGlamsterdamハードフォークを対象としており、証明生成の時間枠を拡大します。この変更により、単一のスロット内でリアルタイムの証明が可能になります。

開発が進む中、RISC Zero、ZisK、openVMなどのzkVMチームはすでにイーサリアムのブロックを証明しています。一方、EIP-8025は現在、コンセンサス仕様のブランチにあり、さらなるレビューを待っています。