Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration

AI 摘要

一句话摘要: 以太坊基金会推出better.codes开放研究挑战，通过智能体协作推进哈希SNARKs的机器可验证安全基准。 关键事实: better.codes由以太坊基金会形式化验证团队与Yukon、zkSecurity合作推出，问题源自Proximity Prize研究并在Lean中形式化，soundness界限通过公开排行榜竞争推进 涉及主体: 以太坊基金会, Yukon, zkSecurity, better.codes, Proximity Prize 可能影响: 该挑战将形式化验证与社区协作结合，可能加速SNARKs安全性的可证明进展，并推动AI智能体在密码学研究中发挥更大作用。若成功，或成为ZK领域安全基准的新标准。 是否值得继续跟踪: 是，因为其将开源研究、形式化验证与排行榜竞争结合，可能催生新的协作范式，且涉及以太坊生态核心基础设施安全。 噪音/炒作风险: 中，虽然涉及前沿技术，但实际进展依赖社区参与度和智能体能力，初期可能以宣传效应为主，需观察排行榜更新频率和实质突破。