以太坊研究人员竞相在12月目标前弥合zkEVM安全差距

以太坊的better.codes竞赛将一个密码学证明差距转化为公开、可复现的度量，研究人员可以从两个方向推进。

UTC时间8月21日15:44:47，实时排行榜显示koalaIRS12的下界证书为63.99比特，上界证书为116.13比特。在七位求解者提交的九个晋级作品之后，两个界限之间仍有52.14比特未解决。

koalaIRS12是用于证明系统研究的交织Reed–Solomon归约的一个固定参数配置。此类Reed–Solomon邻近性问题是基础性而非边缘性的：FRI（快速Reed–Solomon邻近性IOP）是STARK及其他基于哈希的SNARK用来检验被承诺的字符串是否接近低阶多项式的技术。挑战代码库将其得分定义为抽查量，并明确排除将其解读为整个系统可靠性的负对数（minus-log2）或完整协议安全性。研究人员现在掌握的，是挑战已证明安全与其上界证书仍判定不安全之间距离的公开度量。

排行榜证明了什么

该竞赛设有两个赛道，旨在从相反方向缩小这一区间。

可靠性赛道提高下界证书。在经认证的半径处，一次成功的提交证明基准的可执行归约误差界满足编码目标，然后将该半径映射为排行榜上显示的得分。

攻击赛道降低上界证书。其定理在基准的获胜集密度条件下认证一个不安全后缀，而代码库直接覆盖该后缀，因为形式化并未假设获胜集密度的单调性定理。上界证书赛道的得分描述的是koalaIRS12的形式边界；以太坊的攻击成本则需要单独的全系统分析。

根据以太坊基金会的发布公告，定理陈述、参数点和验证工具均已固定。每次提交都会导出所需的定理，比较器将该陈述与目标进行核对，然后由Lean内核在晋级前验证证明。Lean是一种交互式定理证明器，其小型可信内核对每个证明步骤进行机器检验。被接受的结果是在该固定环境中证明所提交的定理。

生产级保障的范围不止于此。它还必须涵盖模型的完备性、定义中嵌入的假设、实现的保真度，以及分别分析的各组件的组合方式。基金会对SP1（由Succinct开发的zkVM）形式化验证工作的5月评审表明了这些额外层面的重要性：规范和定理陈述本身就是代码，输入和版本需要可复现的固定，而组件级结果需要更广泛的推理，才能支撑对整个系统的结论。

Gal Arnon、Dan Boneh和Giacomo Fenzi合著的一篇学术论文将列表解码、Reed–Solomon邻近性差距、相关一致性及互相关一致性列为简洁证明系统的开放问题。该论文发表于当前排行榜快照之前，解释了这一问题族的重要性，但并未评估当前的得分。

基金会将better.codes定位为面向基于哈希的SNARK安全的机器检验研究路径，而改进koalaIRS12证书将使该议程中的一项归约更加精确。116.13比特证书的适用范围同样有限：它仅适用于挑战中编码的参数点，而其他参数选择、构造和系统组件仍是独立的研究问题。

正是这种双向形式使该区间具有信息量。每次晋级都会改变一个可检验的边界，而固定的定理使先后结果保持可比。

与以太坊12月目标的差距

基金会2025年12月的zkEVM安全路线图要求实现128比特可证明安全性——这一标准通常被解读为攻击需要约2^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比特的上界证书。在整个zkEVM路线图中，各团队必须发布12月初评审所需的系统级核算、证明大小、递归论证和实现证据。

目前，52.14比特的区间仍是koalaIRS12未完成工作的实时度量。以太坊的128比特生产级论证将取决于这些组件证据如何融入更大的证明之中。

来源：CryptoNews