Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
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....
What happened
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....
Why it matters
The development may change operating conditions or market expectations around Ethereum. Further confirmation and measurable outcomes matter.
Affected entities
View evidence
1 reports · 1 original report · 1 independent
- Ethereum FoundationPrimary source · Supports · EN · 100%Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration ↗
Claims
- Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration Observed
Conflicts
No material conflict detected in the available evidence.
Timeline
- First reported