Groth16

In this tutorial we will be writing circuits in Noir, outputing deterministic Groth16 artifacts, generating proofs with snarkjs, and verifying them inside a Stellar smart contract. The official Noir backend uses Ultrahonk proofs which are larger and more resource intensive to verify. I built this backend so that Noir could be used with Groth16 which…