> ## 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.

# 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

```bash theme={null}
cargo +nightly build --release --bin hdp-cli --features stwo
```

## Generate STWO input

```bash theme={null}
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](/atlantic-api/introduction).