Developers

Making zero-knowledge proofs accessible to any developer

The foundational technology that powers our products and use cases.

The world's fastest, production-ready zkVM for developers.

The world's most efficient, robust proving cluster.

Ready-to-go offerings for your use case, built on SP1 and the Succinct Prover Network.

Enjoy 1-hour finality, stage-1 compliance, and cost-effective validity proving for your OP Stack rollup.

Experience 12-hour finality, stage-1 compliance, and faster and more capital-efficient dispute resolution.

Resources that will help you generate your first zero-knowledge proof with SP1 and the Succinct Prover Network.

SP1 currently runs on Linux and macOS. Use our installation guide to get setup on your computer.

Use our out-of-the-box template for getting started with your first SP1 project.

Learn how to create a simple Fibonacci program using the SP1 zkVM.

Examples of zero-knowlege proofs in production use cases, powered by SP1.

Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge in SP1.

A minimal implementation of generating zero-knowledge proofs of EVM block execution using Reth.

Generate zero-knowledge proofs of Ethereum consensus and state.

Implementation of zero-knowledge proof circuits for Blobstream, a Celestia's data attestation bridge in SP1.