1年間の努力を経て、zkEVMエコシステムはパフォーマンスの飛躍的な向上を達成しました。イーサリアムのブロック証明時間は16分から16秒に短縮され、コストは45分の1に削減されました。参加しているzkVMは、現在、対象ハードウェア上でメインネットのブロック証明の99%を10秒以内に完了できます。

12月18日、イーサリアム財団（EF）はリアルタイム証明メカニズムの実装とパフォーマンスボトルネックの解消を発表しました。しかし、真の課題は信頼性にあると強調しました。セキュリティサポートのない速度は負担となるでしょう。さらに、zkEVMベースのSTARKアルゴリズムのいくつかが依拠する数学的仮説はここ数ヶ月で反証されており、セキュリティレベルの低下につながっています。

EF は 7 月に、レイテンシー、ハードウェア、セキュリティなどの複数の側面を網羅したリアルタイム証明の包括的な目標を設定し、現在は EthProofs ベンチマーク テストに合格しています。

その核心的な転換は、スループットの追求から証明可能セキュリティへの移行にあります。L1レベルのzkEVMは128ビットのセキュリティ標準を満たし、主流の暗号化仕様に準拠する必要があることは明らかです。証明の偽造はトークンの偽造やL1状態の改ざんといった致命的なリスクにつながる可能性があるため、セキュリティマージンは譲れません。

EF は同時に 3 段階のセキュリティ ロードマップをリリースしました。

EF は目標を達成するために、WHIR や JaggedPCS などのコア技術ツールに言及しています。これらのツールは、証明生成を最適化し、無駄な計算能力を回避することで効率を向上させ、また再帰トポロジなどの技術を使用して証明のサイズを縮小することができます。

しかし、複数の課題が残っています。ブロックチェーンにリアルタイム証明がまだ実装されておらず、バリデーターの実際の有効性には疑問が残ります。数学的推測が反証されるとセキュリティパラメータを動的に調整する必要があります。一部のチームがスケジュールどおりに目標を達成できるかどうかは不明です。再帰アーキテクチャを使用した形式検証プロジェクトはまだ初期段階にあり、エコシステムは不均一に発展しています。

注目すべきは、zkEVM が要件を満たすと、Ethereum のガス制限の増加をサポートし、それによってブロック容量が増加し、ステーキングの実現可能性が確保され、信頼できる決済レイヤーとして L1 が推進され、L2 と L1 実行の境界が曖昧になることです。

パフォーマンススプリントが終了した今、zkEVMエコシステムの中核課題は、脆弱性推測に頼ることなく、数千億ドル相当の資産を支えるのに十分な信頼性のあるセキュリティ証明を実現することへと移行しました。セキュリティ競争は正式に始まり、2026年にはイーサリアムの主要テーマとなるでしょう。