SP1 is live

SP1 is now feature-complete and recommended for production use. 

SP1 is now feature-complete and recommended for production use. Our zkVM enables any developer to create real-world ZKP applications by simply writing Rust, with state of the art performance. SP1 already secures over $1 billion in TVL, with over 10,000 proofs proven on our new GPU prover that offers market-leading speed and cost by up to 10x. SP1 will enable ZKPs to become mainstream, ushering in a new era of verifiability for all of blockchain infrastructure and beyond.

We’re proud to be working with incredible partners, including Polygon, Celestia, Avail, Hyperlane, Taiko, Sovereign, Nebra, LayerN, Noble, Interchain Foundation, Witness, Nubit, Alpen and many others. These teams are using SP1 for a diversity of use-cases such as rollups, interoperability, bridging, coprocessors, proof aggregation, verifiable attestations and more.

If you’re interested in using SP1 for any of your protocol’s ZKP needs, feel free to get started with the docs and also fill out this form to schedule a call with me or my cofounder John.   

THE BEST TEAMS USE SP1 FOR PRODUCTION ZK

ZK proofs are a critical technology that make blockchain protocols more scalable, secure and private. But historically, building ZKP systems required large teams with specialized cryptography expertise and took months, if not years, to go to production. SP1 solves this.

SP1 made it possible for our early partners to use ZKPs in their protocol with minimal development time while getting fast and cheap proofs. Our users wrote their ZKP programs in days or weeks with normal Rust, and leveraged the Succinct prover network’s private beta to generate proofs without having to set up any infrastructure. We’re thrilled to highlight the diversity of use-cases from our exceptional set of partners.

• Rollups: Use SP1 to generate a ZKP for the state transition function of your rollup and connect to Ethereum, Bitcoin or other chains with full validity proofs or ZK fraud proofs  (Taiko, Kroma, Sovereign, LayerN).
• Interoperability: Use SP1 for fast-finality, cross rollup interoperability (Polygon AggLayer). 
• Bridges: Use SP1 to generate a ZKP for verifying consensus of L1s, including Tendermint, Ethereum’s Light Client protocol and more, for bridging between chains  (Celestia, Avail, Noble, Nubit, Hyperlane, Gnosis).
• ZK Coprocessor and Oracles: Use SP1 for large scale computations with onchain state, including consensus data and storage data.
• Aggregation: Use SP1 to aggregate and verify other ZKPs for reduced onchain verification costs (Nebra).

If you want to become an SP1 user fill out this form to schedule a time to chat. Join us in making  zero-knowledge proofs MAINSTREAM. 

SP1 IS THE FASTEST zkVM WITH 10X+ BETTER PERFORMANCE AND COST

ZKP prover performance is on an exponential trajectory for decreasing cost and latency. Since SP1’s initial launch in February, we have improved SP1’s performance by an order of magnitude (with better arithmetization, a GPU prover implementation and hardcore performance engineering), with another 5x in improvements projected for the end of the year. SP1 will keep on improving the state of the art for ZKPs, with a goal of achieving dirt cheap, real-time proving.

We benchmark SP1’s performance against alternative zkVMs and find that SP1’s performance offers an order of magnitude improvement both in cost and latency for real world use-cases like a Tendermint light client and Ethereum block verification. Whereas previous benchmarks only included SP1’s CPU implementation, we also include SP1’s GPU implementation in these results and show SP1 is the market leading zkVM in both performance and cost by up to 10x. Check out more detailed benchmarks and the methodology here.

SP1 IS FEATURE COMPLETE AND MAKES ZK EASY

With this release, SP1 is the only zkVM to support a long-list of features including precompiles, efficient recursion and onchain EVM verification that make ZK accessible to any developer, with the performance needed for real-world use-cases.

Write Rust and use existing crates (“std” supported). SP1 lets developers write their programs with normal Rust code. You can use existing crates and libraries (including audited node implementations like Revm and Reth) for reduced development time and greater maintainability.  

Unparalleled performance with precompiles and GPU prover. SP1 is the only production-ready zkVM with “precompiles” for common cryptographic operations like hash functions (keccak, sha256), signature verification (secp256k1 and ed25519) and elliptic curve operations (bn254, bls12-381) that decrease cycle count dramatically and improve proving time by an order of magnitude. SP1’s GPU prover has state of the art performance, both on latency and cloud costs. On real-world workloads like verifying Ethereum blocks, SP1 is the fastest and cheapest zkVM by up to 10x.

Onchain EVM verification. SP1 uses performant STARK recursion and a STARK -> SNARK wrapping for cheap onchain verification on Ethereum or any other EVM chain. Verifying an SP1 proof takes 275k gas and we have deployed production-ready verifiers on Ethereum mainnet, Base, Arbitrum, Scroll, and many other EVM chains.

Open-source. SP1’s constraints are 100% open-source, without obfuscation, which is critical for auditability and security in a production setting. The open-source nature of SP1 also allows external teams to customize and add precompiles to accelerate any bottleneck for particular workloads.

Audited by the best. SP1 has undergone multiple audits from leading ZK security firms and is the only zkVM with a public audit competition (which resulted in zero critical or high findings).

Trusted by the top teams for production-use cases. SP1 is rapidly being adopted by top teams across the blockchain ecosystem today, including Polygon, Celestia, Avail and others. These teams chose SP1 for its easy developer experience, fast time to production, and blazing fast performance. We’re also known for our excellent customer support–request to join our Telegram group today and fill out the early user form!

USE SP1 TODAY

Get started with SP1 docs today: https://docs.succinct.xyz/. We have several open-source examples of a Tendermint Light Client, Ethereum Block Verification using Reth with SP1, and an example starter template. If you’re interested in building rollups, bridges, coprocessors and more with SP1, fill out our partner form for additional support and join our Telegram group.