以太坊正準備在不運行區塊的情況下驗證區塊——以下是具體方法

以太坊核心架構正在形成一個微妙但影響深遠的變革。網路正在準備一條替代路徑,讓驗證者透過驗證零知識證明來確認正確性,而非透過重新執行每筆交易來驗證區塊。

這項工作位於以太坊 2026 年 Layer-1 路線圖之中,代表了共識達成方式的結構性變革,而非在邊緣添加的新擴容功能。

該提案在以太坊基金會成員 ladislaus.eth 概述 L1-zkEVM 設計的進展後公開浮現。這項轉變不會改變區塊的產生方式或使用者在鏈上提交的內容。相反地,它改變了驗證者決定區塊是否有效的方式。首場 L1-zkEVM 工作坊預定於 2026 年 2 月 11 日舉行,標誌著圍繞此項工作的正式協調開始。

從完全重新執行到證明驗證

目前,任何想要證明區塊的驗證者都必須重新執行其中的每筆交易。每個節點獨立地重複相同的計算、檢查相同的狀態轉換,並儲存相同的執行狀態。這種模式自以太坊創世以來一直存在,但它隨著活動線性擴展。更高的 Gas 限制增加了每個參與者的計算負載、狀態大小和頻寬需求。

正在開發的替代方案用加密驗證取代重複計算。驗證者不再重新執行交易,而是驗證一個緊湊的零知識證明,顯示執行已正確執行。無論區塊內部有多複雜,驗證時間大致保持不變。這是 zkEVM 證明背後的核心理念,現在正直接整合到以太坊的共識工作流程中。

L1-zkEVM 管道的運作方式

在當前設計下,執行客戶端產生執行見證(Execution Witness),這是一個自包含的資料捆包,足以驗證區塊的狀態轉換,而無需持有完整的執行狀態。標準化的訪客程式消耗該見證並檢查執行正確性。zkVM 執行該程式並產生證明,證明執行遵循了以太坊的規則。

共識客戶端隨後可以驗證該證明,而非呼叫完整的執行客戶端。選擇此路徑的驗證者被稱為 zkAttesters。重要的是,這條路徑是可選的。驗證者可以繼續像現在一樣重新執行區塊。

此機制在 EIP-8025(可選執行證明)下正式化。該提案不需要硬分叉,也不強制驗證者採用基於證明的驗證。它在重新執行的同時添加了一條平行驗證路徑。

共識整合與客戶端多樣性

EIP-8025 規定了證明如何在點對點網路中流通。來自不同客戶端實作的執行證明在專用主題上傳播。處理區塊時,zkAttester 可以驗證這些證明,而非呼叫執行客戶端。

當前的工作假設是 3/5 門檻。一旦五個獨立證明中的三個成功驗證,區塊執行即被接受。此門檻可能會演變,但意圖很明確:在允許基於證明的驗證的同時,保留執行客戶端多樣性。多樣性仍然是協定層級的功能,而非營運選擇。

為何這對驗證者很重要

zkAttester 不需要儲存執行狀態或同步完整的執行層鏈。同步減少到下載自上次最終確定檢查點以來的最新證明。這大幅降低了參與共識的硬體需求。

對於獨立質押者和家庭驗證者來說,這很重要。目前執行驗證者需要同時維護共識客戶端和資源密集型執行客戶端。證明驗證取代了重新執行,減少了儲存、計算和頻寬需求。這降低了進入門檻,而不會削弱驗證保證。

影響延伸至證明者之外。由於 zkEVM 證明是無狀態的,在消費級硬體上本地驗證以太坊再次變得更容易存取。「不要信任,要驗證」的原則得到加強而非稀釋。

依賴性與時間限制

一個先決條件很重要。證明產生需要時間,沒有流水線處理,時間窗口太緊。這就是 ePBS(內建提議者-建構者分離)變得相關的地方。ePBS 針對即將到來的 Glamsterdam 硬分叉,將證明窗口從大約一到兩秒延長到約六到九秒。這種延長使單槽證明產生變得更加現實。

沒有 ePBS,L1 證明驗證仍然受限。有了它,設計在營運上變得可行。

誰受到影響

執行層客戶端團隊獲得了新的證明介面,每個客戶端都成為潛在的證明來源。證明者設計仍是一個開放的問題。將證明集中在一小組精密的建構者中會引入活性風險,而完全分散式證明則會帶來效能和協調挑戰。設計目標很明確:證明必須在大型資料中心之外保持可行。

已在證明以太坊區塊的 zkVM 供應商獲得了可建構的標準化介面。Layer-2 團隊也受益。一旦執行證明被驗證者驗證,相同的證明可以透過共享基礎設施服務原生 Rollup。

最終,使用者受益於更便宜的驗證、更廣泛的驗證者參與,以及在沒有中心化壓力的情況下更高的可行 Gas 限制。

當前狀態

EIP-8025 已進入共識規範功能分支,並正朝著提案狀態推進。2026 年 L1-zkEVM 路線圖現已公開,結構涵蓋執行見證標準化、zkVM 介面、共識整合、證明者基礎設施、基準測試和正式安全驗證。

2026 年 2 月 11 日的工作坊標誌著這些軌道上集中協調的開始。這不是一個吸引眼球的升級,但它是基礎性的。如果以太坊在不擴展驗證者需求的情況下擴展其執行層,就是這樣實現的。

文章《以太坊正準備在不執行區塊的情況下驗證區塊——以下是方法》首次發表於 ETHNews。