[DOCUMENTATION] Examples

Mar 9, 2014 at 8:47 PM
is possible give me an example using the executable file?

I try :
.\pinocchio-v0.4.exe --qsp --pv
Warning: Could not open config file: config.txt. Continuing based on command line only.
Using the NEW crypto protocol!
Enable USE_OLD_PROTO to run QSP-based tests

Done!


Also if is possible to input circuit scheme and iff so how are the syntax files?
Editor
Apr 9, 2014 at 8:49 PM
./pinocchio-v0.4.exe --qap --dv --file ccompiler/input/build/your_circuit.arith --input your_input_file --mem 4

This command shows all time data such as key generation time and proof generation time etc.

./pinocchio-v0.4.exe --unit --dv --file ccompiler/input/build/your_circuit.arith --input your_input_file --output your_output_file

This command generates the output file.

You can choose from qap or qsp, dv or pv etc. as listed in the help manual.

In the input file, list all wireID wirevalue of inputs in order in hex value, and a const-1 input wire at the end.
e.g struct input{ a[2];} and let a[0]=10, a[1]=11, then the input file is

0 a
1 b
2 1