-
Notifications
You must be signed in to change notification settings - Fork 0
NIZK or zkSNARK mode
Bryan Parno edited this page Oct 31, 2022
·
1 revision
It's possible (in recent versions of Pinocchio) to indicate that some of the prover's inputs should be "hidden" from the verifier.
-
Your program needs to take a third NIZK struct (in addition to the usual input/output structs). The compiler will turn those into prover-only values. This results in an arithmetic circuit file where some of the input wires are labeled "nizkinput" rather than just "input".
-
You need to use the -nizk flag on the qapv2.exe commandline.
There is an example called "nizk-test.c" demonstrating how to do this in code.