Procházet zdrojové kódy

bash script for mimc on zkvm

rachel-rose před 5 roky
rodič
revize
f51ddea3fd
1 změnil soubory, kde provedl 2 přidání a 2 odebrání
  1. 2 2
      run_mimc2.sh

+ 2 - 2
run_mimc2.sh

@@ -3,5 +3,5 @@ python scripts/preprocess.py proofs/mimc.psm > /tmp/mimc.psm || exit $?
 python scripts/compile.py --supervisor /tmp/mimc.psm --output mimc.zcd || exit $?
 cargo run --release --bin zkvm -- init mimc.zcd mimc.zts
 cargo run --release --bin zkvm -- prove mimc.zcd mimc.zts proofs/mimc.params mimc.prf
-#cargo run --release --bin zkvm -- verify mimc.zcd mimc.zts mimc.prf
-#cargo run --release --bin zkvm -- show mimc.prf
+cargo run --release --bin zkvm -- verify mimc.zcd mimc.zts mimc.prf
+cargo run --release --bin zkvm -- show mimc.prf