zkEVM生態系統歷經一年攻堅實現效能飛躍，以太坊區塊證明時間從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年以太坊的主旋律。
