PANews 8月21日消息，以太坊基金會宣布推出開放研究挑戰賽「Better Codes」，旨在推動以太坊後量子密碼學發展，重點攻關基於哈希的SNARKs數學前沿。參賽者可使用AI代理、自動化測試工具和提示詞，提交數學優化方案，通過Lean 4證明進行驗證。獲勝者將分享以太坊基金會100萬美元Proximity Prize獎金池。該挑戰賽由ZK Security和Eigen Labs聯合Yukon Research共同構建。