以太坊 zkEVMs 將焦點從速度轉向安全性

zkEVM 生態系已達成一個重大的技術里程碑。現代 zkVM 現在可以在不到 10 秒內，使用目標硬體為幾乎所有以太坊主網區塊生成證明。

隨著速度問題基本解決，EF 現在將焦點轉向安全性，並警告某些 zkEVM 依賴於較弱或未經證明的假設。

即時證明將焦點轉向安全性

即時證明意味著能夠快速生成證明，速度足以匹配以太坊 12 秒的區塊時間。以太坊基金會要求 zkEVM 在使用開源軟體、有限電力和經濟實惠的硬體條件下，能在 10 秒內證明 99% 的區塊，同時保持證明的體積小且安全。

12 月 18 日，EF 確認即時證明現已可行，因此證明可以在不拖慢網路的情況下進行驗證。隨著速度問題基本解決，EF 現在將焦點轉向安全性，並警告某些 zkEVM 依賴於較弱或未經證明的假設。

新的研究顯示，這些假設可能不像以前想像的那樣安全。EF 表示，只有完全可證明的安全性才是可接受的，因為假證明可能會損害以太坊區塊鏈的核心。

以太坊基金會為 zkEVM 設定明確的安全標準

以太坊基金會表示，128 位安全性是 Layer 1 上 zkEVM 的長期標準。這一安全等級被廣泛認為足以保護持有大量價值的系統，遠超攻擊者能夠實際突破的範圍。

為了達成這一目標，EF 已分享一個明確的計畫。到 2026 年 2 月，所有 zkEVM 團隊必須使用一個名為 Sound Calc 的共用工具，以根據最新研究以相同方式衡量安全性。

如揭露，至 2026 年 5 月，Glamsterdam 里程碑要求至少 100 位安全性、證明大小低於 600 KB，並提供證明運作方式及安全性原因的清楚說明。到 2026 年底，zkEVM 必須達到完整的 128 位安全性，並將證明大小縮減至 300 KB 以下。

新工具推動 zkEVM 朝向安全的以太坊擴展

幾個新工具正幫助實現這些目標。以太坊基金會強調了 WHIR，一種能產生更小、更快且仍安全的證明的新證明方法。它也提到其他技術，能在不削弱安全性的情況下降低證明大小。

如果成功，zkEVM 有望大幅提升以太坊的擴展性。驗證者將檢查較小的證明，而不必重新執行每筆交易。這將允許更多活動在不需要更強硬體的情況下進行，並幫助維持家庭質押的可行性。

然而，挑戰仍然存在。大多數結果來自測試環境，而非實際大規模應用，且隨著研究進展，安全標準可能會改變。撰寫和驗證完整安全證明也需要大量時間與努力。

本文首發於 TheCoinrise.com。