Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
higher.codes, an open autoresearch problem constructed by the Ethereum Basis Formal Verification crew in collaboration with Yukon and zkSecurity, is ...
