snarky_verifier index