Zokrates is a toolbox for zkSNARKs on Ethereum.
This is a proof-of-concept implementation. It has not been tested for production.
ZoKrates provides a command line interface. To see an overview of the available subcommands, run
./zokrates
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_path'
./zokrates compute-witness -a 1 2 3
./zokrates setup
./zokrates generate-proof
./zokrates export-verifier
Currently needs to be build with nightly Rust.
Example usage:
docker build -t zokrates .
docker run -ti zokrates /bin/bash
cd zokrates
./target/debug/zokrates compile -i examples/add.code
Build with the feature nolibsnark
cargo build --features nolibsnark
Set the libsnark library path in LD_LIBRARY_PATH
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
Run normal tests with
cargo test
and run long and expensive tests with
cargo test -- --ignored