# succinctlabs/sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Repository: https://github.com/succinctlabs/sp1
Canonical: https://ross.abutalabs.com/products/sp1
Homepage: https://docs.succinct.xyz/docs/sp1/introduction
Language: Rust
License: Apache-2.0
License Family: permissive
Topics: blockchain, contributor-friendly, ethereum, modular, rust, zero-knowledge
Last push: 2026-08-26T13:52:33+00:00

## Health v2 (maintenance only)
Score: 93/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 99, release rhythm 99, longevity 71
- inputs: {"age_days": 1003, "days_push": 7, "days_rel": 7, "gap_med": 14, "n_releases_24m": 40}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1732, forks 690 (observed 2026-08-28T04:05:28.701180+00:00)

## What it is
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
- artifact type: framework
- maturity: active
- function: cryptography, compiler, cli, sdk
- domain: blockchain, security
- platform: rust, cli
- tags: zkvm, zero-knowledge, risc-v, stark, snark, verifiable-computation, zkevm, cryptography, linux, macos

## Member repositories
- succinctlabs/sp1 (main) score 93

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:05:28.701180+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T03:31:40.519979+00:00, confidence not recorded.
  - readme: https://github.com/succinctlabs/sp1 (fetched 2026-08-28T04:05:28.701180+00:00, sha cff03166fa30)
  - homepage: https://docs.succinct.xyz/docs/sp1/introduction (fetched 2026-08-29T11:08:28.487571+00:00, sha 03592660d23c)
  - site_page: https://docs.succinct.xyz/ (fetched 2026-08-29T11:08:28.489965+00:00, sha 35cdd089b3f3)
  - site_page: https://docs.succinct.xyz/docs/protocol/introduction (fetched 2026-08-29T11:08:28.491857+00:00, sha 8c010a2b426e)
  - site_page: https://docs.succinct.xyz/docs/provers/introduction (fetched 2026-08-29T11:08:28.494087+00:00, sha 4670e20a1f00)
  - site_page: https://docs.succinct.xyz/docs/sp1/what-is-a-zkvm (fetched 2026-08-29T11:08:28.495816+00:00, sha 172b5cab89c7)
  - site_page: https://docs.succinct.xyz/docs/sp1/usecases (fetched 2026-08-29T11:08:28.497282+00:00, sha 6b5808899d28)
  - site_page: https://docs.succinct.xyz/docs/sp1/getting-started/install (fetched 2026-08-29T11:08:28.499558+00:00, sha 8e7234e159f3)
  - site_page: https://docs.succinct.xyz/docs/sp1/getting-started/quickstart (fetched 2026-08-29T11:08:28.501934+00:00, sha c4fe10cf33a4)
  - site_page: https://docs.succinct.xyz/docs/sp1/getting-started/hardware-requirements (fetched 2026-08-29T11:08:28.504177+00:00, sha 0a0ae673fde4)
- Data as of 2026-08-30T08:39:29.467469+00:00.