A framework to execute and verify algorithms using Groth16 zkSNARKs. - View it on GitHub