Chainfeeds 導讀：
2026 年的 L1-zkEVM 路線圖已公佈。相關工作被拆分為六個子方向：執行見證與標準化程序、zkVM 與執行程序 API 標準化、共識層集成、證明基礎設施、性能測試與指標體系，以及安全與形式化驗證。
文章來源：
https://x.com/ladislaus0x/status/2020874834855514278
文章作者：
ladislaus.eth
觀點：
ladislaus.eth：以太坊基金會 zkEVM 團隊最近發佈了 2026 年的 L1-zkEVM 路線圖。正在構建的流程大致如下：執行層客戶端會生成一個 ExecutionWitness（執行見證），這是一個自包含的數據包，包含驗證區塊所需的全部信息，而無需持有完整狀態。一個標準化的程序會讀取這個見證並驗證狀態轉移是否正確。隨後，一個 zkVM 執行這個程序，證明器生成執行正確性的證明。最後，共識層客戶端通過驗證這個證明來確認區塊，而不是再調用執行層客戶端重新執行交易。這裡的關鍵詞是「可選」。初始設計不會強制所有人切換，也不需要硬分叉升級。節點仍然可以像現在一樣重新執行交易。但那些希望通過驗證證明來確認區塊的驗證者可以選擇這樣做，這類節點被稱為 zkAttesters：它們通過驗證 zkEVM 證明來確認區塊，而不是運行完整執行層客戶端。zkAttester 不需要持有執行層狀態，也不需要同步完整執行層鏈數據。同步過程可以簡化為下載最近區塊的證明。這將直接降低運行節點的成本。當前，運行驗證者需要同時運行共識層客戶端和執行層客戶端，而後者資源消耗極大。狀態存儲、區塊處理時間和帶寬需求都會隨著 gas 上限增長。如果用證明驗證替代重複執行，就能顯著降低參與共識的硬件門檻。影響不僅限於驗證者。由於 zkEVM 證明是 “無狀態” 的，它可以在不持有完整狀態的情況下證明執行正確性和狀態轉移合法性，這使得個人再次在本地硬件上運行節點並獨立驗證整條鏈變得更加容易。這正是去中心化協議最核心的承諾之一。這裡還有一個重要依賴：ePBS（協議內提議者 - 構建者分離），預計將在未來的 Glamsterdam 硬分叉中引入。如果沒有 ePBS，證明生成的時間窗口只有 1-2 秒，幾乎不可能完成實時證明。有了區塊流水線機制，這個窗口可以擴展到 6-9 秒，使得在單個 slot 內生成證明變得更加現實。獨立質押者和家庭驗證者可能是最直接的受益者。作為 zkAttesters，他們不再需要運行完整執行層客戶端，幾分鐘內就能完成同步。證明驗證取代重複執行，硬件要求顯著下降。執行層客戶端團隊也獲得新的發展路徑。每個客戶端都可以成為證明目標，多證明子網的設計讓客戶端多樣性不僅被保留，還成為協議結構的一部分。證明端的情況更復雜。證明存在「1-of-N」的活性假設：只要世界上有一個誠實的證明者，鏈鏈就能繼續運行。最簡單的模型是讓區塊構建者同時承擔證明角色，但這可能導致證明能力集中化。若高端構建者退出怎麼辦？分佈式證明網絡、家庭級硬件證明能力等問題仍在討論中。明確的設計目標是：證明能力不應只存在於數據中心。zkVM 廠商（如 ZisK、openVM、RISC Zero 等）也將因此受益，它們正在推動以太坊成為全球最大的零知識應用場景之一。事實上，已經有團隊在為以太坊區塊生成證明。標準化接口的推進，為它們提供了清晰的開發目標。【原文為英文】
內容來源
