Proving with STWO

Generate STWO prover input from HDP sound-run

HDP can emit STWO prover input during sound-run.

Build CLI with STWO feature

cargo +nightly build --release --bin hdp-cli --features stwo

Generate STWO input

hdp sound-run \
  -m <module.compiled_contract_class.json> \
  --proof_mode \
  --stwo_prover_input stwo_input.json

Notes

• --proof_mode is required.
• --stwo_prover_input requires a CLI binary built with --features stwo.
• You can also emit Cairo PIE with --cairo_pie <path> in proof mode.

For managed proving/verification workflows, see Atlantic.