以太坊希望家庭驗證者驗證證明，但 12 個 GPU 的現實引發新威脅

Ethereum 研究員 ladislaus.eth 上週發布了一份演練說明,解釋 Ethereum 計劃如何從重新執行每筆交易轉向驗證零知識證明。

該文章將其定義為「安靜但根本性的轉變」,這個定義是準確的。不是因為這項工作是秘密的,而是因為其影響波及 Ethereum 的整個架構,直到各個部分連接起來之前都不會明顯。

這不是 Ethereum「添加 ZK」作為一個功能。Ethereum 正在原型化一個替代驗證路徑,其中一些驗證者可以通過驗證緊湊的執行證明來證明區塊,而不是重新運行每筆交易。

如果成功,Ethereum 的 Layer-1 角色將從「Rollup 的結算和數據可用性」轉向「高吞吐量執行,其驗證對家庭驗證者來說保持足夠便宜」。

實際正在構建的內容

EIP-8025,標題為「可選執行證明」,以草案形式落地並指定了機制。
執行證明通過專用主題在共識層點對點網絡上共享。驗證者可以在兩種新模式下運行:生成證明或無狀態驗證。

該提案明確表示「不需要硬分叉」並保持向後兼容,同時節點仍可以像今天一樣重新執行。

Ethereum 基金會的 zkEVM 團隊於 1 月 26 日發布了 2026 年的具體路線圖,概述了六個子主題:執行見證和客戶程序標準化、zkVM-客戶 API 標準化、共識層集成、證明者基礎設施、基準測試和指標,以及形式驗證的安全性。

首次 L1-zkEVM 分組會議定於 2 月 11 日 15:00 UTC 舉行。

端到端管道的工作原理如下:執行層客戶端生成 ExecutionWitness,這是一個自包含的軟件包,包含驗證區塊所需的所有數據,而無需持有完整狀態。

標準化的客戶程序使用該見證並驗證狀態轉換。zkVM 執行此程序,證明者生成正確執行的證明。然後共識層客戶端驗證該證明,而不是調用執行層客戶端重新執行。

關鍵依賴是 ePBS(內嵌提議者-構建者分離),目標是即將到來的 Glamsterdam 硬分叉。沒有 ePBS,證明窗口大約為一到兩秒,這對於實時證明來說太緊了。有了 ePBS 提供的區塊流水線,窗口延長到六到九秒。

去中心化的權衡

如果可選證明和見證格式成熟,更多家庭驗證者可以參與,而無需維護完整的執行層狀態。

提高 Gas 限制在政治和經濟上變得更容易,因為驗證成本與執行複雜性脫鉤。驗證工作不再與鏈上活動線性擴展。

然而,證明帶有其自身的中心化風險。2 月 2 日的 Ethereum Research 帖子報告稱,證明完整的 Ethereum 區塊目前需要大約 12 個 GPU,平均需要 7 秒。

作者標記了對中心化的擔憂,並指出限制仍然難以預測。如果證明仍然依賴 GPU 並集中在構建者或證明者網絡中,Ethereum 可能會用「每個人都重新執行」交換「少數證明,多數驗證」。

該設計旨在通過在證明層引入客戶端多樣性來解決這個問題。EIP-8025 的工作假設是五分之三的閾值,這意味著一旦證明者驗證了來自不同執行層客戶端實現的五個獨立證明中的三個,就接受區塊的執行為有效。

這在協議級別保留了客戶端多樣性,但不能解決硬件訪問問題。

最誠實的框架是 Ethereum 正在轉移去中心化戰場。今天的限制是「你能負擔得起運行執行層客戶端嗎?」明天的可能是「你能訪問 GPU 集群或證明者網絡嗎?」

賭注是證明驗證比狀態存儲和重新執行更容易商品化,但硬件問題仍然開放。

L1 擴展解鎖

Ethereum 的路線圖,最後更新於 2 月 5 日,將「無狀態」列為主要升級主題:在不存儲大型狀態的情況下驗證區塊。

可選執行證明和見證是使無狀態驗證實用的具體機制。無狀態節點只需要共識客戶端,並在有效負載處理期間驗證證明。

同步減少到下載自上次最終確定檢查點以來最近區塊的證明。

這對 Gas 限制很重要。今天,Gas 限制的每次增加都使運行節點變得更困難。如果驗證者可以驗證證明而不是重新執行,驗證成本不再隨 Gas 限制擴展。執行複雜性和驗證成本脫鉤。

2026 年路線圖中的基準測試和重新定價工作流明確針對將消耗的 Gas 映射到證明週期和證明時間的指標。

如果這些指標穩定下來,Ethereum 獲得了以前沒有的槓桿:在不成比例地增加運行驗證者成本的情況下提高吞吐量的能力。

這對 Layer-2 區塊鏈意味著什麼

Vitalik Buterin 最近的帖子認為 Layer-2 區塊鏈應該在擴展之外進行差異化,並明確將「原生 Rollup 預編譯」的價值與 Ethereum 為擴展 Layer-1 已經需要的內嵌 zkEVM 證明的需求聯繫起來。

邏輯很簡單:如果所有驗證者都驗證執行證明,相同的證明也可以被 EXECUTE 預編譯用於原生 Rollup。Layer-1 證明基礎設施成為共享基礎設施。

這改變了 Layer-2 的價值主張。如果 Layer-1 可以在保持驗證成本低的同時擴展到高吞吐量,Rollup 就無法以「Ethereum 無法處理負載」為基礎來證明自己。

新的差異化軸是專用虛擬機、超低延遲、預確認,以及像依賴快速證明設計的 Rollup 這樣的可組合性模型。

Layer-2 保持相關性的場景是角色在專業化和互操作性之間分配。

Layer-1 成為高吞吐量、低驗證成本的執行和結算層。Layer-2 成為功能實驗室、延遲優化器和可組合性橋樑。

然而,這需要 Layer-2 團隊闡明新的價值主張,並需要 Ethereum 實現證明驗證路線圖。

三條前進道路

未來有三種潛在場景。

第一種場景包括證明優先驗證變得普遍。如果可選證明和見證格式成熟,客戶端實現圍繞標準化接口穩定下來,更多家庭驗證者可以參與,而無需運行完整的執行層狀態。

Gas 限制增加了,因為驗證成本不再與執行複雜性一致。這條路徑取決於 ExecutionWitness 和客戶程序標準化工作流收斂到可移植格式。

場景二是證明者中心化成為新的瓶頸。如果證明仍然依賴 GPU 並集中在構建者或證明者網絡中,那麼 Ethereum 將去中心化戰場從驗證者的硬件轉移到證明者市場結構。

協議仍然運行,因為任何地方的一個誠實證明者都能保持鏈的活躍,但安全模型發生了變化。

第三種場景是 Layer-1 證明驗證成為共享基礎設施。如果共識層集成加固,ePBS 提供延長的證明窗口,那麼 Layer-2 的價值主張傾向於專用 VM、超低延遲和新的可組合性模型,而不僅僅是「擴展 Ethereum」。

這條路徑需要 ePBS 按計劃為 Glamsterdam 交付。

更大的圖景

共識規範集成成熟度將表明「可選證明」是否從大部分待辦事項轉向加固的測試向量。

標準化 ExecutionWitness 和客戶程序是跨客戶端無狀態驗證可移植性的基石。將消耗的 Gas 映射到證明週期和證明時間的基準測試將決定 ZK 友好性的 Gas 重新定價是否可行。

ePBS 和 Glamsterdam 的進展將表明六到九秒的證明窗口是否成為現實。分組會議輸出將揭示工作組是否在接口和最小可行證明分佈語義上收斂。

Ethereum 不會很快切換到基於證明的驗證。EIP-8025 明確表示「尚不能基於此進行升級」,可選框架是有意的。因此,這是一條可測試的路徑,而不是即將激活。

然而,Ethereum 基金會發布了 2026 年實施路線圖、安排了與項目所有者的分組會議,並起草了具有具體點對點傳播機制的 EIP,這意味著這項工作已經從研究可行性轉移到交付計劃。

轉變是安靜的,因為它不涉及戲劇性的代幣經濟學變化或面向用戶的功能。但它是根本性的,因為它重寫了執行複雜性和驗證成本之間的關係。

如果 Ethereum 能夠將兩者脫鉤,Layer-1 將不再是迫使所有有趣內容轉向 Layer-2 的瓶頸。

如果 Layer-1 證明驗證成為共享基礎設施,整個 Layer-2 生態系統需要回答一個更難的問題:你正在構建什麼 Layer-1 做不到的?

文章「Ethereum 希望家庭驗證者驗證證明,但 12 個 GPU 的現實引發了新威脅」首次出現在 CryptoSlate 上。