Prerequisites
HDP requires:- Rust
- Scarb (Cairo toolchain)
uv(Python package manager)- Access to chain RPC endpoints
uv:
- Docker
- Nightly Rust (if you plan to generate STWO prover input locally)
Install HDP CLI
Install latest:Build from source (optional)
Configure environment
Check required variables:hdp-cairo checkout, copy:
First usage flow (CLI)
After you compile your module (for example withscarb build), run:
- Dry run:
- Fetch proofs:
- Sound run:
First full run example (starkgate)
- Stage 1:
dry_run_output.json - Stage 2:
proofs.json - Stage 3 output includes
task_hash,output_root, andmmr_metas
Full command example (eth_call)
From the official example:
- Module: examples/eth_call/src/lib.cairo
- Run script: examples/eth_call/run.sh

