/ 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