A framework to execute and verify algorithms using Groth16 zkSNARKs.
Primary LanguageHaskellOtherNOASSERTION