Proving with STWO

​

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.