據 Woofun AI 消息，以太坊生態內的 zkEVM 安全驗證正面臨緊迫的時間窗口，better.codes 競賽成爲衡量這一技術差距的核心標尺，各方需在 12 月前完成關鍵突破。

在 8 月 21 日世界標準時間 15:44:47 這一精確時刻，實時排行榜定格了 koalaIRS12 的關鍵數據：較低證書數值爲 63.99 比特，而較高證書數值則高達 116.13 比特。

儘管七位求解器已提交九份候選解，但仍有 52.14 比特的差距未能彌合。該競賽通過兩條截然不同的路徑試圖縮小這一鴻溝：安全性路徑旨在提升較低證書數值，其機制在於若候選解能在認證半徑內證明基準測試中可執行代碼的簡化誤差上限符合既定目標，該半徑值便轉化爲排行榜分數；攻擊路徑則致力於降低較高證書數值，相關定理在基準測試的獲勝集密度條件下證明存在不安全的後綴。

值得注意的是，由於形式化推導並未假設獲勝集密度具有單調性定理，存儲庫直接處理此類後綴，被接受的候選解需證明在該固定環境中定理成立。Woofun AI 整理數據顯示，這種雙向進展使得差距更具參考意義，每一次提交都改變可驗證邊界，而固定定理確保了結果可比性。

從理論意義與實際應用層面審視，該基金會將 better.codes 視爲基於機器檢驗的研究途徑，旨在探索基於哈希的 Snark 猜想的安全性。提升 koalaIRS12 的相關證書數值有助於實現計劃中的優化目標，而 116.13 比特的證書因適用於挑戰中編碼的參數值而具備實用價值，儘管其他參數選擇、結構設計及系統組件屬於另需研究的問題。在實際應用中，必須確保模型的完整性、定義中包含的各類假設、實現的精確度，以及各個獨立分析組件的組合合理性。對於 koalaIRS12 而言，若能獲得達到 128 比特編碼目標的較低證書，則該固定參數點上的基準測試安全性問題即可解決。

然而，在 zkEVM 環境中，還需對所有組件進行安全性驗證，確保證明規模符合要求，並擁有記錄在案的遞歸結構、組件組合說明以及規格與實現相一致的證明。這一可選要求使得排行榜數值變化仍屬研究範疇，證書變動雖爲未來安全論證提供依據，但不影響以太坊現有的、對共識機制至關重要的驗證流程。

在 12 月初的評審節點之前，各團隊必須公佈系統層面的詳細信息、證明的規模、遞歸相關的論證內容以及實現方面的證據。目前，52.14 比特的差距直觀體現了 koalaIRS12 相關工作的未完成狀態。以太坊 128 比特級別的實際應用方案，最終取決於這些組件證據如何融入更完整的證明體系，進而影響整個驗證流程的穩健性。