A framework to execute and verify algorithms using Groth16 zkSNARKs.
-
Updated
Aug 13, 2020 - Haskell
A framework to execute and verify algorithms using Groth16 zkSNARKs.
Bringing zk-snarks to Cardano
Logarithmic-sized zero knowledge proofs without a trusted setup
Covenant - modern programming language for blockchains - it's a functional, statically-typed language with formal verification features
Add a description, image, and links to the zero-knowledge-proofs topic page so that developers can more easily learn about it.
To associate your repository with the zero-knowledge-proofs topic, visit your repo's landing page and select "manage topics."