Go
LFDT-Lineth/zkc
A port of the Corset tool into Go
Apache-2.012 sept 2026 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#zk
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
18 registros
npm · crates.io
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
GPL-3.027 sept 2026 · métricas 2.10.0
npm
o1-labs/o1js
TypeScript framework for zk-SNARKs and zkApps
Apache-2.014 sept 2026 · métricas 2.10.0
—
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Apache-2.019 oct 2026 · métricas 2.10.0
crates.io
TaceoLabs/circom-helpers
El repositorio no publica descripción.
Apache-2.017 sept 2026 · métricas 2.10.0
npm · crates.io
0xMiden/web-sdk
Miden network web-centric SDK
MIT15 sept 2026 · métricas 2.10.0
Go
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Apache-2.011 sept 2026 · métricas 2.10.0
npm · Maven
zkoss/zk
ZK is a highly productive Java framework for building amazing enterprise web and mobile applications
Sin licencia19 oct 2026 · métricas 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.015 sept 2026 · métricas 2.10.0
crates.io
philsippl/circom-witness-rs
El repositorio no publica descripción.
MIT17 sept 2026 · métricas 2.10.0
npm
starknet-io/types-js
El repositorio no publica descripción.
MIT20 oct 2026 · métricas 2.10.0
—
zk-org/zk-nvim
Neovim plugin for zk
GPL-3.016 sept 2026 · métricas 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
MIT20 sept 2026 · métricas 2.10.0
crates.io
davxy/ark-vrf
Elliptic Curve VRFs
MIT18 sept 2026 · métricas 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.
Licencia propia14 sept 2026 · métricas 2.10.0
npm · Go · crates.io
anna-stolbovskaja/CasperProver
Verifiable proof layer for AI agent computations on Casper Network
Licencia propia19 sept 2026 · métricas 2.10.0
npm
TaceoLabs/oprf-client-js
El repositorio no publica descripción.
MIT15 sept 2026 · métricas 2.10.0
Maven
dynamiatools/module-saas
DynamiaTools extension to create multi tenant apps or software as a service
Apache-2.019 oct 2026 · métricas 2.10.0