Endpoints
Submit query
Submit a Atlantic query. You can choose to just generate a proof or generate and verify a proof. You can also choose to use a program file + input file (we will compute trace generation for you) or a pie file.
POST
Please use this endpoint through our Swagger UI!
Sending it from these docs will not work because of a Mintlify (our documentation platform) issue with uploading files.
Query Parameters
Body
multipart/form-data
Smaller jobs are cheaper, however your job might fail if you choose a job size that is too small.
Available options:
S
, M
, L
The external id of the query, you can use it to track the query
Available options:
auto
, plain
, recursive
, recursive_with_poseidon
, recursive_large_output
, all_solidity
, all_cairo
, dynamic
, small
, dex
, starknet
, starknet_with_keccak
Available options:
rust
, python
Available options:
cairo0
, cairo1
Describe what you want to achieve
Available options:
TRACE_GENERATION
, PROOF_GENERATION
, PROOF_VERIFICATION_ON_L1
, PROOF_VERIFICATION_ON_L2
Used for proof verification, if true, a fact hash will be mocked
Available options:
false
, true
Response
201
application/json
Default Response