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. Proof can be generated with either Starkware’s Sharp Prover or Stone Prover hosted by Herodotus.
/v1/proof-generation
pie.zip
file as input, along with parameters to define the layout and the prover to be used.
apiKey
(string, required)pieFile
(file - .zip
, required) - pie.zip
generated e.g. using cairo-run
or with /trace-generation
endpoint (but in that case you should probably send /trace-generation-proof-generation
query instead)prover
(string, required, default: starkware_sharp
) - Prover to be used. If you want to use our stone instance - contact us.layout
(string, required, default: auto
) - Cairo layout of your pie file. Available layouts are:
auto
- automatically detect layout based on builtins usagerecursive
recursive_with_poseidon
small
dex
starknet
starknet_with_keccak
dynamic
atlanticQueryId
to check status of that request.layout
at all.