go-circom-prover-verifier/compile-circuits.sh
compile-circuits.shRaw
1#!/bin/sh
2
3echo "testdata/small/circuit.circom"
4cd testdata/small
5echo "compiling circuit"
6circom circuit.circom -r1cs --wasm --sym
7echo "generating setup"
8snarkjs setup
9sed -i 's/null/["0","0","0"]/g' proving_key.json
10echo "calculating witness"
11snarkjs calculatewitness --wasm circuit.wasm --input input.json --witness witness.json
12
13echo "\ntestdata/big/circuit.circom"
14cd ../big
15echo "compiling circuit"
16circom circuit.circom -r1cs --wasm --sym
17echo "generating setup"
18snarkjs setup
19sed -i 's/null/["0","0","0"]/g' proving_key.json
20echo "calculating witness"
21snarkjs calculatewitness --wasm circuit.wasm --input input.json --witness witness.json