Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
https://blog.ethereum.org/en/2026/08/20/better-codes-challenge

better.codes, an open autoresearch challenge built by the Ethereum Foundation Formal Verification team in collaboration with Yukon and zkSecurity, is now live. better.codes 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....