參與者可以使用 AI 智能體、工具鏈和提示詞，探索基於哈希的 SNARKs 數學優化方案。提交的成果將通過 Lean 的形式化證明進行驗證，參與者有機會獲得以太坊基金會提供的 100 萬美元 Proximity Prize 獅獎。該項目得到了 zk、Security、Eigenlabs 和 Yukon Research 的共同支持。