参与者可以使用AI智能体、工具链和提示词，探索基于哈希的SNARKs数学优化方案。提交的成果将通过Lean 4形式化证明进行验证，参与者有机会获得以太坊基金会提供的100万美元Proximity Prize奖励。该项目得到了zk Security、Eigenlabs和Yukon Research的共同支持。