How to use?
To generate proof you need to submit PIE file inpieFile body parameter or start with Trace Generation and select PROOF_GENERATION or higher for `results.
Generated proof can be then downloaded or verified on Ethereum or Starknet.
When submitting Proof Generation with verification on L1 (Ethereum) to Sharp Prover, proof file cannot be
downloaded. (It is only verified, not returned.)