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

可信的編輯內容，由行業領先專家和經驗豐富的編輯審核。廣告披露 以太坊基金會已發布一份逐步計劃，讓以太坊主鏈能使用 zkEVM 證明來驗證區塊，減少驗證者自行重新運行每個計算的需求。該提案由以太坊基金會的聯合執行董事 Tomasz K. Stańczak 於1月15日在X上分享，詳細說明了在以太坊的執行和共識客戶端、以及新的證明基礎設施和安全流程方面所需的工程工作。

以太坊L1朝 zk 證明驗證邁進

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

該文件用簡單的語言總結了預期的流程：執行客戶端生成一個緊湊的“證人”包，用於一個區塊；標準化的 zkEVM 程序使用該包來生成正確執行的證明；共識客戶端在驗證區塊時驗證該證明。

第一個里程碑是創建一個“ExecutionWitness”，這是一個每區塊的數據結構，包含驗證執行所需的信息，而無需重新運行。該計劃要求在以太坊的執行規範、符合性測試和標準化RPC端點中制定正式的證人格式。它指出，目前的 debug_executionWitness 端點已被 Optimism 的 Kona 在生產中使用，同時建議可能需要一個更適合 zk 的端點。

相關閱讀：以太坊獲得機構支持，儘管 ETH 價格展望仍具爭議 一個關鍵依賴是改進對區塊觸及的狀態部分的追蹤，通過 Block Level Access Lists (BALs)。文件指出，截至2025年11月，這項工作尚未被視為緊急，無法回溯到較早的分叉。

下一個里程碑是“zkEVM 客戶端程序”，被描述為無狀態的驗證邏輯，用於檢查區塊在結合其證人時是否產生有效的狀態轉移。該計劃強調可重複構建和編譯到標準化目標，以使假設明確且可驗證。

除了以太坊特定的代碼外，該計劃還旨在標準化 zkVM 和客戶程序之間的接口：共同的目標、訪問預編譯和輸入/輸出的方法，以及對程序加載和執行方式的共識假設。

在共識方面，路線圖呼籲進行變更，使共識客戶端能接受 zk 證明作為信標區塊驗證的一部分，並配套規範、測試向量和內部推廣計劃。文件還指出，執行負載的可用性也很重要，包括一種可能涉及“將區塊放入 blob 中”的方法。

該提案將證明生成視為操作問題與協議問題同等重要。它包括將 zkVM 集成到 EF 工具（如 Ethproofs 和 Ere）、測試 GPU 設置 (包括“zkboost”)，以及追蹤可靠性和瓶頸的里程碑。

相關閱讀：常春藤盟校的資金購買比特幣和以太坊：達特茅斯披露 IBIT、ETH Mini Stakes 基準測試被視為持續進行的工作，明確目標包括測量證人生成時間、證明創建和驗證時間，以及證明傳播對網絡的影響。這些測量結果可能用於未來 zk 重負載工作量的 gas 重新定價提案。

安全性也被標記為永久性，計劃包括正式規範、監控、供應鏈控制（如可重複構建和工件簽名）以及記錄的信任和威脅模型。文件提出了一個“啟動/不啟動框架”，用於判斷證明系統是否成熟到可以更廣泛使用。

一個外部依賴尤為突出：ePBS，文件描述為賦予證明者更多時間的必要措施。沒有它，證明者只有“1–2秒”時間來生成證明；有了它，則為“6–9秒”。文件補充一句話來捕捉緊迫感：“這不是我們正在做的項目，但這是一個我們需要的優化。” 預計 ePBS 將在“Glamsterdam”部署，目標在2026年中期。

如果這些里程碑實現，以太坊將朝著在 L1 上實用的證明驗證方向前進，而證明的時間和操作複雜性仍是門檻因素。

截至發稿，ETH 交易價格為$3,300。

ETH 面臨 0.618 斐波那契，1週圖 | 資料來源：TradingView.com上的ETHUSDT 特色圖片由 DALL.E 創作，圖表來自 TradingView.com Bitcoinist 的編輯流程 以提供徹底研究、準確且無偏見的內容為核心。我們遵守嚴格的來源標準，每個頁面都由我們的頂尖技術專家和經驗豐富的編輯團隊進行仔細審核。這一流程確保我們內容的完整性、相關性和價值，為讀者提供可靠資訊。