Atlantic Prover Suite (Legacy)
Atlantic API
Proof Generation and Trace Generation
L1 Atlantic Query
L2 Atlantic Query
Fact Hash Calculation
Atlantic Query
Health check
Program Registry
L1 Atlantic Query
Submit an L1 Atlantic query
Submit an L1 Atlantic query
POST
/
v1
/
l1
/
atlantic-query
Copy
curl --request POST \
--url https://atlantic.api.herodotus.cloud/v1/l1/atlantic-query \
--header 'Content-Type: multipart/form-data' \
--form programHash= \
--form cairoVersion=0 \
--form mockFactHash=false
Copy
{
"atlanticQueryId": "<string>"
}
Query Parameters
Body
multipart/form-data
Response
201
application/json
Successful response
The response is of type object
.
Copy
curl --request POST \
--url https://atlantic.api.herodotus.cloud/v1/l1/atlantic-query \
--header 'Content-Type: multipart/form-data' \
--form programHash= \
--form cairoVersion=0 \
--form mockFactHash=false
Copy
{
"atlanticQueryId": "<string>"
}
Assistant
Responses are generated using AI and may contain mistakes.