00:00
2026-08-20
blog.ethereum.org
ai-research
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
The Ethereum Foundation Formal Verification team, in collaboration with Yukon and zkSecurity, launched better.codes, an open autoresearch challenge that uses AI agents to raise the machine-checked sou…