以太坊聯合創始人 Vitalik Buterin 表示,讓零知識證明達到以太坊所需速度的競賽已明確勝出。Buterin 說,zkEVM 的首要任務現在應完全轉向安全性。Buterin 的評論是在 ZKsync 宣稱單一圖形處理器上實現即時證明後發表的。
ZKsync 的自行評估發現,Airbender Prime 在 7,200 個連續主網區塊中,99% 的證明均在 10 秒內完成。以太坊每 12 秒新增一個區塊。ZKsync 表示,樣本中沒有任何區塊的證明耗時達到該長度。ZKsync 指出,公開證明者排行榜 ETHproofs 在平均證明時間上將 Airbender Prime 排名第一。ZKsync 認為,較低的硬體需求讓更多機構和獨立運營者能夠參與證明。
以太坊驗證者目前會重新執行每筆交易以檢查區塊。零知識證明可以在不重複執行計算的情況下,確認計算已正確執行。零知識證明可讓驗證者僅檢查一段簡短的證明。這種轉變可能減少驗證者每區塊所需執行的工作量。
布特林提出了 zkEVM(用於證明以太坊執行的系統)的三項要求。布特林表示,zkEVM 必須符合以太坊規範;zkEVM 必須將證明者成本限制在區塊氣體範圍內;zkEVM 必須依賴健全的證明系統。布特林希望每一項要求都經過形式化驗證,即通過數學證明,而非僅僅測試。
更快的證明並不會直接推動以太坊的價格。Airbender Prime 是一種 ZKsync 工具,而非以太坊協議的變更。Airbender Prime 並未改變以太坊的 ETH 供應量、手續費和質押獎勵。任何價格影響更可能來自於市場對以太坊路線圖的樂觀情緒,以及宏觀經濟狀況和資金流動。
更大的問題在於可信度。ZKsync 向銀行推廣此項技術,主張即使伺服器被駭入,也無法產生違反驗證規則的帳本更新。若快速證明者存在缺陷,則將使此目的落空。正式驗證與審計現在可能決定以太坊可以信任哪些 zkEVM。

