Go
LFDT-Lineth/zkc
A port of the Corset tool into Go
Apache-2.0Sep 12, 2026 · metrics 2.10.0
All tags
Catalogue tag
#zk
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.
18 records
npm · crates.io
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
GPL-3.0Sep 27, 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
—
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Apache-2.0Oct 19, 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
0xMiden/web-sdk
Miden network web-centric SDK
MITSep 15, 2026 · metrics 2.10.0
Go
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Apache-2.0Sep 11, 2026 · metrics 2.10.0
npm · Maven
zkoss/zk
ZK is a highly productive Java framework for building amazing enterprise web and mobile applications
No licenseOct 19, 2026 · metrics 2.10.0
npm · crates.io
tetsuo-ai/agenc-protocol
Public protocol source of truth for AgenC: Anchor program, zkVM guest, migrations, and generated protocol artifacts
GPL-3.0Sep 15, 2026 · metrics 2.10.0
crates.io
philsippl/circom-witness-rs
No repository description published.
MITSep 17, 2026 · metrics 2.10.0
npm
starknet-io/types-js
No repository description published.
MITOct 20, 2026 · metrics 2.10.0
—
zk-org/zk-nvim
Neovim plugin for zk
GPL-3.0Sep 16, 2026 · metrics 2.10.0
Go
binance/zkmerkle-proof-of-solvency
This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
MITSep 20, 2026 · metrics 2.10.0
crates.io
davxy/ark-vrf
Elliptic Curve VRFs
MITSep 18, 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 licenseSep 14, 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
npm
TaceoLabs/oprf-client-js
No repository description published.
MITSep 15, 2026 · metrics 2.10.0
Maven
dynamiatools/module-saas
DynamiaTools extension to create multi tenant apps or software as a service
Apache-2.0Oct 19, 2026 · metrics 2.10.0