Understand the project
Practical overview
When it fits
Use SP1 when a project needs verifiable execution for Rust or LLVM-compiled code and can work with a RISC-V-based zero-knowledge virtual machine.
Who it is for
- Rust developers building programs with verifiable execution
- Teams working on Ethereum or other blockchain-related infrastructure
- Developers exploring zkVM proof generation, verification and cryptographic precompiles
Documented uses
- Compile and execute programs for a RISC-V-based zkVM
- Generate proofs of program execution
- Verify execution proofs
- Explore ZK Tendermint light client and type-1 zkEVM examples
- Develop custom cryptographic precompiles for zkVM workloads
Before you choose
Requirements & limits
The repository is public, open source and licensed under Apache-2.0. The documented development platforms include Linux, macOS and Windows, with CLI and self-hosted use.
- Rust is the primary implementation language and the documented programming path uses Rust.
- Programs are compiled for a RISC-V target.
- The framework supports proof generation and verification rather than ordinary program execution alone.
- Examples include a ZK Tendermint light client and a type-1 zkEVM using Reth.
- The repository states that most Rust crates should be supported, but individual crate and workload compatibility should be checked.
Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.
Evidence and transparency
Sources & review
Source record details
- Source availability
- Active
- Sources checked
- 1 October 2026
- Original website title
- succinctlabs/sp1 · Official homepage title · retained in its source language