吴说区块链(@wublockchain12):以太坊基金会推出 Better Codes 开放挑战赛，旨在推动后量子以太坊研究。参与者可使用 AI 智能体、工具链和提示词，探索基于哈希的 SNARKs 数学优化方案。提交成果将通过 Lean 4 形式化证明进行验证，并有机会获得以太坊基金会 100 万美元 Proximity Prize 奖励。该项目由 ZK Security、EigenLabs 和 Yukon Research 共同支持。

吴说区块链

@wublockchain12

吴说中文推特：接近真相，更可信赖专业可信的行业新闻，优质深度内容推荐吴说所有内容渠道、播客、APP 等：联系我们 TG: colinwu1989

参加 August 2021

2 フォロー中 181.7K ファン

吴说区块链@wublockchain12

2026.08.21 00:06

以太坊基金会推出 Better Codes 开放挑战赛，旨在推动后量子以太坊研究。参与者可使用 AI 智能体、工具链和提示词，探索基于哈希的 SNARKs 数学优化方案。提交成果将通过 Lean 4 形式化证明进行验证，并有机会获得以太坊基金会 100 万美元 Proximity Prize 奖励。该项目由 ZK Security、EigenLabs 和 Yukon Research 共同支持。