以太坊基金會詳細介紹 zkEVM 的最新進展和 2026 年路線圖 

愛心基金會致力於透過研究、技術和社區舉措支持以太坊長期發展的非營利組織發布了其 zkEVM 生態系統進展的最新情況，總結了過去一年的進展並概述了未來的目標。

報告顯示，即時證明的延遲已從 16 分鐘大幅降低至 16 秒，成本下降了 45 倍，zkVM 現在能夠在目標硬體上於 10 秒內驗證 99% 的以太坊區塊。雖然這些效能提升解決了主要瓶頸問題，但安全性仍然是首要關注點。 

許多基於 STARK 的零密鑰電子虛擬機器 (zkEVM) 仍然依賴未經證實的數學假設，而近期研究對其中一些假設提出了質疑，從而降低了其有效安全裕度。以太坊基金會強調，可證明的安全性仍然至關重要，並致力於實現標準化機構推薦且經計算基準測試驗證的 128 位安全性，尤其考慮到攻擊者可能利用第一層 zkEVM 中的健全性缺陷，從而導致大量資金損失。

平衡安全性和證明規模至關重要，因為更高的安全性通常會導致證明規模增大，而證明規模必須保持在以太坊網路可控的範圍內，才能保證其在網路中傳播。為了解決這個問題，基金會設定了三個關鍵里程碑。 

以太坊基金會強調，到 2026 年 2 月底，zkEVM 團隊預計將整合 SoundCalc，該工具能夠基於當前的密碼學界限和證明參數，持續評估安全性。到 2026 年 5 月底，該生態系統的目標是實現 100 位元可證明安全性，最終證明大小低於 600 KiB，並提供遞歸架構的簡潔描述。到 2026 年底，目標是實現 128 位元可證明安全性，證明大小低於 300 KiB，並提供遞歸架構的正式安全論證。 

近年來，密碼學和工程學領域的發展，包括緊湊多項式承諾、高級遞歸技術和結構化電路組合，使得這些里程碑式的成果成為可能。記錄遞歸的架構和可靠性尤其重要，因為現代零密鑰電子虛擬機器（zkEVM）涉及複雜的、團隊特定的遞歸電路設計，而這些設計對於整個系統的安全性至關重要。

以太坊基金會在 H-Star 里程碑之前將重點轉向 zkEVM 安全性和形式化驗證

現階段重點在於 zkEVM 安全性具有戰略意義。保護一個仍在演進的系統極具挑戰性，但一旦 zkEVM 架構穩定下來，團隊達成關鍵目標，形式化驗證工作就能全面展開。到 H-star 里程碑時，證明系統層預計將基本穩定——並非永久固定，但足以支援對關鍵組件進行形式化驗證、最終確定安全證明，並使規範與已部署代碼保持一致。這種穩定性對於實現安全的 Layer 1 zkEVM 至關重要。

一年前，主要問題是零金鑰交換虛擬機器（zkEVM）能否足夠快速地驗證交易，而這項挑戰如今已得到解決。目前的重點在於它們能否可靠且安全地完成驗證，對此人們充滿信心。以太坊基金會計劃在1月發布一篇博文，正式闡述這些里程碑，隨後發布一份技術更新，詳細介紹為達到目標安全級別和驗證規模而開發的驗證系統技術。以太坊驗證（Ethproofs）也將進行更新，以反映對安全性和效能的雙重重視。基金會的密碼學團隊將在整個過程中提供支援。隨著效能衝刺階段的完成，現在的工作重點轉向強化基礎架構。