parazyd bcdca64897 zkrunner: Add example working witness.json file.		3 lat temu
..
README.md	7f53e92516 zkrunner: Perform a rewrite with the cleaned up python bindings.	3 lat temu
opcodes.zk	3f5148e149 zkrunner: Remove unused proofs and use symlink for opcodes proof.	3 lat temu
witness.json	bcdca64897 zkrunner: Add example working witness.json file.	3 lat temu
witness_gen.py	7f53e92516 zkrunner: Perform a rewrite with the cleaned up python bindings.	3 lat temu
zkrunner.py	7f53e92516 zkrunner: Perform a rewrite with the cleaned up python bindings.	3 lat temu

zkrunner

zkrunner is a simple Python script using the DarkFi SDK Python bindings providing a CLI for prototyping zkas proofs.

Usage

Refer to the README.md of the python bindings to see how to install and use them. They're necessary for zkrunner to work properly.

Help text:

$ zkrunner.py -h

Running a demo:

$ witness_gen.py > witness.json
$ zkrunner.py -w witness.json opcodes.zk

The program expects a path to a witness.json file containing the information about witnesses and public inputs for the proof, and a path to a zkas circuit source code (does not have to be compiled).

Once executed, zkrunner will attempt to create and verify the proof.

Creating witnesses

Refer to the witness_gen.py file.