以太坊 zkEVM 安全落差，12 月前仍有 52.14 位元未解決

以太坊的 better.codes 競賽如今衡量一個密碼學證明落差，研究人員可從兩端發動攻擊。

以太坊 better.codes 排行榜上，健全性證明與攻擊證書之間存在 52.14 位元的落差，使 zkEVM 證明系統未達基金會為 12 月初設定的 128 位元目標。

以太坊基金會的發布公告固定了定理陳述、參數點與驗證框架，每一份提交都會被匯出，由比較器對照目標進行檢查，並在晉升前經由 Lean 內核驗證。

在 8 月 21 日 15:44:47 UTC，即時排行榜顯示 koalaIRS12（用於證明系統研究中交錯 Reed–Solomon 歸約的固定參數設定檔）的下限證書為 63.99 位元、上限證書為 116.13 位元。七位解題者的九份晉升提交使該區間仍然開放。

12 月的 M3 里程碑要求 128 位元可證明安全性、最終證明大小不超過 300 KiB，以及遞迴架構的正式健全性論證——這是一個生產級案例，取決於 koalaIRS12 組件證據如何融入更大的證明之中。

排行榜證明了什麼

該競賽使用兩條軌道來收斂區間。健全性軌道提高下限證書：在認證半徑下，成功提交可證明基準測試的可執行歸約誤差界符合編碼目標，再將該半徑映射至得分。攻擊軌道則降低上限證書，在基準測試的勝出集合密度條件下認證一個不安全後綴。

挑戰儲存庫將得分定義為抽查量，並明確排除將其詮釋為整體系統健全性或完整協議安全性的負對數 2。一份被接受的結果證明提交的定理在鎖定環境內成立；生產級保證還須涵蓋模型的完備性、內嵌假設、實作保真度，以及分別分析的組件之間的組合方式。

基金會 5 月對 SP1 形式驗證工作的審查說明了這些層級為何重要：規格與定理陳述本身就是程式碼，輸入與版本需要可重現的鎖定，而組件層級的結果在支持對整體系統的結論之前，需要更廣泛的推理。由 Gal Arnon、Dan Boneh 與 Giacomo Fenzi 撰寫的一篇學術論文，將列表解碼、Reed–Solomon 鄰近落差、相關一致性與相互相關一致性列為簡潔證明系統的開放問題。

距 12 月目標的落差

基金會 2025 年 12 月的 zkEVM 安全性路線圖要求 128 位元可證明安全性、最終證明大小不超過 300 KiB，以及遞迴架構的正式健全性論證。2 月的安全性衝刺更新將 M3 截止日期延至 2026 年 12 月初，並將架構安全性論證與 12 月 1 日的交付成果對齊。

對 koalaIRS12 而言，達到編碼 128 位元目標的下限證書將可在此基準測試的固定參數點上解決健全性層面。而生產級 zkEVM 主張還需涵蓋每個相關組件的健全性核算、證明大小合規、有文件的遞迴拓撲，以及規格與實作相符的證據。

基金會公開的進度頁面（最後同步於 8 月 20 日）列出 zkVM 就緒度與 ISA 合規結果，並將即時證明與 soundcalc 整合命名為標準，但其中並無完整 12 月初套件的完成標記。5 月關於選擇性執行證明的更新描述了一個非共識關鍵階段，在此階段 zkEVM 證明補充主網測試，而一般執行用戶端的重新執行仍持續驅動認證。

該選擇性角色使排行榜的直接影響仍停留在研究領域。證書的變動會改變未來安全性論證可用的證據，但不會改變以太坊目前的共識關鍵驗證路徑。在 better.codes 上，健全性提交可推升 63.99 位元的下限證書，攻擊提交則可拉低 116.13 位元的上限證書。目前，52.14 位元的區間是 koalaIRS12 未完成工作的即時衡量，而以太坊 128 位元的生產級案例將取決於該組件證據如何融入更大的證明之中。

本文僅供資訊參考之用，不構成投資建議。