Atlantic Steps
Proof Generation
Proof generation is a process of converting pie.zip file into STARK proof (proof.json file), which can be later verified at a lower cost compared to running the program itself and without revealing private inputs. Proof can be generated with either Starkware’s Sharp Prover or Stone Prover hosted by Herodotus.
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.)