/ test-vectors / prove.sh
prove.sh
 1  echo "compiling"
 2  circom -f complex-circuit.circom --r1cs --wasm
 3  
 4  echo "wtns"
 5  snarkjs wtns calculate complex-circuit.wasm input.json witness.wtns
 6  
 7  echo "zkey"
 8  snarkjs zkey new complex-circuit.r1cs powersOfTau28_hez_final_17.ptau complex.zkey
 9  
10  echo "proving 1"
11  time snarkjs groth16 prove complex.zkey witness.wtns proof.json public.json
12  
13  echo "proving 2"
14  time docker run rapidsnark complex.zkey witness.wtns proof.json public.json