gmh5225 / zkllvm-knazarov-playground

Konstantin Nazarov's zkllvm playground

A zkllvm playground compiled with Nix

I've written this Nix flake to be able to play with zkllvm without installing lots of dependencies. It can also be used to test whether or not latest versions of all repositories build together.

Getting started

To get a shell with the zkllvm and a prover, just do this:

nix develop

And wait for about 30 minutes. It will drop you to a shell where the "clang" binary would point to the one from zkllvm toolchain.

Compiling circuits

This is how you can compile a simple circuit for a strlen function

cd example

clang -target assigner -I$ZKLLVM/include/zkllvm/c++ -I$ZKLLVM/include/zkllvm -D__ZKLLVM__ -emit-llvm -S -o circuit.ll integer_arithmetics.cpp

llvm-link -S -o final_circuit.ll circuit.ll $ZKLLVM/lib/zkllvm/zkllvm-libc.ll

assigner -b final_circuit.ll -i integer_arithmetics.inp -t assignment.tbl -c circuit.crct -e pallas

Then generate a file that is suitable for the prover:

prepare_statement.py --circuit final_circuit.ll --name strlen --type placeholder-zkllvm --private --output integer_arithmetics.json

Then generate a proof:

proof-generator --circuit_input integer_arithmetics.json --public_input integer_arithmetics.inp --proof_out proof.txt -c config.ini