Back to zkVMs
SP1

SP1

v4.0Production

by Succinct

Succinct's RISC-V zkVM. Fastest GPU prover with precompile system for crypto acceleration.

Architecture

ISA
RISC-V
Languages
Rust, C, C++
Scheme
STARK
Detail
Plonky3 STARK + FRI
Recursion
Yes

Performance

Peak Proving Speed
2.0 GHz
Cost / Bn cycles
$0.028
GPU Acceleration
CUDA

Security

Audited
Yes
Audited By
Multiple
Maturity
Production

Available Providers

4
SPN

Succinct Network

1st-partyMainnet

Decentralized prover marketplace for SP1. Reverse auction assigns requests to the lowest-bidding prover. Supports reserved capacity with SLAs.

auctionPROVE

PROVE base fee + per-cycle auction price (reverse auction)

Visit website
ZKC

zkCloud

3rd-partyMainnet

Universal proving cloud (formerly Gevulot). Container-based provers. Supports SP1, R0VM, Nexus, ZisK + zkEVM chains (Aztec, ZKsync, Scroll, Polygon).

credit$PROOF

Credit-based system. $PROOF token for network payments.

Visit website
FRM

Fermah

3rd-partyTestnet

Universal proof marketplace. Matchmaker routes workloads from Seekers to GPU/FPGA Operators. Supports zkVM, zkEVM, Groth16+.

auction

Two-sided marketplace — Matchmaker aligns Seeker demand with Operator supply. Competitive pricing.

Visit website
SND

Sindri

3rd-partyMainnet

API-first proving SaaS. Widest zkVM support: SP1, RISC Zero, Jolt, Noir, Halo2, Circom, Gnark, OpenVM, zkWasm. 10M+ proofs generated.

saas

API-based SaaS pricing. Pay per proof via subscription tiers.

Visit website