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.018. Sept. 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.
6 Einträge
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 Lizenz11. Sept. 2026 · Metriken 2.10.0
crates.io · npm
0xPolygonHermez/zisk
Keine Repository-Beschreibung veröffentlicht.
Apache-2.012. Sept. 2026 · Metriken 2.10.0
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.012. Sept. 2026 · Metriken 2.10.0
Go · crates.io
eth-act/ere
Unified zkVM Interface & Toolkit
Apache-2.020. Sept. 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.014. Sept. 2026 · Metriken 2.10.0