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

What happened

The Ethereum Foundation Formal Verification team, together with Yukon and zkSecurity, launched the better.codes open autoresearch challenge, which uses a Lean‑formalized Proximity Prize problem and a public leaderboard for advancing hash‑based zero‑knowledge proof security benchmarks.

Confirmed

Global impact / market context

The challenge lets many researchers test and improve the security of hash‑based zero‑knowledge proofs, which are used to create cheap, private transaction proofs. Better security can lower costs and increase confidence for companies building scaling solutions on Ethereum.

Analyst inference

Zero‑knowledge proof technology is a key part of blockchain scaling and privacy, and many projects are investing in zk‑rollups and related tools. Formal verification efforts like better.codes align with this trend, potentially guiding capital toward secure proof infrastructure.

Analyst inference

What to watch

1. Track the number and quality of submissions to the better.codes leaderboard, as higher participation signals stronger community effort to formally verify hash‑based zero‑knowledge proof constructions. Analyst inference
2. Watch for any announced improvements to the soundness bounds or efficiency of the hash‑based zero‑knowledge proof system emerging from the challenge, which could enhance Ethereum’s scaling tools. Analyst inference
3. Monitor whether Ethereum core developers or other protocol teams adopt the benchmark results, as adoption may shape future upgrade priorities, funding allocations or ecosystem road‑maps. Analyst inference

Affected assets

• ETH — Ethereum

Evidence

• blog.ethereum.org