Prove the
world’s software.

Generate proofs at light speed with SP1 and our decentralized prover network.

1-click Proofs

Built with Succinct.

zkEVMs

Generate proofs of Ethereum block execution using Reth and Revm run in SP1, and create a zkEVM with just Rust code.

Rollups

Generate validity proofs of your rollup's state transition function and use ZKPs to bridge to Ethereum or other settlement layers.

Coprocessors

Perform large-scale computations on historical state, consensus layer data, and more onchain.

Identity

Use client-side proving to create attestations with private inputs to build applications with private voting or anonymity.

Machine Learning

Empower your onchain application with autonomous agents, generative art, and customized user experiences.

Interoperability

Use any cryptographic operation not natively supported in the EVM, such as elliptic curve arithmetic, pairings, and signatures.