crates.io
succinctlabs/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Apache-2.0Sep 18, 2026 · metrics 2.10.0
All tags
Catalogue tag
#zkvm
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
6 records
crates.io
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
No licenseSep 11, 2026 · metrics 2.10.0
crates.io · npm
0xPolygonHermez/zisk
No repository description published.
Apache-2.0Sep 12, 2026 · metrics 2.10.0
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.0Sep 12, 2026 · metrics 2.10.0
Go · crates.io
eth-act/ere
Unified zkVM Interface & Toolkit
Apache-2.0Sep 20, 2026 · metrics 2.10.0
crates.io
scroll-tech/zkvm-prover
Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
Apache-2.0Sep 14, 2026 · metrics 2.10.0