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.015. Aug. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#zkvm
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
5 Einträge
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.021. Juli 2026 · Metriken 2.10.0
crates.io
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Keine Lizenz19. Juli 2026 · Metriken 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.027. Juli 2026 · Metriken 2.10.0
crates.io
zkMIPS/zkMIPS
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.015. Juli 2026 · Metriken 2.10.0