为区块验证寻找统一计算上限
以太坊基金会已在 evm.fast 发起公开技术挑战，邀请参与者为以太坊区块验证所需的计算量建立最坏情况上界，并提交可由机器检查的证明。挑战当前的基准成绩为无穷大，因此，任何符合要求的有限上界都能刷新这一纪录。
评分指标 K 表示：在挑战涵盖的所有输入下，64 位 RISC-V 模型执行区块验证程序所需步数的经认证上限。启动阶段的步数同样计入总量，不能从计算中排除。
现有基准程序已经能够证明区块验证最终会终止，但尚未证明存在一个适用于所有相关输入的固定步数上限。这也是其成绩记为无穷大的原因。挑战面向贡献者开放，尚未公布现金奖励、截止日期或提交平台。
机器检查证明连接可预测的证明成本
挑战使用 Flapjack 运行相关模型。Flapjack 是 Pancake 编译器的 Lean 4 改编版本，面向 64 位 RISC-V 架构；Lean 4 是用于检查数学证明的证明助手，RISC-V 则是一种开放指令集。基准程序由经过验证的 Flapjack 编译器编译。
这项工作与以太坊基金会的零知识证明计划相关，尤其对应其 2025 至 2026 年目标中的可预测证明成本。零知识虚拟机（zkVM）可为通用程序的执行生成证明，其中许多系统会将代码编译为 RISC-V 指令。
在完整以太坊区块的实时证明方面，目标硬件上覆盖 99% 主网区块的证明延迟已从约 16 分钟降至不足 10 秒。但对实际区块的性能观测，仍不同于为挑战覆盖的全部输入证明一个统一上限。
经证明的 K 可为证明系统规划最难区块的计算预算提供数学依据，也有助于约束恶意构造区块造成的异常验证负担。由于当前基准为无穷大，首个有效的有限上界即便较为宽松，也能改善成绩；此后的优化重点将是继续压低 K。
