Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaborationAugust 20, 2026