Ethereum Launches AI-Powered Research Platform for Post-Quantum SNARKs

The Ethereum Foundation has launched better.codes, an AI-powered research platform aimed at strengthening post-quantum SNARKs. This initiative is part of Ethereum's broader roadmap to transition to quantum-resistant cryptography.

Post-quantum cryptography is crucial because current elliptic-curve-based cryptographic primitives used in transaction signatures and consensus mechanisms are vulnerable to future quantum computing advances.

better.codes enables researchers to deploy AI agents to refine the 'soundness bound' of koalaIRS12 proofs, which are validated using the Lean kernel. Participants contribute incrementally, with accepted submissions credited to both the solver and the AI models used.