CLI Reference

hdp <command> [options]

​

Commands

• dry-run - run Stage 1 and generate dry_run_output.json
• fetch-proofs - run Stage 2 and generate proofs.json
• sound-run - run Stage 3 and print outputs
• program-hash - compute program hash for a compiled Cairo program
• env-info - print expected environment variables
• env-check - check required RPC env vars for a dry-run output
• link - symlink hdp_cairo into a local project
• update - update CLI installation
• pwd - print HDP repository path

​

Common flags

• --log-level <trace|debug|info|warn|error>
• --debug

​

dry-run

hdp dry-run --compiled_module <path> [--inputs <path>] [--injected_state <path>]

• --program <path> / -p
• --compiled_module <path> / -m
• --inputs <path> / -i
• --injected_state <path> / -s
• --output <path> / -o
• --print_output

​

fetch-proofs

hdp fetch-proofs [--inputs dry_run_output.json] [--output proofs.json]

• --inputs <path> / -i
• --output <path> / -o
• --mmr-hasher-config <path>
• --mmr-deployment-config <path>

​

sound-run

hdp sound-run --compiled_module <path> --proofs proofs.json

• --program <path> / -p
• --compiled_module <path> / -m
• --inputs <path> / -i
• --injected_state <path> / -s
• --print_output
• --proof_mode
• --cairo_pie <path>
• --stwo_prover_input <path>

​

env-check

hdp env-check --inputs dry_run_output.json

​

env-info

hdp env-info

​

program-hash

hdp program-hash [--program <path>]

​

link

hdp link

​

update

hdp update [--clean] [--local]

​

pwd

hdp pwd