以太坊朝向 ZK 證明邁進，用於核心區塊驗證

• 以太坊計劃讓驗證者使用零知識證明來驗證區塊，而非重新執行每筆交易。

• EIP 8025 引入了可選的執行證明，使驗證者能以固定成本和較輕的硬體驗證區塊。

• L1 zkEVM 路線圖依賴於 ePBS 和 zkVM 團隊，已經在 2026 年推出前證明了以太坊區塊。

以太坊正準備進行一場重大的驗證機制改革，可能改變網路上區塊的確認方式。以太坊基金會成員 ladislaus.eth 表示，這一轉變將用零知識證明取代交易的重新執行。該計劃在 L1-zkEVM 2026 路線圖中提出，針對的是以太坊全球網路中的驗證者、開發者和家庭質押者。

從交易重新執行到證明驗證

目前，每個以太坊驗證者都會重新執行每個區塊中的所有交易，以確認其有效性。然而，根據 ladislaus.eth 的說法，隨著鏈上活動的增加，這種方法的擴展性變差。更多的 Gas 使用會增加每個節點的存儲、帶寬和硬體需求。

在提議的設計中，驗證者將改為驗證加密證明。這些證明證實正確執行，而不需重新運行交易。值得注意的是，驗證時間無論區塊複雜度如何都保持不變。

這一轉變依賴於 zkEVM 技術，現已進入以太坊的核心協議中。重要的是，這一變化並不取代現有方法，而是為驗證者提供一條可選的驗證路徑。

EIP-8025 引入可選的執行證明

路線圖的核心是 EIP-8025，即「可選的執行證明」。該提案允許驗證者（稱為 zkAttesters）通過檢查零知識證明來確認區塊。他們將不再需要運行完整的執行客戶端。

根據設計，執行層客戶端會生成執行證人（witnesses），這些證人會輸入 zkVM，產生正確狀態轉換的證明。共識層客戶端則負責驗證這些證明。

來自不同執行客戶端的證明會在專用的 gossip 網路中傳播。驗證者在驗證達到一定門檻（目前提議為五個證明中的三個）後接受區塊。這個結構既能保持客戶端多樣性，又能降低驗證成本。

路線圖時間表與基礎建設依賴

以太坊基金會已安排在 2026 年 2 月 11 日 UTC 15:00 舉行首場 L1-zkEVM 工作坊。此次會議將涵蓋六個研究方向，包括證明者基礎設施和安全驗證。

值得注意的是，該路線圖依賴於正式實現的提案者-建造者分離（enshrined proposer-builder separation，ePBS）。ePBS 預計在 Glamsterdam 硬分叉中推出，擴展了證明生成的時間窗口，使得在單一時槽內進行實時證明成為可能。

隨著開發進展，zkVM 團隊如 RISC Zero、ZisK 和 openVM 已經在證明以太坊區塊。與此同時，EIP-8025 現已在 consensus-specs 的功能分支中，等待進一步審查。