> ## Documentation Index
> Fetch the complete documentation index at: https://docs.herodotus.cloud/llms.txt
> Use this file to discover all available pages before exploring further.

# Atlantic API

> Atlantic is a managed STARK prover service — submit Cairo programs, generate proofs, and verify on Ethereum or StarkNet via StarkWare’s SHARP.

<img src="https://mintcdn.com/herodotuscloudservices/S302XnSN--WAs0sk/images/banners/atlantic.png?fit=max&auto=format&n=S302XnSN--WAs0sk&q=85&s=ccacdc8649e781984768c384bd2a728e" alt="Atlantic Banner" width="1200" height="289" data-path="images/banners/atlantic.png" />

<Note>
  Have a look at the [Atlantic API AI Skill](/skills/atlantic-api) to give your
  LLM a head start on building with Atlantic.
</Note>

**Atlantic** is a **managed prover service** that allows developers to easily integrate with **StarkWare’s SHARP (Shared Prover)**. By handling proof generation and verification for Cairo (0 and 1) programs, Atlantic removes the need to run your own proving infrastructure. You can upload your program or trace, request a proof, and verify it on-chain or off-chain — all from a unified API and a simple console.

## Why Choose Atlantic?

**End-to-End Proving**\
From trace generation to on-chain verification, Atlantic covers your entire STARK proof pipeline.

**SHARP Integration**\
Leverage StarkWare’s production-proven SHARP system without hosting or specialized configuration.

**StarkNet Support**\
Easily verify proofs on Layer 2 through the Integrity Verifier, ideal for more advanced use cases like Layer 3 solutions.

**Multi-Chain Compatibility**\
Currently supports Ethereum (SHARP Solidity Verifier), StarkNet (Integrity Verifier), and off-chain targets, with more on the way.

**Flexible Billing & Support**\
Features a pay-as-you-go pricing model, production credits for mainnet usage, and engineering assistance if needed.

## Key Features

Atlantic can perform four main **steps** for you. Use these building blocks to generate and verify your proofs end to end:

<CardGroup cols={2}>
  <Card title="Trace Generation" icon="file-code" href="/atlantic-api/steps/trace-generation">
    Generate traces for Cairo programs
  </Card>

  <Card title="Proof Generation" icon="shield-check" href="/atlantic-api/steps/proof-generation">
    Create STARK proofs from program traces
  </Card>

  <Card title="L1 Verification" icon="ethernet" href="/atlantic-api/steps/l1-proof-verification">
    Generate and verify proofs on Ethereum (Layer 1)
  </Card>

  <Card title="L2 Verification" icon="layer-group" href="/atlantic-api/steps/l2-proof-verification">
    Verify proofs on StarkNet (Layer 2) using Integrity
  </Card>
</CardGroup>

## Get Started with Atlantic

<CardGroup cols={1}>
  <Card title="Getting Started" icon="rocket" href="/atlantic-api/getting-started" horizontal>
    Ready to dive in? Head to the next page to learn how to sign up, manage your
    API keys, and submit queries.
  </Card>
</CardGroup>

> **Disclaimer**: Atlantic is provided by Herodotus to facilitate access to StarkWare’s SHARP. Herodotus does not operate or host SHARP directly. Uptime and performance of Atlantic may vary and do not reflect SHARP’s established reliability.