A verifier for RISC Zero SNARK proofs written in Go.
This project is licensed under the Apache 2.0 License - see the LICENSE file for details.