Ethereum 的 better.codes 竞赛已将 koalaIRS12 尚未解决的密码学证明区间缩小至52.14比特。8月21日 15:44:47 UTC，实时排行榜显示，健全性赛道给出的较低证书为63.99比特，攻击赛道给出的较高证书为116.13比特，此前共有7名求解者提交的9项结果晋级。KoalaIRS12 是证明系统研究中所用交错式 Reed–Solomon 归约的一组固定参数配置。该挑战衡量的是一项抽查量，并不将其得分视为整个系统健全性的负 log2 值，也不将其视为完整协议的安全性结果。相关证书仍低于 Ethereum 128位 zkEVM 可证明安全目标：较低赛道旨在提高经认证的安全点，攻击赛道则旨在降低经认证的不安全边界。基金会表示，定理陈述、参数点和验证工具链均已固定，提交结果会由比较器检查，并在晋级前由 Lean 内核验证。因此，这些结果确立的是基准测试范围内可核查的主张，而非生产级完整系统安全性。后续工作还必须解决模型完整性、形式化假设、实现一致性以及各组件之间的组合问题。基金会在2025年12月的路线图中提出了128位安全性、最终证明大小不超过300 KiB，以及形式化递归健全性论证等目标；2月的安全冲刺更新将 M3 截止时间推迟至2026年12月初，并将架构安全性论证安排为12月1日交付。当前排行榜的直接影响在于研究领域，而 Ethereum 的生产应用前景则取决于能否将这一组件的证据整合进更广泛且可审计的证明系统方案中。