Parcourir la source

removed redudant line

rachel-rose il y a 5 ans
Parent
commit
816e46ceff
1 fichiers modifiés avec 4 ajouts et 5 suppressions
  1. 4 5
      run_jubjub2.sh

+ 4 - 5
run_jubjub2.sh

@@ -1,8 +1,7 @@
 #!/bin/bash -x
 racket lisp/jj.rkt || exit $?
 python scripts/compile.py --supervisor jj.psm --output jubjub.zcd || exit $?
-cargo run --release --bin jubjub
-cargo run --bin zkvm -- init jubjub.zcd jubjub.zts
-cargo run --bin zkvm -- prove jubjub.zcd jubjub.zts proofs/jubjub.params jubjub.prf
-cargo run --bin zkvm -- verify jubjub.zcd jubjub.zts jubjub.prf
-cargo run --bin zkvm -- show jubjub.prf
+cargo run --release --bin zkvm -- init jubjub.zcd jubjub.zts
+cargo run --release --bin zkvm -- prove jubjub.zcd jubjub.zts proofs/jubjub.params jubjub.prf
+cargo run --release --bin zkvm -- verify jubjub.zcd jubjub.zts jubjub.prf
+cargo run --release --bin zkvm -- show jubjub.prf