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
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.
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 /l1/atlantic-query
instead)mockFactHash
(boolean, required) - If true
the fact hash will be mocked, bypassing actual verification for testing purposes.atlanticQueryId
to check status of that request.pieFile
or mockFactHash
.