forked from DelphinusLab/zkWasm
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest_cli.sh
executable file
·16 lines (11 loc) · 1.04 KB
/
test_cli.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/bash
set -e
set -x
# rm -rf output
# Single test
RUST_LOG=info cargo run --release -- --function bsearch --output ./output --wasm wasm/bsearch_64.wasm setup
RUST_LOG=info cargo run --release -- --function bsearch --output ./output --wasm wasm/bsearch_64.wasm single-prove --public 3:i64
RUST_LOG=info cargo run --release -- --function bsearch --output ./output --wasm wasm/bsearch_64.wasm single-verify --public 3:i64 --proof output/zkwasm.0.transcript.data
RUST_LOG=info cargo run --release -- --function bsearch --output ./output --wasm wasm/bsearch_64.wasm aggregate-prove --public 3:i64
RUST_LOG=info cargo run --release -- --function bsearch --output ./output --wasm wasm/bsearch_64.wasm aggregate-verify --proof output/aggregate-circuit.0.transcript.data --instances output/aggregate-circuit.0.instance.data
RUST_LOG=info cargo run --release -- --function bsearch --output ./output --wasm wasm/bsearch_64.wasm solidity-aggregate-verifier --proof output/aggregate-circuit.0.transcript.data --instances output/aggregate-circuit.0.instance.data