1年間の努力を経て、zkEVMエコシステムは性能の飛躍を達成しました。イーサリアムブロックの証明時間が16分から16秒に短縮され、コストは45分の1に減少。参加しているzkVMは、ターゲットハードウェア上でメインネットブロック証明の99%を10秒以内に完了できるようになりました。
12月18日、イーサリアム財団（EF）はリアルタイム証明メカニズムの実装と性能ボトルネックの解消を発表しましたが、真の課題は信頼性にあると強調しました。セキュリティを伴わない速度は負担となり、STARKアルゴリズムに基づくzkEVMが依存する複数の数学的仮説がここ数ヶ月で反証され、セキュリティレベルが低下しています。
EFは7月にリアルタイム証明に関する包括的な目標を設定し、遅延、ハードウェア、セキュリティなどの多角的な次元をカバーしており、現在はEthProofsベンチマークテストを通過しました。
その核心的な転換点は、スループットの追求から証明可能なセキュリティへの移行にあります。L1レベルのzkEVMは128ビットのセキュリティ基準を満たし、主流の暗号仕様に準拠しなければならないことは明らかです。証明の偽造はトークンの偽造やL1状態の改ざんといった致命的なリスクを招く可能性があるため、セキュリティマージンは譲れない要素です。
EFは同時に3段階のセキュリティロードマップを公開しました：
- 2026年2月末までに、すべてのzkEVMチームは自身の証明システムをEFのsoundcalcセキュリティ評価ツールと統合し、セキュリティ計算基準を統一する必要があります。
- 5月末までにGlamsterdam標準を達成し、100ビットの証明可能セキュリティなどの過渡的目標を実現します。
- 12月末までに最終目標であるH-starを完了させ、128ビットの証明可能セキュリティを達成し、再帰的トポロジーの形式的セキュリティ証明を提供します。
目標達成のために、EFはWHIRやJaggedPCSなどのコア技術ツールを挙げています。これらは証明生成の最適化や計算リソースの無駄を避けることで効率を向上させると同時に、再帰的トポロジーなどの技術を活用して証明サイズを縮小します。
しかし、複数の課題が残されています：リアルタイム証明はブロックチェーン上でまだ実装されておらず、バリデータの実効性には疑問が残ります。数学的仮説が反証されるにつれ、セキュリティパラメータは動的に調整される必要があります。一部のチームが予定通り目標を達成できるかは不明です。再帰的アーキテクチャを持つ形式的検証プロジェクトはまだ初期段階にあり、エコシステムの発展は不均一です。
注目すべきは、zkEVMが要件を満たせば、イーサリアムがガス制限を引き上げることを支援できる点です。これによりブロック容量を増加させつつステーキングの実現可能性を確保し、L1を信頼性の高い決済レイヤーとして促進し、L2とL1実行の境界を曖昧にします。
性能競争が一段落した今、zkEVMエコシステムの核心的な課題は、脆弱な仮説に依存せずに数千億ドル規模の資産を支えるのに十分な信頼性のあるセキュリティ証明を実現することへと移行しました。セキュリティ競争は正式に始まり、2026年のイーサリアムの主要テーマとなるでしょう。
