crates.io
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache-2.0Aug 23, 2026 · metrics 2.10.0
All tags
Catalogue tag
#zero-knowledge-proofs
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
crates.io · npm
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
Apache-2.0Aug 5, 2026 · metrics 2.10.0
Go
LFDT-Lineth/zkc
A port of the Corset tool into Go
Apache-2.0Jul 21, 2026 · metrics 2.10.0
—
zcoinofficial/zcoin
The privacy-focused cryptocurrency
MITJul 19, 2026 · metrics 2.10.0
npm · PyPI · crates.io
dyne/Zenroom
Secure execution VM executing human-like language (no-code) to operate on data and advanced cryptographic operations.
AGPL-3.0Jul 25, 2026 · metrics 2.10.0
npm
lemmaoracle/lemma
Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
Custom licenseJul 29, 2026 · metrics 2.10.0
npm
kkrt-labs/kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
MITAug 28, 2026 · metrics 2.10.0