Proving with STWO

Documentation Index

Fetch the complete documentation index at: https://docs.herodotus.cloud/llms.txt

Use this file to discover all available pages before exploring further.

​

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.