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.

23 lines
584 B

  1. # run from within test-vectors dir
  2. DIR="test-vectors"
  3. if [ ! -d "$DIR" ]; then
  4. echo "Directory $DIR does not exist. Please ensure you are running this script from the correct location."
  5. exit 1
  6. fi
  7. cd "$DIR"
  8. echo "compiling"
  9. circom mycircuit.circom --r1cs --wasm
  10. FILE="powersOfTau28_hez_final_17.ptau"
  11. if [ ! -f "$FILE" ]; then
  12. echo "getting powers of tau"
  13. curl -O https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_17.ptau
  14. else
  15. echo "$FILE already exists"
  16. fi
  17. echo "zkey"
  18. snarkjs zkey new mycircuit.r1cs powersOfTau28_hez_final_17.ptau test.zkey