以太坊基金会推出 AI 研究平台 better.codes，强化后量子安全
要点速览
- •以太坊基金会推出了 better.codes 平台，研究人员可利用 AI 智能体改进 koalaIRS12（一个 Reed-Solomon 邻近性问题）的可靠性界，被接受的证明将通过 Lean 定理证明器验证，以获得机器检验的保证。
- •该挑战为 koalaIRS12 追求 128 位安全目标，与以太坊的长期后量子密码学目标一致；该平台与 Yukon 和 zkSecurity 共同开发。
- •以太坊向基于哈希的密码学转型，源于对未来量子计算机可能利用 Shor 算法破解椭圆曲线原语的担忧，尽管 IBM 和谷歌的路线图将容错量子计算机的目标定在本十年末。
- •该举措延续了 2026 年早些时候推出的 Proximity Prize 计划（设有 100 万美元研究基金），并与 NIST 于 2024 年敲定包括基于哈希的 SLH-DSA 签名方案在内的后量子标准相呼应。
- •这项工作预计不会直接影响 ETH 的短期价格，但更强的经过验证的安全假设可使构建 rollup、零知识虚拟机和其他基于 SNARK 的扩容系统的开发者受益。
以太坊基金会发布了 better.codes，这是一个将人工智能应用于强化基于哈希的 SNARK 安全性的协作研究平台。该举措是以太坊为应对未来量子计算机可能带来的风险、对其密码学基础设施进行准备的更广泛努力的一部分。
该平台以 koalaIRS12 为核心，这是一个在现代密码学证明系统中扮演重要角色的 Reed-Solomon 邻近性问题。通过 better.codes，研究人员可以部署 AI 智能体来改进 koalaIRS12 证明的可靠性界，其结果随后将通过 Lean 内核进行验证。Lean 是最初由微软研究院开发的开源定理证明器和编程语言，它会通过一个小型可信内核检查每一个证明步骤，因此被接受的成果带有机器验证的保证，而不仅仅依赖人工同行评审。
该举措旨在为 koalaIRS12 建立机器验证的安全保证，同时朝着 128 位安全目标努力，这一目标可增强以太坊抵御未来量子威胁的能力。该项目与 Yukon 和 zkSecurity 共同开发，并围绕渐进式贡献构建。被接受的解决方案将同时归功于研究人员（求解者）以及参与产出这些方案的 AI 模型——这一方式旨在鼓励透明的协作，同时为密码学研究进展创建可验证的记录。
以太坊为量子计算风险做准备
以太坊向后量子密码学的转型，源于对当前区块链上所用密码学系统长期安全性的担忧。基于椭圆曲线的技术支撑着包括交易签名、共识基础设施和零知识证明在内的多个领域。
一台足够强大的量子计算机有可能通过 Shor 算法破坏其中一些密码学原语。该算法由数学家 Peter Shor 于 1994 年提出，针对的是当今大部分公钥密码学所依赖的因数分解和离散对数问题。尽管这类机器目前尚无法在实际规模上破解以太坊广泛使用的密码学——而且 IBM 和谷歌等主要硬件开发商发布的路线图将容错量子计算机的目标定在本十年末——但这一潜在的未来威胁促使区块链开发者提前研究替代方案。
因此，以太坊一直在研究依赖哈希函数而非椭圆曲线离散对数的密码学方法。基于哈希的 SNARK 和 STARK 是此次转型中被考虑的技术之一。这一方向与区块链之外的标准化工作相呼应：2024 年，美国国家标准与技术研究院（NIST）敲定了其首批后量子密码学标准，其中包括基于哈希的数字签名方案 SLH-DSA，使基于哈希的密码学进入政府批准的生产使用。better.codes 举措通过为 Reed-Solomon 邻近码寻求更强且经过形式化验证的安全保证，来解决这项工作所关联的挑战之一——这些码支撑着多种密码学证明系统，对可扩展零知识技术的发展十分重要。
128 位安全目标
better.codes 挑战专注于为 koalaIRS12 达到 128 位安全基准，这一目标与以太坊开发能够在后量子环境中保持安全的密码学系统的长期目标一致。以太坊基金会在 X 上宣布了该举措：
Learn more in the announcement ↓
— Ethereum Foundation (@ethereumfndn) August 20, 2026
完整帖子：https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw
这项工作延续了 Proximity Prize 计划，该计划于 2026 年早些时候启动，设有 100 万美元研究基金，专门用于解决涉及列表译码和相关性一致性的未解问题。通过用 Lean 4 表达这些密码学问题，以太坊基金会力求使研究成果更易于机械化验证，并有望加快迈向更可靠密码学构造的进程。机器学习与形式化证明检查的结合也反映了更广泛的研究趋势——Google DeepMind 的 AlphaProof 通过生成经 Lean 验证的证明，在 2024 年国际数学奥林匹克竞赛中达到银牌水平的表现，展示了 AI 系统如何为形式化检验的数学做出贡献。
对这些密码学假设的更强验证，可使构建 rollup、零知识虚拟机以及其他日益依赖基于 SNARK 技术的扩容系统的开发者受益。
长期安全优先于即时市场影响
该举措预计不会对 ETH 价格产生直接的短期影响。其意义在于以太坊的长期协议安全，以及对量子计算发展过程中可能出现的技术风险的准备。
近期以太坊生态系统内的各项工作同样更加重视后量子安全，包括涉及递归 STARK 证明的提案，以及成立专注于量子相关威胁的专门安全团队。对于开发者和基础设施提供商而言，这些进展表明，随着零知识技术在区块链行业中的扩展，密码学韧性正成为日益重要的考量因素。
better.codes 平台预计将超越其首个挑战继续发展，以太坊基金会计划在涵盖资格、评审和奖励的项目规则下推出更多研究问题。研究人员可以通过 GitHub 登录、访问相关代码仓库并为 koalaIRS12 挑战贡献解决方案来参与其中。
据报道，该举措代表着将后量子研究从理论讨论推向可独立验证的实践的努力。通过将 AI 辅助研究与形式化 Lean 验证相结合，better.codes 可为以太坊提供一条更有条理的路径，通往旨在抵御未来量子时代威胁的密码学系统。
来源：CoinTrust
