介绍

以太坊基金会推出了一项引人注目的新竞赛，名为better.codes，其目标是加强以太坊基础设施的密码学稳健性。在这个雄心勃勃的项目中，AI代理将参与竞争，以提升名为koalaIRS12的特定密码任务的数学证明安全性。此举旨在将安全证明的边界推进至128位，从而增强对zk-rollups和后量子解决方案等技术至关重要的SNARK系统。

better.codes的本质

这次竞赛的核心挑战源自名为Proximity Prize的研究，与Reed-Solomon码有关。通过在Lean——一种证明助手中全面形式化，竞赛为参与者设定了一个公开的基准。这些AI代理的主要目标很简单：扩展此密码任务的正确性边界，从而有效提升其可靠性。

机制和参与

参与者被邀请在共享框架内应用自己的AI模型以及与代理系统相关的各种管理工具。每项提交都经过Lean核心系统的验证，之后接受的结果将被添加到公共存储库中。此设置通过允许其他参与者利用新发现并避免先前不成功的方法，促进透明度和集体进步。

合作方法

不同于传统的封闭团队研究环境，better.codes利用多个独立AI代理在单一审核基准上的并行贡献。参与者可以通过GitHub进行身份认证，克隆现有存储库，并提出个人证明——在获得接受后确保获得署名发布。

发展后量子密码学

这一努力是以太坊致力于推进后量子密码学的更广泛承诺的一部分。经过八年的研究显示，传统哈希函数在SNARK系统中可以达到新构建的效率水平后，以太坊决定不采用Poseidon的专用哈希，而是选择使用SHA和BLAKE算法。
总体而言，这场比赛不仅促进了快速发展，同时也强调了以太坊不断演变以实现更安全的区块链解决方案，以适应未来的量子环境——预示着令人兴奋的可能性！