Examples To generate a proof cargo run --example "prover" To verify a proof cargo run --example "verify"