撰文：區塊鏈騎士
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 年以太坊的主旋律。
相關文章
