switch mint3 to jubjub temporarily

This commit is contained in:
narodnik
2020-10-11 00:03:32 +02:00
parent 7e9ed3210f
commit 102bbfac79

View File

@@ -1,6 +1,6 @@
#!/bin/bash -x
python scripts/preprocess.py proofs/mint2.psm > /tmp/mint2.psm || exit $?
#python scripts/preprocess.py proofs/jubjub.pism > /tmp/mint2.psm || exit $?
#python scripts/preprocess.py proofs/mint2.psm > /tmp/mint2.psm || exit $?
python scripts/preprocess.py proofs/jubjub.pism > /tmp/mint2.psm || exit $?
python scripts/vm.py --supervisor /tmp/mint2.psm --output mint.zcd || exit $?
cargo run --release --bin mint3