Usecases
Zero-knowledge proofs (ZKPs) are a powerful primitive that enable verifiable computation. With ZKPs, anyone can verify a cryptographic proof that a program has executed correctly, without needing to trust the prover, re-execute the program or even know the inputs to the program.
Historically, building ZKP systems has been extremely complicated, requiring large teams with specialized cryptography expertise and taking years to go to production. SP1 is a performant, general-purpose zkVM that solves this problem and creates a future where all blockchain infrastructure, including rollups, bridges, coprocessors, and more, utilize ZKPs via maintainable software written in Rust.
Below are some of the most common use cases for SP1, along with real-world applications.
Categories
| Category | Description |
|---|---|
| Coprocessors | Outsource onchain computation to offchain provers for use cases like large-scale computation over historical state and onchain machine learning, reducing gas costs. |
| Light Clients | Build light clients that verify the state of other chains, enabling trustless interoperability across blockchains. |
| Oracles | Perform large-scale computations on onchain data, including consensus and storage state. |
| Privacy | Enable onchain privacy features such as private transactions and private state. |
Examples
| Project | Description |
|---|---|
| OP Succinct | Succinct's production-grade proving engine for the OP Stack. |
| SP1 Tendermint | ZK Tendermint light client on Ethereum powered by SP1. |
| RSP | A performant, type-1 zkEVM built with Rust and SP1 using Reth. |
| SP1 Contract Call | Lightweight library for generating ZKPs of Ethereum smart contract execution. |
| SP1 Blobstream | Verifies Celestia data roots on Ethereum and other EVM chains. |
| SP1 Vector | Relays Avail Merkle root to Ethereum and functions as a token bridge. |