Atlantic API
L1 Proof Generation Verification
This endpoint allows for proof generation and verification for Layer 1 (L1) in a single request. It takes a pie.zip
file, generates a proof and verifies it in a smart contract on the Ethereum blockchain. This allows for secure on-chain verification of zero-knowledge proofs at L1 suitable for high security use cases but with potentially higher gas costs.
/v1/l1/atlantic-query/proof-generation-verification
How to use?
Submit the pie.zip
file. The endpoint also offers an option to mock the fact hash, which bypasses actual verification on chain. It is useful for testing purposes.
Sending Request
- Query Parameters
apiKey
(string, required)
- Request Body
pieFile
(file -.zip
required) -pie.zip
generated e.g. usingcairo-run
or with/trace-generation
endpoint (but in that case you should probably send/l1/atlantic-query
instead)mockFactHash
(boolean, required) - Iftrue
the fact hash will be mocked, bypassing actual verification for testing purposes.
Responses
-
Success (201 created)
- Content-Type:application/json
- Response Body
- You can use this
atlanticQueryId
to check status of that request.
-
Error responses
- 400 Bad Request - Indicates that parameters are invalid such as providing invalid
pieFile
ormockFactHash
. - 500 Internal Server Error - This says error is on our side.
- 400 Bad Request - Indicates that parameters are invalid such as providing invalid