zero 898ed02880 zkrunner: if (value := foo) can wrongly be false if value is 0, so be explicit with "is not None"		2 жил өмнө
..
README.md	2483d088d6 zkrunner: Support reading witness data from stdin	3 жил өмнө
opcodes.zk	3f5148e149 zkrunner: Remove unused proofs and use symlink for opcodes proof.	3 жил өмнө
witness.json	bcdca64897 zkrunner: Add example working witness.json file.	3 жил өмнө
witness_gen.py	0e6f51e895 chore: Update copyright year in license headers	2 жил өмнө
zkrender.py	48d23df367 create zkrender tool to plot circuit layouts	2 жил өмнө
zkrunner.py	898ed02880 zkrunner: if (value := foo) can wrongly be false if value is 0, so be explicit with "is not None"	2 жил өмнө

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 | ./zkrunner.py -w - 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). The witnesses can also be passed via stdin.

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

Creating witnesses

Refer to the witness_gen.py file.