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....
Contenu original affiche; la traduction localisee n'est pas encore disponible.
Ce qui s'est passé
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....
Pourquoi c'est important
The development may change operating conditions or market expectations around Ethereum. Further confirmation and measurable outcomes matter.
Entités concernées
Voir les preuves
1 articles · 1 publication d'origine · 1 independantes
- Ethereum FoundationSource primaire · Confirme · EN · 100%Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration ↗
Affirmations
- Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration Observé
Divergences
Aucune divergence importante détectée dans les preuves disponibles.
Chronologie
- Premier signalement