L2 Proof Generation Verification

• /v1/l2/atlantic-query/proof-generation-verification

This endpoint combines /proof-generation and /l2/atlantic-query/proof-verification endpoints. It generates a proof and verifies it on L2 using Integrity verifier.

​

How to use?

Submit the pie.zip file along with the chosen layout and prover settings. 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. using cairo-run or with /trace-generation endpoint (but in that case you should probably send /l2/atlantic-query instead)
  • mockFactHash (boolean, required) - If true the fact hash will be mocked, bypassing actual verification for testing purposes.
  • prover (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 program. Available layouts are:
    • auto - automatically detect layout based on builtins usage
    • recursive
    • recursive_with_poseidon
    • small
    • dex
    • starknet
    • starknet_with_keccak
    • dynamic

​

Responses

• Success (201 created)

  {
      "atlanticQueryId": "string"
  }
  

• Error responses
  • 400 Bad Request - Indicates that parameters are invalid such as providing programFile with programHash at the same request
  • 500 Internal Server Error - This says error is on our side.

​

Example Request

curl -X 'POST' \
  'https://atlantic.api.herodotus.cloud/v1/l2/atlantic-query/proof-generation-verification?apiKey=<your-api-key>' \
  -H 'accept: application/json' \
  -H 'Content-Type: multipart/form-data' \
  -F 'pieFile=@pie.zip;type=application/zip' \
  -F 'mockFactHash=false' \
  -F 'prover=starkware_sharp' \
  -F 'layout=recursive_with_poseidon' \