以太坊目標於 2026 年實現基於零知識的區塊驗證

基於證明的區塊驗證可以降低驗證者成本，並使單獨質押更容易,而不會取代當前的驗證方法。

以太坊的區塊驗證正朝著重大重新設計的方向發展。目前的研究重點是在協議層面驗證區塊,而不是增加新的用戶功能。目標是在保持安全性的同時降低驗證者的硬體需求。如果成功,這種方法可以支援更高的網路活動,同時保持小型運營者的參與機會。

以太坊測試基於證明的區塊驗證以降低節點需求

以太坊目前通過讓每個節點重新執行區塊中的每筆交易來驗證區塊。所有節點執行相同的工作以獨立驗證結果。隨著交易量增加,需要更多的運算能力、儲存空間和網路頻寬。隨著使用量增長,運行完整節點變得更加困難。

使用零知識 EVM 證明,節點將不需要重做工作。它們將驗證單一密碼學證明,確認區塊已被正確處理。驗證證明速度很快,無論區塊中有多少筆交易都需要相同的時間,使擴展變得更容易。

此外,零知識執行證明已經存在一段時間,但以太坊現在正致力於在其核心系統內直接使用它們。該協議計劃允許一些驗證者驗證密碼學證明,確認工作已正確完成。通過證明進行驗證將與當前方法並存,而不是完全取代它們。 

新路線圖目標證明驗證以降低驗證者成本

為支援這一點,以太坊基金會的 zkEVM 團隊已概述一份目標為 2026 年的路線圖。根據該計劃,執行客戶端將打包驗證區塊所需的所有資料到一個稱為執行見證的單一捆綁包中。

圖片來源: X/ladislaus.eth

將其視為一個緊湊的捆綁包,包含檢查區塊所需的一切,而無需儲存以太坊的完整狀態。一個特殊程式驗證資料,零知識虛擬機生成證明區塊已被正確處理的證明。共識層 (CL) 客戶端可以驗證證明來確認區塊,而不是重新執行交易。

根據 EIP-8025,節點不需要改變其操作。重新執行仍然可用,不需要硬分叉。選擇基於證明檢查的驗證者被稱為 zkAttesters。這些 CL 客戶端驗證zkEVM 證明而不是運行完整的 EL 客戶端。

依賴證明的驗證者將不再需要儲存以太坊的執行資料或同步完整鏈。相反,同步可能意味著在每個最終檢查點後下載最近的證明。這一變化顯著降低了硬體需求,使單獨質押者和家庭運營者更容易進行驗證。

此外,無狀態證明允許個人在本地驗證以太坊歷史,而無需大量儲存需求。在消費級硬體上進行自我驗證再次變得更加現實。 

證明生成速度取決於另一個稱為內建提議者-建構者分離 (ePBS) 的升級。沒有它,在區塊槽內創建證明的時間不夠。ePBS 增加了區塊流水線處理,為證明者每個槽提供幾秒鐘時間,使即時證明生成變得現實。

分散式證明成為協議研究的重點

執行客戶端團隊獲得新的相關性,因為每個客戶端都成為證明來源。zkVM 提供者也受益於共享介面。zkVM 專案如 ZisK、OpenVM 和 RISC Zero 也產生以太坊證明,為它們提供了明確的目標。

關於誰產生證明的問題仍然存在。一個誠實的證明者足以保持鏈的運行,但依賴大型建構者可能會集中權力。分散式證明和在較小硬體上運行的設定工作仍在繼續。

同時,EIP-8025 現在是協議共識規範工作的一部分。研究涵蓋見證設計、zkVM 標準、共識變更、安全檢查和效能測試。首次公開工作會議定於 2026 年 2 月 11 日舉行,標誌著這項長期工作的早期步驟。

本文《以太坊目標 2026 年實現基於零知識的區塊驗證》首次發表於 Live Bitcoin News。