higher.codes, an open autoresearch problem constructed by the Ethereum Foundation Formal Verification staff in collaboration with Yukon and zkSecurity, is now reside. higher.codes takes a self-contained drawback from the Proximity Prize analysis, formalized in Lean, and places its soundness certain on a public leaderboard that anyone can push ahead….
Source hyperlink
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
Date: