How to use?
To generate a proof, submit a PIE file in thepieFile body parameter, or start
with Trace Generation and select
PROOF_GENERATION (or a higher result target).
The generated proof can then be downloaded or verified on Ethereum or Starknet.
When submitting proof generation with L1 verification to SHARP, the proof file
cannot be downloaded (it is verified, but not returned).

