PANews 8月21日の情報によると、イーサリアム財団はオープンリサーチチャレンジ「Better Codes」の開始を発表した。これはイーサリアムのポスト量子暗号の発展を推進することを目的とし、ハッシュベースのSNARKsの数学的最前線に重点的に取り組む。参加者はAIエージェント、自動テストツール、プロンプトを使用して数学的最適化案を提出し、Lean 4証明による検証を受けることができる。勝者はイーサリアム財団の100万ドルのProximity Prize賞金プールを分配される。このチャレンジはZK SecurityとEigen LabsがYukon Researchと共同で構築した。