イーサリアウッド財団が立ち上げた量子研究チャレンジの1億ドル

参加者は、AIスマート、ツールチェーン、ヒントを使用して、SNARKsベースの数学最適化プログラムを探索することができます。 発表した結果は、Lean 4の正式化証明書を通じて検証され、参加者はTaifeng財団が提供する$ 1,000,000の近接賞賞にアクセスできます。 このプロジェクトは、zk Security、Eigenlabs、Yukon Research がサポートしています。