You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
42 lines
1.3 KiB
42 lines
1.3 KiB
#!/bin/sh
|
|
|
|
compile_and_ts_and_witness() {
|
|
echo $(date +"%T") "circom circuit.circom --r1cs --wasm --sym"
|
|
itime="$(date -u +%s)"
|
|
../node_modules/.bin/circom circuit.circom --r1cs --wasm --sym
|
|
ftime="$(date -u +%s)"
|
|
echo " ($(($(date -u +%s)-$itime))s)"
|
|
|
|
echo $(date +"%T") "snarkjs info -r circuit.r1cs"
|
|
../node_modules/.bin/snarkjs info -r circuit.r1cs
|
|
|
|
echo $(date +"%T") "snarkjs setup"
|
|
itime="$(date -u +%s)"
|
|
../node_modules/.bin/snarkjs setup
|
|
echo " ($(($(date -u +%s)-$itime))s)"
|
|
echo $(date +"%T") "trusted setup generated"
|
|
|
|
sed -i 's/null/["0","0","0"]/g' proving_key.json
|
|
|
|
echo "calculating witness"
|
|
../node_modules/.bin/snarkjs calculatewitness --wasm circuit.wasm --input inputs.json --witness witness.json
|
|
|
|
echo $(date +"%T") "snarkjs generateverifier"
|
|
itime="$(date -u +%s)"
|
|
../node_modules/.bin/snarkjs generateverifier
|
|
echo " ($(($(date -u +%s)-$itime))s)"
|
|
echo $(date +"%T") "generateverifier generated"
|
|
}
|
|
|
|
echo "compile & trustesetup for circuit1k"
|
|
cd circuit1k
|
|
compile_and_ts_and_witness
|
|
echo "compile & trustesetup for circuit5k"
|
|
cd ../circuit5k
|
|
compile_and_ts_and_witness
|
|
# echo "compile & trustesetup for circuit10k"
|
|
# cd ../circuit10k
|
|
# compile_and_ts_and_witness
|
|
# echo "compile & trustesetup for circuit20k"
|
|
# cd ../circuit20k
|
|
# compile_and_ts_and_witness
|