以太坊基金会启动后量子研究挑战赛，奖金池100万美元

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