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 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#zkvm
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
6 записів
crates.io
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Без ліцензії11 вер. 2026 р. · метрики 2.10.0
crates.io · npm
0xPolygonHermez/zisk
Опис репозиторію не опубліковано.
Apache-2.012 вер. 2026 р. · метрики 2.10.0
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.012 вер. 2026 р. · метрики 2.10.0
Go · crates.io
eth-act/ere
Unified zkVM Interface & Toolkit
Apache-2.020 вер. 2026 р. · метрики 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 вер. 2026 р. · метрики 2.10.0