以太坊基金會詳述 zkEVM 進展與 2026 年路線圖

簡要概述

以太坊基金會已報告 zkEVM 在過去一年中的性能提升，並現正將安全性與正式驗證置於優先位置，設定里程碑以在 2026 年底實現可證明的 128 位安全性。

以太坊基金會是一個非營利組織，致力於通過研究、技術和社群倡議支持以太坊的長期發展，已發布其 zkEVM 生態系統進展的最新情況，總結一年的進步並展望未來目標。

根據報告，實時證明的延遲時間已從 16 分鐘大幅縮短至 16 秒，成本降低了 45 倍，zkVM 現在能在目標硬體上在 10 秒內驗證 99% 的以太坊區塊。雖然這些性能改進解決了主要瓶頸，但安全性仍是主要關注點。

許多基於 STARK 的 zkEVM 仍依賴未經證明的數學假設，且近期研究對其中一些猜想提出質疑，降低了實際的安全裕度。以太坊基金會強調，證明安全性仍然至關重要，目標是達到標準化機構建議並由計算基準驗證的 128 位安全性，尤其考慮到攻擊者可能利用 Layer 1 zkEVM 的健全性缺陷，從而危及大量資金。

在安全性與證明大小之間取得平衡至關重要，因為較高的安全性通常會增加證明大小，而證明大小必須保持在可在以太坊網絡中傳播的範圍內。為此，基金會設定了三個關鍵里程碑：

以太坊基金會強調，到 2026 年 2 月底，zkEVM 團隊預計將整合 SoundCalc，一個根據當前密碼學界限和證明參數一致估算安全性的工具。到 2026 年 5 月底，生態系統旨在實現 100 位證明安全性，最終證明大小低於 600 KiB，並提供遞歸架構的緊湊描述。到 2026 年底，目標是達到 128 位證明安全性，證明大小低於 300 KiB，並為遞歸架構提供正式的安全性論證。

近期的密碼學和工程進展，包括緊湊多項式承諾、先進的遞歸技術和結構化電路組合，使這些里程碑變得可行。記錄架構和遞歸的健全性尤為重要，因為現代 zkEVM 涉及複雜且團隊特定的遞歸電路設計，這對整個系統的安全性至關重要。

以太坊基金會將焦點轉向 zkEVM 的安全性與正式驗證，迎接 H-star 里程碑

此階段專注於 zkEVM 的安全性具有策略性原因。確保一個仍在演進的系統安全是一大挑戰，但一旦 zkVM 架構穩定並且團隊達到關鍵目標，正式驗證工作就能全面展開。到 H-star 里程碑時，證明系統層預計將大致定型——並非永久固定，但足夠穩定以進行關鍵組件的正式驗證、完成安全性證明，並使規格與部署的代碼保持一致。這種穩定性對於實現安全的 Layer 1 zkEVM 至關重要。

一年前，主要問題是 zkEVM 是否能快速證明交易，這個挑戰已經解決。當前的焦點是它們是否能可靠且安全地做到這一點，信心很高。以太坊基金會計劃在一月發布一篇正式闡述這些里程碑的文章，隨後將發布技術更新，詳細說明達到預期安全等級和證明大小的證明系統技術。Ethproofs 也將更新，以反映在性能之外強調安全性的轉變。基金會的密碼學團隊將在整個過程中提供支援。隨著性能提升的階段結束，現在的重點轉向鞏固基礎。