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