npm · crates.io
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
Apache-2.0Sep 15, 2026 · metrics 2.10.0
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.
47 records
crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.0Sep 9, 2026 · metrics 2.10.0
crates.io · npm
lambdaclass/ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Apache-2.0Sep 11, 2026 · metrics 2.10.0
crates.io
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
Apache-2.0Sep 29, 2026 · metrics 2.10.0
crates.io · npm
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
Apache-2.0Sep 16, 2026 · metrics 2.10.0
crates.io
dusk-network/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
MPL-2.0Oct 10, 2026 · metrics 2.10.0
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.0Sep 18, 2026 · metrics 2.10.0
crates.io
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Apache-2.0Sep 20, 2026 · metrics 2.10.0
crates.io · npm · PyPI
nymtech/nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
Custom licenseSep 7, 2026 · metrics 2.10.0
crates.io
dusk-network/Poseidon252
Reference implementation for the Poseidon Snark-friendly Hash algorithm.
MPL-2.0Oct 10, 2026 · metrics 2.10.0
npm · crates.io
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
GPL-3.0Sep 27, 2026 · metrics 2.10.0
—
firoorg/firo
The privacy-focused cryptocurrency
MITSep 11, 2026 · metrics 2.10.0
crates.io · npm
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Apache-2.0Sep 10, 2026 · metrics 2.10.0
npm
o1-labs/o1js
TypeScript framework for zk-SNARKs and zkApps
Apache-2.0Sep 14, 2026 · metrics 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.
No licenseSep 11, 2026 · metrics 2.10.0
crates.io · npm
0xPolygonHermez/zisk
No repository description published.
Apache-2.0Sep 12, 2026 · metrics 2.10.0
—
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Apache-2.0Oct 19, 2026 · metrics 2.10.0
crates.io
dusk-network/jubjub-schnorr
Rust implementation of the Schnorr signature scheme for the JubJub elliptic curve group, using the Poseidon hash function.
MPL-2.0Oct 12, 2026 · metrics 2.10.0
crates.io
TaceoLabs/circom-helpers
No repository description published.
Apache-2.0Sep 17, 2026 · metrics 2.10.0
npm · crates.io · Go +4
open-banking-io/clients
Zero-knowledge open banking — server-to-server SDKs (.NET, Node, Python, Rust, Go, Java, Ruby, PHP) and the openbanking CLI for open-banking.io
MITSep 13, 2026 · metrics 2.10.0
crates.io
0xPolygonHermez/pil2-proofman
Prover Manager
Apache-2.0Sep 11, 2026 · metrics 2.10.0
npm · Go · crates.io
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Apache-2.0Sep 16, 2026 · metrics 2.10.0
crates.io
Neptune-Crypto/twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
GPL-2.0Oct 3, 2026 · metrics 2.10.0
npm · PyPI
bolyra/bolyra
Mutual ZKP authentication for humans and AI agents
Apache-2.0Sep 26, 2026 · metrics 2.10.0
crates.io
zcash/halo2
The Halo2 zero-knowledge proving system
Custom licenseSep 12, 2026 · metrics 2.10.0
crates.io
dusk-network/safe
Sponge API for Field Elements
MPL-2.0Oct 10, 2026 · metrics 2.10.0
Go
ovumcy/ovumcy-sync-community
Self-hosted zero-knowledge sync backend for Ovumcy. Stores auth metadata, device metadata, and encrypted sync blobs, not plaintext health data.
Custom licenseSep 18, 2026 · metrics 2.10.0
Go
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Apache-2.0Sep 11, 2026 · metrics 2.10.0
npm
zk-kit/zk-kit
A monorepo of reusable libraries for zero-knowledge technologies.
MITSep 12, 2026 · metrics 2.10.0
crates.io
zakura-core/common
Zakura Common Libraries
Apache-2.0Oct 21, 2026 · metrics 2.10.0