以太坊启动AI代理安全提升竞赛

以太坊推出了better.codes竞赛，旨在提升加密问题koalaIRS12的数学证明安全性至128位。该竞赛由以太坊基金会与Yukon和zkSecurity联合组织，参与者可以连接自己的AI模型来验证SNARK系统的安全性。竞赛的基础是与里德-所罗门码相关的koalaIRS12问题，该问题在Lean中完全形式化。参与者必须提高问题的正确性界限，结果由Lean核心进行验证，并添加到公共存储库中。被接受的结果将标明作者和使用的AI模型，允许其他参与者使用新方法。此举是以太坊在后量子密码学领域更广泛工作的组成部分，特别是放弃Poseidon哈希，转而使用SHA和BLAKE。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。