据 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 比特级别的实际应用方案，最终取决于这些组件证据如何融入更完整的证明体系，进而影响整个验证流程的稳健性。