Herodotus Cloud Services home page
Search...
⌘K
Support
Console
Console
Search...
Navigation
Atlantic Prover Suite
Pricing
Documentation
Atlantic
Data Processor
Data Processor Server
Storage Proofs
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
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
On this page
Trace generation
Proof generation
Proof verification
Atlantic Prover Suite
Pricing
Pricing for different services.
Trace generation
Trace generation costs
1 credit (0.01$)
per started minute of execution time.
Proof generation
Proof generation costs depends on the number of steps in the program.
Number of steps [millions]
Size
Cost
0 - 13
S
70 (0.7$)
13 - 30
M
120 (1.2$)
>30
L
220 (2.2$)
⚠️ Job sizes are only estimates, the true job sizes are determined by SHARP.
Proof verification
For Mainnet, the proof verification costs
25 credits (0.25$)
per proof.
For Testnet, the proof verification is free.
Contract Addresses
Trace Generation
Assistant
Responses are generated using AI and may contain mistakes.