Minimal examples to use libsnark.

Learning ZkSNARKs using libsnark

Sawtooth transaction families for an event accounting distributed ledger application

A bunch of "hello world" libsnark gadgets

proving statements on data in non-interactive zero knowledge

Zero-knowledge proofs on Ethereum (master thesis)

libsnark learn example

This example uses the libsnark library to define an R1CS (Rank-1 Constraint System) that represents a simple circuit, where the output is the product of two input values. It then generates a proof for this circuit using the ppzkSNARK proof system provided by libsnark, and verifies the proof using the same library.

A scenario-based ZKP verification system prototype which I made during my internship with CSIRO Data61 in late 2019.

Install ZoKrates on Mac with all proving schemes enabled