經過一年的努力，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 位元可證明安全性等過渡性目標。
- H-star 最終目標於 12 月底前完成，達成 128 位元可證明安全性，並提供遞迴拓撲的正式安全證明。
為實現目標，EF 提及了 WHIR 與 JaggedPCS 等核心技術工具，可透過最佳化證明生成、避免算力浪費來提升效率，同時也能運用遞迴拓撲等技術縮減證明體積。
然而仍有多項挑戰：即時證明尚未在鏈上實現，驗證者的實際效果存疑；安全參數需隨數學猜想被證偽而動態調整；部分團隊能否按時達標仍是未知數；具遞迴架構的形式驗證專案尚處早期，生態發展不均。
值得注意的是，一旦 zkEVM 滿足要求，便能支援以太坊提高 Gas 上限，從而增加區塊容量，同時確保質押的可行性，推動 L1 成為可信的結算層，並模糊 L2 與 L1 執行的邊界。
如今性能衝刺已結束，zkEVM 生態系統的核心議題轉向實現足夠可靠的安全證明，以在不依賴脆弱猜想的情況下支撐價值數千億美元的資產。安全競賽已正式開始，並將成為 2026 年以太坊的主旋律。
