succinctlabs/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture. observed · 2026-08-28
Health v2 · maintenance only
93/100
- Activity 99
- Release rhythm 99
- Longevity 71
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: 14
- age_days: 1003
- days_rel: 7
- days_push: 7
- n_releases_24m: 40
Adoption not part of the score
1732 stars · 690 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
SP1 is a zero-knowledge virtual machine (zkVM) that proves the correct execution of arbitrary programs compiled to RISC-V, written in Rust or any LLVM-compiled language. It lets developers generate and verify ZK proofs using ordinary Rust code without custom circuits or cryptography expertise.
Use cases
- generate zero-knowledge proofs for Rust programs
- build a ZK light client for cross-chain interoperability
- build a type-1 zkEVM
- verify smart contract execution with ZK proofs
- outsource onchain computation to offchain provers
- add onchain privacy features like private transactions
- prove program execution without custom circuit design
When to choose
- you want to write ZK programs in standard Rust without custom DSLs or circuits
- you need production-grade, audited zkVM performance for blockchain infrastructure
- you need on-chain verifiable proofs (Groth16/PLONK wrapping for EVM)
- you want to prove programs in any LLVM-compiled language
When to avoid
- you need to run on Windows natively (only Linux and macOS supported)
- your proofs are trivial and ZK overhead is not justified
- you lack the significant CPU/memory resources required for local proving of non-trivial programs
Facets
framework · maturity active
cryptography compiler cli sdk blockchain security rust cli zkvm zero-knowledge risc-v stark snark verifiable-computation zkevm cryptography linux macos
10 sources
- readme: https://github.com/succinctlabs/sp1 · fetched 2026-08-28 · cff03166fa30
- homepage: https://docs.succinct.xyz/docs/sp1/introduction · fetched 2026-08-29 · 03592660d23c
- site_page: https://docs.succinct.xyz/ · fetched 2026-08-29 · 35cdd089b3f3
- site_page: https://docs.succinct.xyz/docs/protocol/introduction · fetched 2026-08-29 · 8c010a2b426e
- site_page: https://docs.succinct.xyz/docs/provers/introduction · fetched 2026-08-29 · 4670e20a1f00
- site_page: https://docs.succinct.xyz/docs/sp1/what-is-a-zkvm · fetched 2026-08-29 · 172b5cab89c7
- site_page: https://docs.succinct.xyz/docs/sp1/usecases · fetched 2026-08-29 · 6b5808899d28
- site_page: https://docs.succinct.xyz/docs/sp1/getting-started/install · fetched 2026-08-29 · 8e7234e159f3
- site_page: https://docs.succinct.xyz/docs/sp1/getting-started/quickstart · fetched 2026-08-29 · c4fe10cf33a4
- site_page: https://docs.succinct.xyz/docs/sp1/getting-started/hardware-requirements · fetched 2026-08-29 · 0a0ae673fde4
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| succinctlabs/sp1 | main | 93 |
For agents
markdown · JSON · MCP: product_card(name="succinctlabs/sp1")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem