All tags
Catalogue tag

#zkp

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.

7 records
Tagged “zkp”Ranked by health index
crates.io
81Goodhealth index
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Rust★ 1,896↓ 2/moJul 14, 2026
Apache-2.0Jul 14, 2026 · metrics 1.13.0
77Goodhealth index
zcoinofficial/zcoin
The privacy-focused cryptocurrency
C++ · C · Python★ 791Jul 19, 2026
MITJul 19, 2026 · metrics 1.13.0
crates.io
75Goodhealth index
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Rust★ 1,162↓ 64.8K/moJul 17, 2026
Apache-2.0Jul 17, 2026 · metrics 1.13.0
crates.io
68Moderatehealth index
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust★ 116Jul 21, 2026
Apache-2.0Jul 21, 2026 · metrics 1.13.0
crates.io
68Moderatehealth index
zkMIPS/zkMIPS
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust★ 116Jul 15, 2026
Apache-2.0Jul 15, 2026 · metrics 1.13.0
crates.io
67Moderatehealth index
zcash/halo2
The Halo2 zero-knowledge proving system
Rust★ 912↓ 561.5K/moJul 21, 2026
Custom licenseJul 21, 2026 · metrics 1.13.0
npm
52Moderatehealth index
TypeScript · Solidity★ 35Jul 17, 2026
No licenseJul 17, 2026 · metrics 1.13.0