# Herodotus Cloud

> Herodotus Cloud is the developer console and API gateway for Herodotus' managed ZK infrastructure services.
> Website: https://www.herodotus.cloud
> Full product documentation: https://docs.herodotus.cloud
> Documentation LLMs index: https://docs.herodotus.cloud/llms.txt
> Support: hello@herodotus.dev

## What is Herodotus Cloud?

Herodotus Cloud provides a suite of production-ready APIs that enable developers to leverage managed zero-knowledge (ZK) infrastructure, verifiable data, and co-processing capabilities across blockchain networks. The platform is built on Cairo (StarkWare's ZK-native language) and STARK proof technology.

**Core mission:** Allow developers to build trustless, verifiable blockchain applications without managing ZK prover infrastructure themselves.

**Primary use cases:**
- Reading and verifying historical or cross-chain blockchain state on-chain
- Generating and verifying STARK proofs for Cairo programs
- Running verifiable computations over arbitrary on-chain data
- Bridging verified data between blockchains without trusting intermediaries

---

## Products

### Atlantic API — Managed STARK Prover
- **Console:** https://www.herodotus.cloud/en/atlantic
- **Docs:** https://docs.herodotus.cloud/atlantic-api/introduction
- **OpenAPI spec:** https://docs.herodotus.cloud/atlantic-api/openapi-atlantic.json
- **Examples:** https://github.com/herodotusdev/atlantic-examples

Atlantic is the gateway to StarkWare's SHARP (Shared Prover) and Stone Prover. It handles the full proof lifecycle:
1. Submit a Cairo program (PIE or compiled bytecode)
2. Atlantic runs trace generation → proof generation → optional on-chain verification
3. Poll status or receive webhook notifications
4. Download PIE and proof files, or read verified facts on-chain

**Key capabilities:**
- Cairo 0 and Cairo 1 support
- Rust VM (fast, Cairo 1 preferred) and Python VM (Cairo 0 with custom hints)
- L1 verification via Ethereum FactRegistry (SHARP & Stone)
- L2 verification via Integrity verifier on Starknet
- Applicative recursion: aggregate multiple proofs into one on-chain verification
- Dynamic layout support for Stwo prover

---

### Storage Proof API — Verifiable On-chain Data
- **Console:** https://www.herodotus.cloud/en/storage-proofs
- **Docs:** https://docs.herodotus.cloud/storage-proofs-api/introduction
- **OpenAPI spec:** https://docs.herodotus.cloud/storage-proofs-api/openapi-storage-proof-api.json
- **On-chain data access guide:** https://docs.herodotus.cloud/storage-proofs-api/contracts/accessing-data

Cryptographic proofs of arbitrary on-chain data. Submit a request specifying a chain, block range, and the data you want (account fields, storage slots, block headers, transaction receipts). The API generates inclusion proofs and delivers verified values to your smart contracts via the Satellite on-chain verifier.

**Provable data types:**
- Account properties (balance, nonce, code hash, storage root)
- Storage slot values (any EVM slot at any historical block)
- Block header properties (timestamp, hash, difficulty, gas, etc.)
- Transaction and receipt data

**On-chain consumption:** Verified values are written to Satellite contracts (ISatellite interface). Your Solidity or Cairo contract reads them trustlessly after the proof is delivered.

---

### Herodotus Data Processor (HDP) — Verifiable Compute
- **Console:** https://www.herodotus.cloud/en/hdp
- **Docs:** https://docs.herodotus.cloud/data-processor/introduction
- **API docs:** https://docs.herodotus.cloud/data-processor-api/introduction
- **OpenAPI spec:** https://docs.herodotus.cloud/data-processor-api/openapi/openapi-hdp-server.json
- **GitHub (Cairo modules):** https://github.com/HerodotusDev/hdp-cairo

HDP is a STARK-provable modular framework for executing user-defined Cairo 1 logic over multi-chain historical data. Write Cairo modules that consume verified blockchain state, run them via the HDP pipeline, and commit results on-chain.

**Pipeline stages:**
1. **Dry run** — Execute module locally without proof generation; verify output shape
2. **Fetch proofs** — Gather Merkle inclusion proofs for all accessed data
3. **Sound run** — Execute with proofs; generate Cairo0 verifiable output
4. **Atlantic proving** — Submit to Atlantic for STARK proof generation
5. **On-chain commitment** — Commit task_hash + output_root to Satellite

**Key capabilities:**
- Access block headers, accounts, storage slots across Ethereum, Starknet, and more
- Provable EVM contract calls (execute_eth_call inside Cairo modules)
- Modular composition: mix pre-built and custom Cairo functions
- Native cross-chain support via unified API
- Batch multiple tasks into one proof cycle

---

### Data Structure Indexer API — Accumulator & Remapper Discovery
- **Docs:** https://docs.herodotus.cloud/data-structure-indexer-api/introduction
- **OpenAPI spec:** https://docs.herodotus.cloud/data-structure-indexer-api/openapi-data-structure-indexer-api.json

Query the Merkle Mountain Ranges (MMRs) and remapper data structures that power the Storage Proof and HDP APIs. Use this to discover which accumulators cover which block ranges and plan proof-backed workflows.

---

## Console (Web App)

The Herodotus Cloud console at https://www.herodotus.cloud is a Next.js 15 web application (React 19, Tailwind CSS) that provides:

- **Projects** — Organize API keys, members, credits, and usage by project
- **Atlantic Console** — Submit Cairo proving jobs, monitor query status, view proof artifacts
- **Storage Proofs Console** — Submit and track storage proof requests
- **API Keys** — Generate development and production API keys per project
- **Buckets** — Manage applicative recursion buckets for Atlantic
- **Developer Tools:**
  - Storage Slot Explorer — Visualize EVM smart contract storage layouts; compute slots for any variable type
  - Fact Hash Calculator — Compute SHARP (L1) and Integrity (L2) fact hashes for Cairo programs
  - Merkle Mountain Range Visualizer — Interactive MMR explorer with append/proof visualization

**Authentication:** GitHub OAuth or Web3 wallet (Sign-in with Ethereum via wagmi/AppKit)

**Public pages (indexed):**
- https://www.herodotus.cloud/en/main — Product overview
- https://www.herodotus.cloud/en/atlantic — Atlantic overview
- https://www.herodotus.cloud/en/storage-proofs — Storage Proofs overview
- https://www.herodotus.cloud/en/hdp — HDP overview
- https://www.herodotus.cloud/en/tools — Developer tools hub
- https://www.herodotus.cloud/en/tools/storage-slot-explorer/address — Storage Slot Explorer (by address)
- https://www.herodotus.cloud/en/tools/storage-slot-explorer/code — Storage Slot Explorer (by Solidity code)
- https://www.herodotus.cloud/en/tools/fact-hash-calculator/l1-sharp — Fact Hash Calculator (L1 SHARP)
- https://www.herodotus.cloud/en/tools/fact-hash-calculator/l2-integrity — Fact Hash Calculator (L2 Integrity)
- https://www.herodotus.cloud/en/tools/merkle-mountain-range/visualizer — MMR Visualizer

---

## AI Skills — Implementation Playbooks for LLMs

Herodotus provides vendor-neutral AI skill playbooks that give LLMs accurate, source-grounded implementation guidance for every product. These dramatically reduce hallucination risk when building with Herodotus APIs.

**Skills index:** https://docs.herodotus.cloud/skills/index
**GitHub repo:** https://github.com/HerodotusDev/ai-skills

| Skill | URL | Use when |
|-------|-----|----------|
| Herodotus Full Stack | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/herodotus/SKILL.md | Start here — product selection, cross-product patterns |
| Atlantic API | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/atlantic-api/SKILL.md | Cairo proving jobs, lifecycle, artifacts |
| Data Processor | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-processor/SKILL.md | HDP modules, soundness, dry-run/fetch-proofs/sound-run |
| Data Processor API | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-processor-api/SKILL.md | Task/module orchestration via HTTP |
| Storage Proof API | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/storage-proof-api/SKILL.md | Proof requests, Satellite readback |
| Satellite Contracts | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/satellite-contracts/SKILL.md | ISatellite integration, safe reads |
| Data Structure Indexer | https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/plugins/herodotus-skills/skills/data-structure-indexer-api/SKILL.md | Accumulator/remapper discovery |

**Install for your coding tool:**
```bash
# Interactive installer (auto-detects Cursor, Claude Code, Codex, etc.)
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh | bash

# Cursor only
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh | bash -s -- --cursor

# Claude Code only
curl -fsSL https://raw.githubusercontent.com/HerodotusDev/ai-skills/main/install.sh | bash -s -- --claude
```

---

## Authentication & API Keys

All APIs require an API key associated with a Herodotus Cloud project.

1. Sign up at https://www.herodotus.cloud/en/login (GitHub or Web3 wallet)
2. Create a project
3. Generate an API key (development or production) under the project's API Keys section
4. Pass the key as a query parameter or `x-api-key` header depending on the API

**Testnet:** Free, unlimited. No credit card required.
**Mainnet:** Credits system. Apply for free credits at https://www.herodotus.cloud.

---

## Pricing

- Testnet usage is free and unlimited across all products
- Mainnet usage is credit-based (pay-as-you-go)
- Apply for free mainnet credits via the console
- Enterprise pricing available; contact hello@herodotus.dev

---

## Key External Links

- **Documentation:** https://docs.herodotus.cloud
- **Console / Sign up:** https://www.herodotus.cloud
- **Status:** https://status.herodotus.dev
- **GitHub:** https://github.com/HerodotusDev
- **Company website:** https://herodotus.dev
- **In-depth technical docs:** https://docs.herodotus.dev
- **Twitter / X:** https://twitter.com/herodotusdev
- **LinkedIn:** https://linkedin.com/company/herodotus
- **Contact / Support:** https://herodotus.dev/contact-us | hello@herodotus.dev
- **Blog:** https://herodotusdev.medium.com

---

## Satellite Contracts — On-Chain Verification Layer

Satellite is the on-chain component that stores verified data from Storage Proofs and HDP. Smart contracts integrate with the `ISatellite` interface to read trustlessly verified historical blockchain values.

- **Docs:** https://docs.herodotus.cloud/satellite-contracts/introduction
- **Deployments:** https://docs.herodotus.cloud/satellite-contracts/deployments-and-integration
- **Contract addresses (Storage Proofs):** https://docs.herodotus.cloud/storage-proofs-api/contracts/contract-addresses
- **Contract addresses (Atlantic):** https://docs.herodotus.cloud/atlantic-api/contract-addresses