run

#!/bin/bash
# run - Main entry point for ZKVM testing

set -e

CMD=${1:-help}
shift || true

case "$CMD" in
    build)
        echo "Building ZKVMs: ${@:-all}"
        ./src/build.sh "$@"
        ;;

    test)
        DISPLAY_TARGETS="${@:-all}"
        echo "Testing ZKVMs: ${DISPLAY_TARGETS}"
        ./src/test.sh "$@"
        ;;

    all)
        DISPLAY_TARGETS="${@:-all}"
        echo "Building and testing: ${DISPLAY_TARGETS}"
        ./src/build.sh "$@"
        ./src/test.sh "$@"
        ;;

    serve)
        echo "Server at http://0.0.0.0:9586/"
        echo "   Press Ctrl+C to stop"
        cd docs && python3 -c "
import http.server
class H(http.server.SimpleHTTPRequestHandler):
    def end_headers(self):
        self.send_header('Cache-Control', 'no-cache, no-store, must-revalidate')
        super().end_headers()
http.server.HTTPServer(('0.0.0.0', 9586), H).serve_forever()
"
        ;;

    clean)
        TARGETS="${@:-all}"
        if [ "$TARGETS" = "all" ]; then
            echo "Cleaning all artifacts"
            ZKVMS=""
            for dir in test-results/*/; do
                [ -d "$dir" ] && ZKVMS="$ZKVMS $(basename "$dir")"
            done
        else
            echo "Cleaning artifacts for: $TARGETS"
            ZKVMS="$TARGETS"
        fi
        for zkvm in $ZKVMS; do
            if [ -d "test-results/$zkvm/elfs" ]; then
                docker run --rm -v "$PWD/test-results/$zkvm/elfs:/elfs" ubuntu:24.04 rm -rf /elfs/native /elfs/target 2> /dev/null || true
            fi
            rm -rf "test-results/$zkvm"
            rm -f "binaries/${zkvm}-binary"
            if [ "$zkvm" = "zisk" ]; then
                rm -f binaries/cargo-zisk binaries/cargo-zisk-cuda binaries/libzisk_witness.so
                rm -rf binaries/zisk-lib
            fi
        done
        if [ "$TARGETS" = "all" ]; then
            rm -f act4-runner/target/release/act4-runner
        fi
        ;;

    *)
        cat << EOF
Usage: ./run COMMAND [OPTIONS]

Commands:
  build [zkvm ...]          Build ZKVM binaries
  test [zkvm ...]           Run ACT4 compliance tests
  all [zkvm ...]            Build + test
  serve                     Start local web server at 0.0.0.0:9586
  clean [zkvm ...]          Remove build artifacts (all or specific ZKVMs)

Environment Variables:
  JOBS=N                    Limit to N CPU cores
  ACT4_JOBS=N               Override parallel test jobs inside container
  FORCE=1                   Force regeneration of ELFs / rebuild of binaries
  ZISK_MODE=execute|prove|full   Zisk test mode (default: full)
  GPU=1                    Build/use GPU variants for Zisk proving

Examples:
  ./run build sp1
  ./run test sp1 jolt
  ./run test                          # test all ZKVMs
  ./run all
  JOBS=8 ./run test zisk
  ZISK_MODE=execute ./run test zisk   # zisk emulation only (no proving)
  GPU=1 ./run build zisk         # build with GPU support
  GPU=1 ./run test zisk          # use GPU for proving
  FORCE=1 ./run test zisk             # regenerate ELFs from scratch
EOF
        ;;
esac