What is S-two?
S-two is StarkWare’s next-generation STARK prover, representing a major breakthrough in zero-knowledge cryptography. As the world’s fastest prover, S-two is now live on Starknet mainnet and powers Atlantic’s proof generation capabilities. S-two is fully open-source and built from the ground up to deliver unprecedented performance improvements over its predecessor, Stone, which secured StarkEx and Starknet for the past six years.Key Features
| Feature | Description |
|---|---|
| World’s Fastest Prover | S-two delivers an unprecedented leap in proving speed, generating proofs up to an order of magnitude faster than its predecessor, Stone, and outperforming every other prover in its class. |
| New Cryptographic Foundation | It is built on cutting-edge Circle STARKs technology and utilizes the M31 field (a small, highly efficient prime field optimized for performance). |
| Open-Source | S-two is a fully open-source prover, allowing the community to examine its codebase and contribute to its continuous development. |
| Implementation | It is implemented in Rust for optimal performance and supports both the Cairo programming language and direct AIR (Algebraic Intermediate Representation) definitions. |
S-two Integration with Atlantic
Atlantic leverages S-two’s exceptional performance to provide:Enhanced Proof Generation
When you submit queries to Atlantic, S-two’s optimized proving engine processes your Cairo programs and traces with:- Faster turnaround times from trace submission to verified proof
- Lower computational overhead reducing overall infrastructure costs
Getting Started with S-two on Atlantic
To use S-two on Atlantic, you need to just submit your query to Atlantic with new parametersharpProver set to stwo.
Submit Your First Query
Learn how to submit queries
Learn More
- S-two Technical Documentation - Official S-two GitHub repository
- Starknet S-two Announcement - Official launch announcement