/v1/trace-generation-proof-generation
/trace-generation
and /proof-generation
endpoints. It runs trace generation and passes its output (pie.zip
file) to proof generation to get proof.json
file.
/trace-generation
endpoint documentation:
programFile
: For new or modified programs, upload the compiled programFile
.programHash
: If the Cairo program is already registered, provide its unique programHash
.layout
and prover
for proof generation which is described in more details in /proof-generation
endpoint section as well as cairoVersion
parameter. You can also specify inputFile
parameter which is private input data for the Cairo program.
apiKey
(string, required)programFile
)
programFile
(file - .json
, required) - A compiled Cairo program in JSON format.programHash
)
programHash
(string, required) - A unique hash representing Cairo program, which has been previously registered in program registry.inputFile
(file - .json
, optional) - Input data for Cairo program if used.cairoVersion
(string, required, default: 0
) - For now only version 0
is supportedprover
(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
programFile
programHash