以太坊基金会推出 better.codes 挑战，推进哈希 SNARK 可证明安全

AI 摘要

一句话摘要: 以太坊基金会推出better.codes开放挑战，用Lean形式化验证提升哈希SNARK可靠性下界至128位。 关键事实: better.codes平台将koalaIRS12的机器检查可靠性界放入公共排行榜，参与者可用AI智能体提交证明，Lean内核核验每份提交，挑战目标是将已证下界提升至128位。 涉及主体: 以太坊基金会形式化验证团队，Yukon，zkSecurity，koalaIRS12，ArkLib 可能影响: 该挑战有望缩小哈希SNARK可证明安全性与实际信任基准间的差距，为后量子以太坊安全奠定更严谨的数学基础，并推动AI辅助形式化验证在密码学领域的应用。 是否值得继续跟踪: 是，该挑战直接关系后量子密码学落地安全基准，且开放排行榜模式可能催生新的证明技术突破。 噪音/炒作风险: 低，内容聚焦具体技术定理与可验证的证明进度，非概念炒作，且由以太坊基金会牵头，具备实质学术与工程价值。