crates.io
TritonVM/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Apache-2.0Sep 13, 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
Go · npm
shingrus/1time.io
Zero-knowledge one-time secret sharing. End-to-end encrypted, self-hosted, open source.
MITSep 13, 2026 · metrics 2.10.0
Go · npm
vineethkrishnan/vaultctl
Zero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.
AGPL-3.0Sep 12, 2026 · metrics 2.10.0
crates.io
Lightprotocol/light-poseidon
Poseidon hash implementation in Rust
Apache-2.0Oct 10, 2026 · metrics 2.10.0
crates.io
Cybersecurity-LINKS/zkryptium
Rust crypto library for zero-knowledge proofs
Apache-2.0Oct 2, 2026 · metrics 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MITSep 13, 2026 · metrics 2.10.0
crates.io
mimblewimble/rust-secp256k1-zkp
ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc
CC0-1.0Oct 10, 2026 · metrics 2.10.0
npm · Go · crates.io
anna-stolbovskaja/CasperProver
Verifiable proof layer for AI agent computations on Casper Network
Custom licenseSep 19, 2026 · metrics 2.10.0
Go
ciphera-net/tessera-go
Go server SDK for Tessera — OPAQUE asymmetric PAKE authentication
Apache-2.0Sep 12, 2026 · metrics 2.10.0
crates.io
Teycir/ZkPatternMatcher
Pattern-based vulnerability detection for Zero-Knowledge proof circuits. Scan ZK code against YAML patterns to find security issues.
MITAug 24, 2026 · metrics 2.10.0
crates.io
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)
Apache-2.0Sep 12, 2026 · metrics 2.10.0
crates.io
renegade-fi/ark-mpc
A framework for SPDZ-style maliciously-secure MPC.
Apache-2.0Oct 19, 2026 · metrics 2.10.0
npm · Go · crates.io
reclaimprotocol/zk-symmetric-crypto
A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
No licenseOct 2, 2026 · metrics 2.10.0
crates.io
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
GPL-3.0Sep 20, 2026 · metrics 2.10.0
crates.io · npm
tangle-network/protocol-substrate
Webb protocol implementation in Substrate.
Apache-2.0Oct 8, 2026 · metrics 2.10.0
npm
vLannaAi/noy-db
Zero-knowledge, offline-first, encrypted document store with pluggable backends and multi-user access control
MITSep 8, 2026 · metrics 2.10.0
crates.io
zkcrypto/merlin
Composable proof transcripts for public-coin arguments of knowledge
MITSep 23, 2026 · metrics 2.10.0