Sindri Verifier Contracts

Ready to use verifier contracts for our supported DSLs and proving systems built for Sindri workflows.

• Circom - Groth 16 Verifier: A verifier contract for Groth16 proofs generated from a Circom circuit.

  We demonstrate how to produce a smart contract which will verify your Sindri proofs on the EVM. The code in this repo assumes you are uploading a Circom circuit and generating Groth16 proofs, but other than those two assumptions, is fully generalized. In particular, if you'd like to swap out the circuit for any other circuits in our database (or one of your own).

• More to come...