Skip to main content
CLI usage: 
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>]
Key options:
  • --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]
Key options:
  • --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
Key options:
  • --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>]

hdp link

​
update

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

​
pwd

hdp pwd