Introduction
Atlantic is a managed ZK Prover service that allows developers to easily integrate with StarkWare’s SHARP
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
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.