2024-11-08 11:23:55 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# Source the parameters from params.sh
|
2024-11-14 09:31:32 +00:00
|
|
|
source ./circ_params.sh
|
2024-11-08 11:23:55 +00:00
|
|
|
|
|
|
|
|
# Build
|
|
|
|
|
cargo build --release
|
|
|
|
|
|
|
|
|
|
# Run the Rust executable
|
2024-11-14 09:31:32 +00:00
|
|
|
cargo run --bin prove
|
