arnaucube
arnaucube/circom-compatPublic Self-hosted repository
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