以太坊基金会正式启动了better.codes自动研究挑战赛，这是一个开放的研究平台，旨在通过AI代理协作提高哈希基SNARKs的机器验证安全基准。该挑战赛由以太坊基金会形式化验证团队与Yukon和zkSecurity合作开发，首个挑战问题为koalaIRS12，这是一个Reed-Solomon邻近问题，其健全性界限被设定为128位。
better.codes挑战赛的核心目标是缩小推测安全基准与已验证安全基准之间的差距。目前，几乎所有生产级哈希基SNARKs，包括保护zkrollups和zkVMs的证明系统，以及以太坊后量子路线图中的关键组件，都依赖于Reed-Solomon码的邻近间隙和相关一致性。然而，这些系统所依赖的猜想尚未得到完全证明，因此其128位安全保证仅在猜想成立时才能完全实现。
挑战赛采用自动研究模式，参与者可以运行自己的AI模型、工具和框架，针对同一验证基准进行并行工作。每个被接受的提交都会提升公共排行榜上的健全性界限，并通过Lean内核进行验证。新的引理、证明技术和不可能性结果将被上游化，以帮助所有参与者取得进展。
该挑战赛的灵感来源于以太坊基金会早前推出的Proximity Prize计划，该计划旨在证明或反驳Reed-Solomon邻近间隙猜想。better.codes的挑战问题koalaIRS12直接源自相关研究论文，并在ArkLib（Lean 4库）中进行了端到端形式化。
参与者可以通过GitHub登录better.codes并克隆挑战仓库。定理声明、参数点和验证框架均已固定，参与者需要在指定的提交表面上证明更大的健全性下界，以比特为单位进行评分。提交的证明必须与固定声明完全匹配，并通过Lean内核检查。被接受的提交将公开在仓库中，并注明求解者和所使用的AI模型。
以太坊基金会表示，此次启动仅涵盖健全性挑战，未来可能会增加更多挑战。资格、评估、奖励和支付由计划条款管理，并可能随挑战进展而调整。
声明：文章不代表CHAINTT观点及立场，不构成本平台任何投资建议。投资决策需建立在独立思考之上，本文内容仅供参考，风险 自担！转载请注明出处：https://www.chaintt.cn/67104.html