Skip to main content

How to use?

To generate a proof, submit a PIE file in the pieFile 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).