The Ethereum Foundation has launched better.codes, a collaborative AI-driven research platform designed to raise the security benchmarks of hash-based SNARKs. This initiative, part of Ethereum’s broader post-quantum cryptography roadmap, focuses on improving machine-verified security for koalaIRS12—a Reed–Solomon proximity problem critical to modern cryptographic proof systems.
