Ethereum Foundation Blog - 2026-08-20 ​
1 items collected.
1. Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration ​
Author: -
Published: 8/20/2026, 12:00:00 AM
Categories: Research & Development
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 ...