以太坊計劃讓驗證者使用零知識證明來驗證區塊,而非重新執行每筆交易。
EIP 8025 引入了可選的執行證明,使驗證者能以固定成本和較輕的硬體驗證區塊。
L1 zkEVM 路線圖依賴於 ePBS 和 zkVM 團隊,已經在 2026 年推出前證明了以太坊區塊。
以太坊正準備進行一場重大的驗證機制改革,可能改變網路上區塊的確認方式。以太坊基金會成員 ladislaus.eth 表示,這一轉變將用零知識證明取代交易的重新執行。該計劃在 L1-zkEVM 2026 路線圖中提出,針對的是以太坊全球網路中的驗證者、開發者和家庭質押者。
目前,每個以太坊驗證者都會重新執行每個區塊中的所有交易,以確認其有效性。然而,根據 ladislaus.eth 的說法,隨著鏈上活動的增加,這種方法的擴展性變差。更多的 Gas 使用會增加每個節點的存儲、帶寬和硬體需求。
在提議的設計中,驗證者將改為驗證加密證明。這些證明證實正確執行,而不需重新運行交易。值得注意的是,驗證時間無論區塊複雜度如何都保持不變。
這一轉變依賴於 zkEVM 技術,現已進入以太坊的核心協議中。重要的是,這一變化並不取代現有方法,而是為驗證者提供一條可選的驗證路徑。
路線圖的核心是 EIP-8025,即「可選的執行證明」。該提案允許驗證者(稱為 zkAttesters)通過檢查零知識證明來確認區塊。他們將不再需要運行完整的執行客戶端。
根據設計,執行層客戶端會生成執行證人(witnesses),這些證人會輸入 zkVM,產生正確狀態轉換的證明。共識層客戶端則負責驗證這些證明。
來自不同執行客戶端的證明會在專用的 gossip 網路中傳播。驗證者在驗證達到一定門檻(目前提議為五個證明中的三個)後接受區塊。這個結構既能保持客戶端多樣性,又能降低驗證成本。
以太坊基金會已安排在 2026 年 2 月 11 日 UTC 15:00 舉行首場 L1-zkEVM 工作坊。此次會議將涵蓋六個研究方向,包括證明者基礎設施和安全驗證。
值得注意的是,該路線圖依賴於正式實現的提案者-建造者分離(enshrined proposer-builder separation,ePBS)。ePBS 預計在 Glamsterdam 硬分叉中推出,擴展了證明生成的時間窗口,使得在單一時槽內進行實時證明成為可能。
隨著開發進展,zkVM 團隊如 RISC Zero、ZisK 和 openVM 已經在證明以太坊區塊。與此同時,EIP-8025 現已在 consensus-specs 的功能分支中,等待進一步審查。
相關文章