EF launches better.codes challenge for hash-based SNARKs

The Ethereum Foundation Formal Verification team, in collaboration with Yukon and zkSecurity, launched better.codes, an open autoresearch challenge targeting hash-based SNARKs. It takes a self-contained problem from the Proximity Prize research, formalized in Lean, and puts its soundness bound on a public leaderboard that anyone can push forward. The goal is to raise machine-checked security benchmarks through agentic collaboration.