以太坊基金会启动evm.fast挑战以验证区块限制

Dado Ruvic 2

一项公开挑战要求贡献者证明在RISC-V模型上以太坊区块验证的有限最坏情况步骤界限

2026年11月2日星期一 · 23:34 EST · 阅读时长3分钟

在技术领域

以太坊基金会在 evm.fast 上发起了一项技术挑战，目标非同寻常。当前最佳成绩为无穷大。

任务是用机器可验证的证明来确定验证一个以太坊区块所需计算量的最坏情况上限。任何有机器验证证明支持的有限答案都能超越现有记录。

评分机制如何运作

该挑战衡量一个称为K的数值。K是64位RISC-V模型的执行步数的经认证上限，适用于该挑战涵盖的每一个输入。启动步骤计入总数，因此参赛者无法悄悄跳过预热阶段。

该模型通过Flapjack运行。Flapjack是Pancake编译器的Lean 4适配版本，专为64位RISC-V架构构建。Lean 4是一种证明助手，即逐行检查数学证明的软件。RISC-V是一种开放指令集，即处理器所理解的基本词汇。

由经过验证的Flapjack编译器编译的基线程序已经证明区块验证最终会停止。它没有证明的是统一界限，即一个适用于所有输入的固定上限。因此基线声称得分为∞。

该挑战面向贡献者开放。目前尚未公布任何奖金、截止日期或提交平台。

这项工作属于基金会更广泛的零知识证明议程的一部分。零知识证明允许一方证明某项计算已正确完成，而无需验证者重新执行全部计算。为通用程序生成此类证明的系统被称为zkVM。其中许多系统会将代码编译为RISC-V。

基金会在2025至2026年的目标包括可证明安全性、递归健全性和可预测的证明成本。递归健全性是指验证其他证明的证明，这些证明在层层叠加时需要保持正确。可预测的证明成本正是这项挑战最直接切入的领域。

在这一领域，速度已经大幅提升。在针对完整以太坊区块的实时证明场景中，使用目标硬件时，99% 的主网区块延迟已从约 16 分钟降至 10 秒以内。

该挑战与基金会正在进行的其他工作并行开展，包括安全评估、客户程序验证以及以太坊执行中的RISC-V语义。客户程序是zkVM运行并证明的代码，在此场景下即检查以太坊区块的逻辑。

全区块的实时证明只有在证明者能够为最坏情况下的区块（而不仅仅是典型区块）做出预算时才可行。一个经过证明的K为该预算提供了数学基础，而非经验猜测。

还有一个拒绝服务的角度。如果攻击者能够构造一个验证所需步骤远超预期的区块，证明者就可能跟不上进度。经过认证的上限使这类意外更难被设计出来，因为最坏情况已经是已知且有记录的。

由于基线位于无穷大，第一个有效条目默认获胜，即使边界宽松也是如此。此后，真正的竞争变成将 K 收紧到证明者实际可以据此规划的一个数值。

披露：本文由Estefano Gomez编辑。如需了解我们如何创建和审核内容，请参阅我们的编辑政策。