cargo --version # >= 1.56.0
cargo test
cargo run setup tests/proving_key tests/verifying_key
cargo run prove tests/proving_key tests/input.json tests/proof tests/public_wires.txt
cargo run verify tests/verifying_key tests/proof tests/public_wires.txt