#ETH イーサリアムがまた一つの重要な技術の進展を完了し、2026年に飛躍を迎えることができるのか？

zkEVMエコシステムは1年間の攻防を経て性能の飛躍を実現し、$イーサリアム ETHのブロック証明時間は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エコシステムの核心的な命題は、脆弱な仮定に依存せずに、十分に信頼できる安全証明を実現することに変わりました。これにより、千億規模の資産を支えることができ、安全競争の幕が正式に上がりました。これが2026年のイーサリアムの主旋律となるでしょう。