執筆：ブロックチェーン騎士
zkEVM エコシステムは1年間の攻防を経て性能飛躍を実現し、イーサリアムのブロック証明時間は16分から16秒に急降下し、コストは45倍の減少を達成しました。参加している zkVM は、ターゲットハードウェア上で10秒内に99%のメインネットブロック証明を完了できるようになりました。
12月18日、イーサリアム財団（EF）はリアルタイム証明メカニズムの実装と性能ボトルネックの解消を発表しましたが、真の課題は信頼性にあると強調しました。速度が安全の支えを欠くと負担となり、STARKアルゴリズムに基づく複数のzkEVMが依存していた数学的猜想が最近証明されてしまい、安全レベルが低下しました。
EF は、7 月に遅延、ハードウェア、安全性などの多次元をカバーするリアルタイム証明の統合目標を設定し、現在は EthProofs ベンチマークテストに合格しています。
その核心的な変化は、スループットの追求から証明可能な安全性への移行にあります。L1 レベルの zkEVM は 128 ビットの安全基準を達成する必要があり、主流の暗号規格と接続する必要があります。なぜなら、偽造証明がトークンの偽造や L1 状態の改ざんなどの致命的なリスクを引き起こす可能性があるからです。安全の余地は交渉できません。
EFは三段階の安全ロードマップを同時に発表しました：
2026年2月末までに、すべてのzkEVMチームは証明システムをEFのsoundcalc安全評価ツールに接続し、安全測定基準を統一する必要があります；
5月末までにGlamsterdam標準を達成し、100ビットの証明可能なセキュリティなどの移行目標を達成する。
12月末までにH-starの最終目標を達成し、128ビットの証明可能な安全性を確保し、再帰的トポロジー構造の形式的な安全性証明を提供する必要があります。
目標を達成するために、EFはWHIR、JaggedPCSなどのコア技術ツールを挙げており、証明生成の最適化、計算力の無駄を避けることで効率を向上させることができ、また再帰的トポロジーなどの技術を利用して証明の規模を縮小する。
しかし、現在でも多くの課題が残っており、リアルタイムの証明はまだブロックチェーン上に実装されておらず、バリデーターの実際の運用効果に疑問が残ります。安全パラメータは数学的仮説の反証に伴い動的に調整する必要があります。一部のチームが期限内に目標を達成できるかどうかは不明です。再帰的アーキテクチャの形式的検証プロジェクトはまだ初期段階にあり、エコシステムの発展は不均衡です。
注目すべきは、基準を満たした zkEVM がイーサリアムの Gas 制限を引き上げることを支え、ステーキングの実行可能性を保証しつつブロック容量を向上させ、L1 を信頼できる決済層にし、L2 と L1 の実行の境界を曖昧にすることです。
現在、パフォーマンスのスプリントは終了し、zkEVMエコシステムの核心命題は、失敗しやすい仮説に依存せず、十分に信頼できるセキュリティ証明を実現することに変わりました。これにより、1000億規模の資産を支えることができます。現在、安全競争が正式に始まり、これが2026年のイーサリアムのメインテーマとなるでしょう。
関連記事
