moved crypto run scripts to examples dir

examples/run_crypto/run_jubjub2.sh

@@ -0,0 +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 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

examples/run_crypto/run_mimc2.sh

@@ -0,0 +1,7 @@
+#!/bin/bash -x
+python3 scripts/preprocess.py proofs/mimc.psm > /tmp/mimc.psm || exit $?
+python3 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

examples/run_crypto/run_mint.sh

@@ -0,0 +1,5 @@
+#!/bin/bash -x
+python3 scripts/preprocess.py proofs/mint2.psm > /tmp/mint2.psm || exit $?
+python3 scripts/compile.py --supervisor /tmp/mint2.psm --output mint.zcd || exit $?
+cargo run --release --bin mint
+