privacy-scaling-explorations/snark-verifier not found