All tags
Catalogue tag

#zero-knowledge

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.

15 records
Tagged “zero-knowledge”Ranked by health index
crates.io · npm
82Goodhealth index
0xMiden/miden-vm
STARK-based virtual machine
Rust★ 757↓ 156.6K/moJul 13, 2026
Apache-2.0Jul 13, 2026 · metrics 1.13.0
crates.io · npm
81Goodhealth index
lambdaclass/ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Rust★ 888Jul 18, 2026
Apache-2.0Jul 18, 2026 · metrics 1.13.0
crates.io · npm
80Goodhealth index
0xPolygonMiden/miden-vm
STARK-based virtual machine
Rust★ 757Jul 17, 2026
Apache-2.0Jul 17, 2026 · metrics 1.13.0
npm · Go · crates.io
78Goodhealth index
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Rust★ 73.9K↓ 351/moJul 15, 2026
Apache-2.0Jul 15, 2026 · metrics 1.13.0
crates.io
77Goodhealth index
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
Rust★ 4,526↓ 1,515/moJul 20, 2026
Apache-2.0Jul 20, 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 · npm
76Goodhealth index
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ · Rust · Cuda★ 2,166↓ 108.4K/moJul 17, 2026
Apache-2.0Jul 17, 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
67Moderatehealth index
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Rust · Cairo★ 281Jul 19, 2026
No licenseJul 19, 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
66Moderatehealth index
zk-kit/zk-kit
A monorepo of reusable libraries for zero-knowledge technologies.
TypeScript★ 374Jul 20, 2026
MITJul 20, 2026 · metrics 1.13.0
Go · npm
61Moderatehealth index
vineethkrishnan/vaultctl
Zero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.
TypeScript · Go★ 1Jul 22, 2026
AGPL-3.0Jul 22, 2026 · metrics 1.13.0
Go
58Moderatehealth index
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Go★ 7Jul 19, 2026
Apache-2.0Jul 19, 2026 · metrics 1.13.0
npm
56Moderatehealth index
vLannaAi/noy-db
Zero-knowledge, offline-first, encrypted document store with pluggable backends and multi-user access control
TypeScript★ 2Jul 15, 2026
MITJul 15, 2026 · metrics 1.13.0
crates.io
47At riskhealth index
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Rust★ 451↓ 3/moJul 21, 2026
Apache-2.0Jul 21, 2026 · metrics 1.13.0