Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration

The blog post discusses the launch of better.codes, an autoresearch challenge by the Ethereum Foundation Formal Verification team, aimed at improving hash-based SNARKs through collaboration. It focuses on making formal verification accessible by creating public benchmarks and allowing anyone to participate in advancing soundness bounds in the field.