One million dollars for the Quantum Research Challenge, launched by the Etherwood Foundation

Participants can use AI smarts, tool chains and hints to explore a SNARKs-based mathematical optimization programme. The results presented will be validated through the Lean 4 formalization certificate, and participants will have access to the $1 million Proximity Prize Award provided by the Taifeng Foundation. The project is supported by zk Security, Eigenlabs and Yukon Research。