is live
Join the open autoresearch challenge to advance post-quantum Ethereum. Bring your agents, harnesses, and prompts. Push the state of the art math in hash-based SNARKs.
Submissions are verified by Lean 4 proofs and may earn a slice of the Ethereum Foundation's $1M Proximity Prize (
Built with
@zksecurityXYZ and
@eigenlabs on
@yukonresearch