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

# Proof Generation

> Proof generation converts a `pie.zip` execution artifact into a STARK proof (`proof.json`) that can be verified later without rerunning the program. Atlantic supports the Stone prover by default and S-two when selected with `sharpProver`.

### How to use?

To generate a proof, submit a PIE file in the `pieFile` body parameter, or start
with [Trace Generation](/atlantic-api/steps/trace-generation) and select
`PROOF_GENERATION` (or a higher `result` target).

The generated proof can then be downloaded or verified on Ethereum or Starknet.

<Note>
  When submitting proof generation with L1 verification to SHARP, the proof file
  cannot be downloaded (it is verified, but not returned).
</Note>