以太坊完成又一項重要技術推進，2026年能否迎來飛躍？

zkEVM生態系統歷經一年攻堅實現性能飛躍，以太坊區塊證明時間從16分鍾驟降至16秒，成本降幅達45倍，參與的zkVM已能在目標硬件上10秒內完成99%主網區塊證明。

12月18日，以太坊基金會（EF）宣布實時證明機制落地、性能瓶頸清除，但強調真正的挑戰在於可靠性，速度缺乏安全支撐將淪爲負擔，且多款基於STARK算法的zkEVM依賴的數學猜想近月已被證僞，導致安全級別下降。

EF此前於7月設定實時證明綜合目標，涵蓋延遲、硬件、安全等多維度，目前已通過EthProofs基準測試達標。

其核心轉變在於從追求吞吐量轉向可證明安全性，明確L1級zkEVM需達成128位安全標準，與主流加密規範接軌，因僞造證明可能導致代幣僞造、L1狀態篡改等致命風險，安全邊際不可協商。

EF同步公布三階段安全路線圖：

1. 2026年2月底前，所有zkEVM團隊需將證明系統接入EF的soundcalc安全評估工具，統一安全測算標準；
2. 5月底前達成Glamsterdam標準，實現100位可證明安全等過渡目標；
3. 12月底前完成H-star最終目標，達成128位可證明安全，且需提供遞歸拓撲結構的形式化安全論證。

爲實現目標，EF提及WHIR、JaggedPCS等核心技術工具，可通過優化證明生成、避免算力浪費等提升效率，同時借助遞歸拓撲等技巧縮小證明規模。

但當前仍存多重挑戰，實時證明尚未落地鏈上，驗證者實際運行效果存疑；安全參數隨數學猜想證僞需動態調整；部分團隊能否按期達標未知；遞歸架構的形式化驗證項目尚處早期，生態發展不均衡。

值得關注的是，達標後的zkEVM可支撐以太坊提高Gas限制，在保障質押可行性的同時提升區塊容量，推動L1成爲可信結算層，並模糊L2與L1執行的邊界。

如今性能衝刺已結束，zkEVM生態的核心命題已轉變爲，在不依賴易失效猜想的前提下，實現足夠可靠的安全證明，以支撐千億級資產規模，當下安全競賽正式拉開帷幕，這將成爲2026年以太坊的主旋律。