Herodotus Cloud Services home page

Support
Console
Console

Data Processor Server

Data Structure Indexer

Data Processor (Legacy)

Atlantic (Legacy)

Atlantic Prover Suite

Introduction
Getting Started
Examples
Sending Query
Query Status
Downloading PIE & PROOF
Integrity Verifier
Dynamic Layout on L2
Contract Addresses
Pricing
Applicative Recursion

Atlantic Steps

Trace Generation
Proof Generation
L1 Proof Verification
L2 Proof Verification

Handy Links

Console
Swagger UI

Endpoints

POST
Submit query
GET
Get query
GET
Get query jobs
GET
List queries
GET
Is Alive
POST
Create bucket
GET
List buckets
GET
Get bucket
POST
Close bucket

404

Page Not Found

We couldn't find the page you were looking for. Maybe you were looking for?

L2 Proof Generation Verification Submit an Atlantic proof generation query Proof Generation

Assistant

Responses are generated using AI and may contain mistakes.