title 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:

Trace Generation

Generate traces for Cairo programs

Proof Generation

Create STARK proofs from program traces

L1 Verification

Generate and verify proofs on Ethereum (Layer 1)

L2 Verification

Verify proofs on StarkNet (Layer 2) using Integrity

​
Get Started with Atlantic

Getting Started

Ready to dive in? Head to the next page to learn how to sign up, manage your API keys, and submit queries.
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.