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.

21 lines
648 B

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