Vitalik Buterin稱zkEVM首要任務應全面轉向安全性
Vitalik Buterin表示，zkEVM的首要任務現在應全面轉向安全性。他認爲在ZKsync的Airbender里程碑後，速度競賽已取得決定性勝利。
Vitalik在X發文祝賀ZKsync Airbender團隊。他稱速度之戰已 definitively won，zkEVM應全面轉向安全性。具體包括對算術化與以太坊規範等價性的形式化驗證、證明者成本與區塊gas總量之比的硬性上限，以及證明系統本身的安全性。
ZKsync於10月13日推出Airbender Prime。該系統在單張NVIDIA RTX PRO 6000 Blackwell GPU上，對7200個連續以太坊主網區塊中的99%在10秒內完成證明（含見證準備），所有區塊均在12秒內完成。Airbender Prime基於RISC-V，使用哈希基STARK，面向後量子安全。它在ETHproofs公開排行榜上領先證明時間、GPU效率與成本。
資金從追求證明速度轉向形式化驗證與成本邊界。Airbender實現單GPU實時證明後，其他zkEVM團隊面臨速度差距縮小。Vitalik將優先級從性能轉向規範等價、證明成本上限與證明系統安全。依賴高速但未驗證等價性的證明系統承壓。
來源：公開信息
ABAB AI 解讀
Vitalik長期關注zkEVM與以太坊擴展路徑。他此前已討論客戶端證明與後量子方向。ZKsync Airbender實現單GPU實時證明後，他公開稱速度競賽結束。
他將資源指向形式化驗證算術化與以太坊規範等價、證明成本相對區塊gas的硬上限，以及證明系統本身安全。Airbender使用哈希基STARK與RISC-V，降低硬件門檻。ETHproofs排行榜顯示其在證明時間與效率領先。
類似在性能里程碑後將重點轉向形式化驗證與安全邊界的路徑已在其他零知識證明系統中出現。當前zkEVM處於速度達標、安全驗證成爲下一階段的階段。
本質屬於技術替代與監管變化。形式化驗證替代單純性能競賽。機制在於單GPU實時證明使速度不再是主要瓶頸後，系統正確性、成本邊界與證明系統安全成爲約束條件，使zkEVM從追求更快證明轉向確保與以太坊規範等價且成本可控的可驗證路徑。
ABAB News · 認知定律
速度里程碑達成後，zkEVM優先級從性能轉向形式化驗證
單GPU實時證明使證明成本與規範等價成爲下一約束
證明系統安全取代速度競賽，成爲長期協議完整性條件