以太坊基金會規劃 zkEVM 證明在主網 L1 上的實現路徑

以太坊基金會已發布一項分步驟計劃,讓以太坊主鏈使用 zkEVM 證明來驗證區塊,減少驗證者自行重新執行每項計算的需求。該提案由以太坊基金會聯合執行董事 Tomasz K. Stańczak 於 1 月 15 日通過 X 分享,列出了以太坊執行客戶端和共識客戶端所需的工程工作,以及新的證明基礎設施和安全流程。

以太坊 L1 邁向基於 zk 證明的驗證

早在去年 7 月,以太坊基金會就宣布了其「zk 優先」策略。目前,以太坊的驗證者通常通過重新執行交易並比較結果來檢查區塊。該計劃提出了一個替代方案:驗證者可以驗證一個密碼學證明,證明區塊的執行是正確的。

該文件以簡單的術語總結了預期的流程:執行客戶端為區塊生成一個緊湊的「見證」套件,標準化的 zkEVM 程式使用該套件生成正確執行的證明,共識客戶端在區塊驗證期間驗證該證明。

第一個里程碑是創建「ExecutionWitness」,這是一個每區塊的數據結構,包含無需重新執行即可驗證執行所需的資訊。該計劃要求在以太坊執行規範中制定正式的見證格式、一致性測試和標準化的 RPC 端點。它指出,當前的 debug_executionWitness 端點已經「被 Optimism 的 Kona 在生產環境中使用」,同時建議可能需要一個更適合 zk 的端點。

一個關鍵依賴是通過區塊級存取列表(BALs)更好地追蹤區塊觸及狀態的哪些部分。該文件表示,截至 2025 年 11 月,這項工作尚未被視為足夠緊迫以回溯到早期分叉。

下一個里程碑是「zkEVM 客體程式」,被描述為無狀態驗證邏輯,檢查區塊與其見證結合時是否產生有效的狀態轉換。該計劃強調可重現構建和編譯到標準化目標,使假設明確且可驗證。

除了以太坊特定代碼外,該計劃旨在標準化 zkVMs 與客體程式之間的介面:通用目標、存取預編譯和 I/O 的通用方式,以及關於程式如何載入和執行的一致假設。

在共識方面,路線圖要求進行變更,使共識客戶端能夠接受 zk 證明作為信標區塊驗證的一部分,並附帶規範、測試向量和內部部署計劃。該文件還標記執行有效負載可用性為重要事項,包括可能涉及「將區塊放入 blobs」的方法。

該提案將證明生成視為一個操作問題,也是一個協定問題。它包括將 zkVMs 整合到 EF 工具(如 Ethproofs 和 Ere)的里程碑、測試 GPU 設置(包括「zkboost」),以及追蹤可靠性和瓶頸。

基準測試被定位為持續進行的工作,具有明確目標,如測量見證生成時間、證明創建和驗證時間,以及證明傳播的網路影響。這些測量結果可以為未來針對 zk 密集型工作負載的 gas 重新定價提案提供參考。

安全性也被標記為永久性工作,計劃包括正式規範、監控、供應鏈控制(如可重現構建和工件簽名),以及記錄的信任和威脅模型。該文件提出了一個「通過/不通過框架」,用於決定證明系統何時足夠成熟以供更廣泛使用。

一個外部依賴特別突出:ePBS,該文件將其描述為給予證明者更多時間所必需的。沒有它,該計劃表示證明者有「1-2 秒」來創建證明;有了它,則有「6-9 秒」。該文件添加了兩句話的框架,捕捉到了緊迫性:「這不是我們正在進行的專案。然而,這是我們需要的優化。」預計 ePBS 將在「Glamsterdam」部署,目標是 2026 年年中。

如果這些里程碑達成,以太坊將朝著基於證明的驗證作為 L1 上的實用選項邁進,而證明的時間和操作複雜性仍然是限制因素。

截至發稿時,ETH 交易價格為 3,300 美元。