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 セキュリティ評価ツールと統合して、セキュリティ計算標準を統一する必要があります。
- Glamsterdam 規格は 5 月末までに達成され、100 ビットの証明可能セキュリティなどの移行目標が実現されます。
- H-star の最終目標は 12 月末までに完了し、128 ビットの証明可能なセキュリティを実現し、再帰トポロジの正式なセキュリティ デモンストレーションを提供することです。
EF は、その目標を達成するために、WHIR や JaggedPCS などのコア技術ツールに言及しています。これらのツールは、証明生成を最適化し、無駄な計算能力を回避することで効率を向上させ、また、再帰トポロジなどの技術を使用して証明のサイズを縮小することができます。
しかし、複数の課題が残っています。ブロックチェーンにリアルタイム証明がまだ実装されておらず、バリデーターの実際の有効性には疑問が残ります。数学的推測が反証されるとセキュリティパラメータを動的に調整する必要があります。一部のチームがスケジュールどおりに目標を達成できるかどうかは不明です。再帰アーキテクチャを使用した形式検証プロジェクトはまだ初期段階にあり、エコシステムは不均一に発展しています。
注目すべきは、zkEVM が要件を満たすと、Ethereum のガス制限の増加をサポートし、それによってブロック容量が増加し、ステーキングの実現可能性が確保され、L1 が信頼できる決済レイヤーになるよう促進され、L2 と L1 実行の境界が曖昧になるということです。
パフォーマンススプリントが終了した今、zkEVMエコシステムの中核課題は、脆弱性推測に頼ることなく、数千億ドル相当の資産を支えるのに十分な信頼性のあるセキュリティ証明を実現することへと移行しました。セキュリティ競争は正式に始まり、2026年にはイーサリアムの主要テーマとなるでしょう。
