add verify script.

workflow/scripts/verify.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Source the parameters from params.sh
+source ./circ_params.sh
+
+# Change to the parent directory of the script
+cd "$(dirname "$0")/.." || { echo "Failed to change directory"; exit 1; }
+
+# Build
+cargo build --release || { echo "prove.sh: cargo build failed"; exit 101; }
+
+# Run the Rust executable
+cargo run --bin verify --features "parallel" || { echo "prove.sh: cargo run failed"; exit 102; }