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....
Se muestra el contenido original; la traduccion localizada aun no esta disponible.
Qué ocurrió
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....
Por que importa
The development may change operating conditions or market expectations around Ethereum. Further confirmation and measurable outcomes matter.
Entidades afectadas
Ver evidencia
1 articulos · 1 informe original · 1 independientes
- Ethereum FoundationFuente primaria · Respalda · EN · 100%Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration ↗
Afirmaciones
- Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration Observado
Conflictos
No se detectaron conflictos importantes en la evidencia disponible.
Cronología
- Primera publicación