RecodeX 重构消息，以太坊基金会推出Better Codes开放挑战赛，旨在推动后量子以太坊研究。参与者可使用AI智能体、工具链和提示词，探索基于哈希的SNARKs数学优化方案。提交成果将通过Lean 4验证，总奖金池达100万美元。