Ethereum Foundation、zkEVMの進展と2026年のロードマップを詳述

要点

Ethereum Foundationは過去1年間のzkEVMのパフォーマンス向上を報告し、現在はセキュリティと形式的検証を優先しており、2026年末までに証明可能な128ビットのセキュリティを達成するためのマイルストーンを設定しています。

Ethereum Foundationは、Ethereumの長期的な開発を支援するための研究、技術、コミュニティ活動に取り組む非営利団体であり、zkEVMエコシステムの進展状況についての最新情報を公開しました。これには、1年間の進歩の要約と今後の目標が含まれています。

報告によると、リアルタイム証明のレイテンシは16分から16秒に劇的に短縮され、コストは45倍削減され、zkVMはターゲットハードウェア上でEthereumブロックの99％を10秒以内に検証できるようになっています。これらのパフォーマンス向上は主要なボトルネックに対処していますが、セキュリティは依然として最重要課題です。

多くのSTARKベースのzkEVMは未証明の数学的仮定に依存しており、最近の研究ではこれらの仮定の一部に疑問が投げかけられ、実効的なセキュリティマージンが縮小しています。Ethereum Foundationは、証明可能なセキュリティが依然として不可欠であると強調しており、標準化団体の推奨と計算ベンチマークによって検証された128ビットのセキュリティを目標としています。特に、Layer 1 zkEVMの健全性の欠陥を悪用して大量の資金を危険にさらす可能性があるためです。

セキュリティと証明サイズのバランスは非常に重要です。高いセキュリティは通常、証明サイズの増加を伴い、Ethereumネットワーク全体に伝播させるために管理可能な範囲内に収める必要があります。これに対応するため、Foundationは3つの主要なマイルストーンを設定しています。

Ethereum Foundationは、2026年2月末までにzkEVMチームがSoundCalcを統合することを期待しています。これは、現在の暗号学的境界と証明パラメータに基づいてセキュリティを一貫して推定するツールです。2026年5月末までには、エコシステムは100ビットの証明可能なセキュリティを達成し、最終証明サイズは600 KiB未満、再帰アーキテクチャのコンパクトな記述を目指します。2026年末までには、128ビットの証明可能なセキュリティ、証明サイズは300 KiB未満、再帰アーキテクチャの正式なセキュリティ証明を達成することが目標です。

これらのマイルストーンは、コンパクトな多項式コミットメント、高度な再帰技術、構造化された回路構成などの最近の暗号学的・工学的進展によって実現可能となっています。特に、現代のzkEVMは複雑でチーム固有の再帰回路設計を含むため、そのアーキテクチャと健全性のドキュメント化が重要です。これにより、システム全体のセキュリティが確保されます。

Ethereum FoundationはH-starマイルストーンを前にzkEVMのセキュリティと形式的検証に焦点を移す

この段階でzkEVMのセキュリティに注力する戦略的な理由があります。進化し続けるシステムのセキュリティ確保は難しいですが、zkVMアーキテクチャが安定し、チームが重要な目標を達成すれば、形式的検証の取り組みを本格化できます。H-starマイルストーンまでには、証明システム層はほぼ確定し、完全に固定されるわけではありませんが、重要なコンポーネントの形式的検証、セキュリティ証明の最終化、仕様と展開コードの整合性を可能にするほど安定します。この安定性は、安全なLayer 1 zkEVMの実現に不可欠です。

1年前の主要な疑問は、zkEVMが取引を迅速に証明できるかどうかでしたが、その課題はすでに解決されています。現在の焦点は、それが信頼性と安全性を持って行えるかどうかであり、その自信は高まっています。Ethereum Foundationは、これらのマイルストーンを正式に示す投稿を1月に公開し、その後、目標とするセキュリティレベルと証明サイズを達成するための証明システム技術の詳細を記した技術アップデートを行う予定です。Ethproofsも、パフォーマンスとともにセキュリティを重視する方向にシフトした内容に更新されます。この過程では、Foundationの暗号学チームのサポートも受けられます。パフォーマンスのスプリントが完了した今、次は基盤の強化に焦点を移しています。