Instructions on how to test Generate a proof cargo run --example "prover" --release Verify a proof cargo run --example "verify" --release