cleaned up executables

This commit is contained in:
rachel-rose
2021-06-29 13:15:55 +02:00
parent cf160aafb0
commit 0751d83997
6 changed files with 0 additions and 75 deletions

View File

@@ -1,6 +0,0 @@
#!/bin/bash -x
#python scripts/preprocess.py proofs/jubjub.psm > /tmp/jubjub.psm || exit $?
racket lisp/jj.rkt || exit $?
python scripts/compile.py --supervisor jj.psm --output jubjub.zcd || exit $?
cargo run --release --bin jubjub

View File

@@ -1,7 +0,0 @@
#!/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

View File

@@ -1,5 +0,0 @@
#!/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 mimc

View File

@@ -1,7 +0,0 @@
#!/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

View File

@@ -1,5 +0,0 @@
#!/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

View File

@@ -1,45 +0,0 @@
#!/bin/bash
# Run this script then
# python scripts/monitor-p2p.py
# to view the network topology
declare -a arr=(
# Seed node
"cargo run --bin dfi -- -r 8999 --accept 127.0.0.1:9999 --log /tmp/darkfi/seed.log"
# Server with no outgoing connections
"cargo run --bin dfi -- -r 9000 --accept 127.0.0.1:10001 --seeds 127.0.0.1:9999 --log /tmp/darkfi/server.log"
# Server/client with 2 outgoing connections
"cargo run --bin dfi -- -r 9005 --accept 127.0.0.1:10002 --seeds 127.0.0.1:9999 --log /tmp/darkfi/server1.log --slots 3"
# Server/client with 2 outgoing connections
"cargo run --bin dfi -- -r 9006 --accept 127.0.0.1:10003 --seeds 127.0.0.1:9999 --log /tmp/darkfi/server2.log --slots 3"
# Server/client with 2 outgoing connections
"cargo run --bin dfi -- -r 9007 --accept 127.0.0.1:10004 --seeds 127.0.0.1:9999 --log /tmp/darkfi/server3.log --slots 3"
# Server/client with 2 outgoing connections
"cargo run --bin dfi -- -r 9008 --accept 127.0.0.1:10005 --seeds 127.0.0.1:9999 --log /tmp/darkfi/server4.log --slots 3"
# Client with 1 outgoing connection
"cargo run --bin dfi -- -r 9002 --seeds 127.0.0.1:9999 --slots 4 --log /tmp/darkfi/client.log"
# Client with 1 outgoing connection
"cargo run --bin dfi -- -r 9003 --seeds 127.0.0.1:9999 --slots 4 --log /tmp/darkfi/client1.log"
# Client with 1 outgoing connection
"cargo run --bin dfi -- -r 9004 --seeds 127.0.0.1:9999 --slots 4 --log /tmp/darkfi/client2.log"
)
mkdir -p /tmp/darkfi/
for cmd in "${arr[@]}"; do {
echo "Process \"$cmd\" started";
RUST_BACKTRACE=1 $cmd & pid=$!
PID_LIST+=" $pid";
sleep 2;
} done
trap "kill $PID_LIST" SIGINT
echo "Parallel processes have started";
wait $PID_LIST
echo
echo "All processes have completed";