愛心基金會 成員 ladislaus.eth 分享了一個 發表 在社群媒體平台 X 上,有消息指出以太坊正在進行一項關鍵的架構轉變,將區塊驗證從重新執行每筆交易轉變為驗證零知識證明。
該計劃構成了目標於 2026 年推出的 Layer 1 zkEVM 路線圖的基礎,其核心是 EIP-8025 提案。該提案引入了可選的執行證明,驗證者可以使用該證明來驗證區塊的有效性,而無需運行完整的執行客戶端。首個專門針對此計畫的技術研討會定於 2026 年 2 月 11 日舉行。
所提出的模型與以太坊目前的做法截然不同,以太坊目前的做法是每個節點獨立地重複執行區塊中包含的所有計算。雖然這種方法可靠,但隨著鏈上活動的成長,對儲存、頻寬和硬體的要求也越來越高。零知識證明提供了一種不同的途徑:一個簡潔的證明即可確認區塊的狀態轉換計算正確,從而允許在恆定時間內完成驗證,而無需考慮交易量。
在這個新興的設計方案下,執行客戶端會產生一個「執行見證」(ExecutionWitness),這是一個包含驗證區塊所需資料的軟體包,無需維護完整的區塊狀態。一個標準化的程式會在零金鑰虛擬機器(zkVM)中處理這個見證,然後由證明者產生加密證明。共識客戶端隨後可以驗證這個證明,而無需重新執行區塊。參與此過程仍然是可選的,從而保證了節點能夠像現在一樣運作。
EIP-8025概述了證明如何在點對點網路中流通,以及共識客戶端如何將其整合到區塊處理中。早期討論建議採用閾值系統,即在接受區塊之前必須驗證多個獨立的證明,此舉旨在保持客戶端的多樣性並減少對任何單一實現的依賴。
這一轉變意義深遠。使用基於證明的驗證的驗證者不再需要儲存執行層狀態或處理每筆交易,從而顯著降低硬體需求並縮短同步時間。 zkEVM 證明的無狀態特性也使得個人更容易在本地運行節點,進一步強化去中心化。這項工作與即將到來的 Glamsterdam 硬分叉密切相關,該硬分叉包括提議者和構建者的分離,預計將提供實時生成證明所需的更長證明窗口。
此路線圖已劃分為多個工作流程,包括見證人標準化、zkVM 整合、共識層變更、證明者基礎設施、基準測試和形式化驗證。隨著首次 Layer 1 zkEVM 分組會議的臨近,該計劃正進入更公開的開發階段,各團隊正致力於將零知識驗證直接整合到以太坊的基礎層中。
Source link


