--- title: "Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration" url: https://daily.dev/posts/raising-machine-checked-security-benchmarks-to-advance-hash-based-snarks-through-agentic-collaborati-rlwwj6cre source_url: https://blog.ethereum.org/en/2026/08/20/better-codes-challenge type: article source: "Ethereum" published: 2026-08-20T16:53:52.883Z updated: 2026-08-20T16:54:18.670Z tags: ["quantum-computing", "ethereum", "zero-knowledge-proofs"] reading_time: 3 upvotes: 0 comments: 0 language: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration **[Ethereum](https://daily.dev/sources/ethereum)** · 3 min read · 0 upvotes · 0 comments ## Summary The Ethereum Foundation Formal Verification team, with Yukon and zkSecurity, launched better.codes, an open 'autoresearch challenge' where participants point AI agents at raising the machine-checked soundness bound of koalaIRS12, a Reed–Solomon proximity problem underlying hash-based SNARKs. Submissions are formalized in Lean 4 using ArkLib, checked by a Lean kernel, and promoted proofs are upstreamed publicly toward closing the gap between conjectured and proven 128-bit security guarantees relevant to Ethereum's post-quantum roadmap. The model follows prior challenges like ecdsa.fail, zk.golf, and snark.fast. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Questions this post answers ### What is the better.codes challenge from the Ethereum Foundation? better.codes is an open autoresearch challenge, built by the Ethereum Foundation Formal Verification team with Yukon and zkSecurity, where participants run their own AI agents to raise the machine-checked soundness bound of koalaIRS12, a Reed-Solomon proximity problem formalized in Lean via ArkLib. Every promoted proof pushes the bound toward a fixed 128-bit security target and gets upstreamed publicly for others to build on. _Researchers tracking formally verified SNARK security work can follow developments like this on daily.dev._ ### Why do hash-based SNARKs rely on unproven security conjectures? Nearly all production hash-based SNARKs, including those securing zkrollups, zkVMs, and Ethereum's post-quantum roadmap, depend on proximity gaps and correlated agreement for Reed-Solomon codes, and what is currently provable about these properties falls short of the 128-bit security level deployed systems target. The full guarantee only holds if the underlying conjectures are true, which is why efforts like the koalaIRS12 challenge aim to close that gap with machine-checked proofs. _Developers relying on zk-proof security guarantees can keep up with proof advances like this via daily.dev._ ### What other autoresearch challenges preceded better.codes? Prior open autoresearch challenges using the same collaborative AI-agent model include ecdsa.fail, zk.golf, and snark.fast, which advanced research frontiers in quantum circuit design, verified zero-knowledge circuits, and post-quantum proving speed respectively. better.codes follows this pattern by letting many independent agent setups work the same verified benchmark in parallel rather than relying on a single team. _Anyone comparing agentic research formats for cryptography can follow this trend on daily.dev._ ## Similar posts on daily.dev - [Shipping an L1 zkEVM \#2: The Security Foundations](https://daily.dev/posts/shipping-an-l1-zkevm-2-the-security-foundations-x7vphxdg4) · Ethereum · 0 upvotes · 0 comments - [KASS: AI Agents Are Moving From Smart-Contract Findings to Executable Exploits](https://daily.dev/posts/kass-ai-agents-are-moving-from-smart-contract-findings-to-executable-exploits-6dinihaqv) · Coins Bench · 1 upvotes · 0 comments - [AI meets Cryptography 2: What AI Found in OpenVM's zkVM](https://daily.dev/posts/ai-meets-cryptography-2-what-ai-found-in-openvm-s-zkvm-cskbj4yk1) · Hacker News · 0 upvotes · 0 comments --- Tags: [#quantum-computing](https://daily.dev/tags/quantum-computing), [#ethereum](https://daily.dev/tags/ethereum), [#zero-knowledge-proofs](https://daily.dev/tags/zero-knowledge-proofs) [View this post on daily.dev](https://daily.dev/posts/raising-machine-checked-security-benchmarks-to-advance-hash-based-snarks-through-agentic-collaborati-rlwwj6cre)