Zokrates

Zokrates is a toolbox for zkSNARKs on Ethereum.

This is a proof-of-concept implementation. It has not been tested for production.

Using ZoKrates

ZoKrates provides a command line interface. To see an overview of the available subcommands, run

./zokrates

Example

To execute the program, perform the setup for the program, generate a proof

def add(a, b, c):
  return a + b + c

with add(1, 2, 3), call

./zokrates compile -i 'add.code'
./zokrates compute-witness -a 1 2 3
./zokrates setup
./zokrates generate-proof
./zokrates export-verifier

Building

Currently needs to be build with nightly Rust.

Docker (Recommended)

Example usage:

./deployment/bin/compose up
./deployment/bin/compose zokrates all

Without libsnark

Build with the feature nolibsnark

cargo build --features nolibsnark

Environment Variables

Set the libsnark library path in LD_LIBRARY_PATH

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib

Testing

Run normal tests with

cargo test

and run long and expensive tests with

cargo test -- --ignored