test_cli.sh

#!/bin/bash

CLI=./target/release/zkwasm-cli

set -e
set -x

CUDA="--features cuda"
SCHEME="--scheme shplonk"

test_default_cli() {
    cargo build --release $CUDA
    rm -rf params/*.data params/*.config output
    $CLI --params ./params wasm_output setup --wasm ./crates/zkwasm/wasm/wasm_output.wasm $SCHEME
    $CLI --params ./params wasm_output dry-run --wasm crates/zkwasm/wasm/wasm_output.wasm --public 133:i64 --public 2:i64 --output ./output
    $CLI --params ./params wasm_output prove --wasm crates/zkwasm/wasm/wasm_output.wasm --public 133:i64 --public 2:i64 --output ./output
    $CLI --params ./params wasm_output verify --output ./output
}

test_uniform_circuit_cli() {
    cargo build --release --features uniform-circuit $CUDA
    rm -rf params/*.data params/*.config output
    $CLI --params ./params wasm_output setup $SCHEME
    $CLI --params ./params wasm_output dry-run --wasm crates/zkwasm/wasm/wasm_output.wasm --public 133:i64 --public 2:i64 --output ./output
    $CLI --params ./params wasm_output prove --wasm crates/zkwasm/wasm/wasm_output.wasm --public 133:i64 --public 2:i64 --output ./output
    $CLI --params ./params wasm_output verify --output ./output
}

test_continuation_cli() {
    cargo build --release --features continuation $CUDA
    rm -rf params/*.data params/*.config output
    $CLI --params ./params fibonacci setup $SCHEME
    $CLI --params ./params fibonacci dry-run --wasm crates/zkwasm/wasm/fibonacci.wasm --public 25:i64 --output ./output
    $CLI --params ./params fibonacci prove --wasm crates/zkwasm/wasm/fibonacci.wasm --public 25:i64 --output ./output
    $CLI --params ./params fibonacci verify --output ./output
}

test_phantom_cli() {
    cargo build --release $CUDA
    rm -rf params/*.data params/*.config output
    $CLI --params ./params wasm_output setup --wasm ./crates/playground/wasm/phantom.wasm --phantom search
    $CLI --params ./params wasm_output dry-run --wasm crates/playground/wasm/phantom.wasm --public 2:i64 --output ./output
    $CLI --params ./params wasm_output prove --wasm crates/playground/wasm/phantom.wasm --public 2:i64 --output ./output
    $CLI --params ./params wasm_output verify --output ./output
}

#x=50
#while [ $x -gt 0 ]; do
#    test_phantom_cli
    test_default_cli
    test_uniform_circuit_cli
    test_continuation_cli
#    x=$(($x-1))
#done