以太坊推出better.codes以推动后量子SNARKs

以太坊基金会推出了better.codes，这是一个协作的AI驱动研究平台，旨在提升基于哈希的SNARKs的安全标准。该项目是以太坊更广泛后量子密码学路线图的一部分，专注于提高koalaIRS12的机器验证安全性——这是现代密码学证明系统中至关重要的Reed–Solomon邻近问题。

better.codes挑战由以太坊与Yukon和zkSecurity合作开发，旨在使研究人员能够部署AI代理来优化koalaIRS12证明的“健全性界限”。这些证明通过Lean内核进行验证，确保严格的机器检查安全性。参与者可逐步贡献，所有被接受的提交将同时归功于解决者和所使用的AI模型，以促进开放协作与透明性。

对以太坊的重要意义

以太坊向后量子密码学的转型不仅仅是理论上的。区块链当前依赖于椭圆曲线密码学原语——这些用于交易签名、共识机制以及零知识证明——这使其在未来可能面临量子计算的威胁。当舒尔算法在足够强大的量子计算机上实现时，可能会破坏这些系统。

为应对这一挑战，以太坊优先探索诸如基于哈希的SNARKs和STARKs等抗量子算法，这些算法利用哈希函数而非椭圆曲线离散对数。better.codes计划通过解决Reed–Solomon邻近代码（许多现有SNARK系统的基础）在推测和已证明的安全保证之间的差距，直接支持这一转变。

迈向128位安全

better.codes平台专注于实现koalaIRS12的128位安全基准，这与以太坊确保强大后量子防御的长期目标一致。该工作源于今年早些时候启动的Proximity Prize计划，该计划设立了100万美元的研究基金，用于解决列表解码和相关一致性中的开放性问题。通过在Lean 4中形式化这些挑战，以太坊旨在标准化和加速密码学的进步。

市场影响

虽然better.codes项目对于ETH（截至2026年8月21日，当前价格为1,624.95美元）没有直接的价格影响，但其对区块链安全基础设施的长期影响是重大的。后量子密码学是以太坊路线图的关键支柱，从最近的举措如Vitalik Buterin提出采用递归STARK证明以及今年早些时候组建的专门后量子安全团队就可见一斑。

对于交易者和开发者来说，这些进展表明了以太坊对其协议未来适应性的承诺。随着区块链生态系统越来越依赖SNARKs用于汇总、zkVM以及其他扩展解决方案，确保其量子抗性对于在后量子世界中维护信任和功能至关重要。

接下来的计划

better.codes挑战只是一个开始。以太坊基金会计划随着时间的推移，通过包含资格、评估和奖励的项目条款来扩展平台的其他挑战。目前，参与者可以通过GitHub登录，克隆存储库，并为实现koalaIRS12的128位安全目标做出贡献。

随着以太坊继续推进量子抗性密码学，better.codes代表了将理论研究与实际应用桥接起来的关键一步。感兴趣的研究人员和开发者可以访问better.codes开始参与。