全部标签
目录标签

#zk

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

18 条记录
标签为“zk”按健康指数排序
Go
94卓越健康指数
LFDT-Lineth/zkc
A port of the Corset tool into Go
Go★ 122026年9月12日
Apache-2.02026年9月12日 · 指标 2.10.0
npm · crates.io
91优秀健康指数
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
TypeScript · Rust · JavaScript★ 633↓ 771K/月2026年9月27日
GPL-3.02026年9月27日 · 指标 2.10.0
npm
89优秀健康指数
o1-labs/o1js
TypeScript framework for zk-SNARKs and zkApps
TypeScript★ 606↓ 16.2K/月2026年9月14日
Apache-2.02026年9月14日 · 指标 2.10.0
—
84优秀健康指数
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Lean★ 3472026年10月19日
Apache-2.02026年10月19日 · 指标 2.10.0
crates.io
83优秀健康指数
TaceoLabs/circom-helpers
该仓库未发布描述。
Rust★ 3↓ 60.7K/月2026年9月17日
Apache-2.02026年9月17日 · 指标 2.10.0
npm · crates.io
80优秀健康指数
0xMiden/web-sdk
Miden network web-centric SDK
TypeScript · JavaScript · Rust★ 1↓ 22.4K/月2026年9月15日
MIT2026年9月15日 · 指标 2.10.0
Go
77良好健康指数
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Go★ 32026年9月11日
Apache-2.02026年9月11日 · 指标 2.10.0
npm · Maven
77良好健康指数
zkoss/zk
ZK is a highly productive Java framework for building amazing enterprise web and mobile applications
Java · TypeScript★ 474↓ 17/月2026年10月19日
无许可证2026年10月19日 · 指标 2.10.0
npm · crates.io
75良好健康指数
tetsuo-ai/agenc-protocol
Public protocol source of truth for AgenC: Anchor program, zkVM guest, migrations, and generated protocol artifacts
TypeScript · JavaScript · Rust★ 10↓ 1,442/月2026年9月15日
GPL-3.02026年9月15日 · 指标 2.10.0
crates.io
69良好健康指数
philsippl/circom-witness-rs
该仓库未发布描述。
Rust★ 65↓ 11.7K/月2026年9月17日
MIT2026年9月17日 · 指标 2.10.0
npm
69良好健康指数
starknet-io/types-js
该仓库未发布描述。
TypeScript★ 10↓ 1.8M/月2026年10月20日
MIT2026年10月20日 · 指标 2.10.0
—
69良好健康指数
zk-org/zk-nvim
Neovim plugin for zk
Lua★ 8572026年9月16日
GPL-3.02026年9月16日 · 指标 2.10.0
Go
65良好健康指数
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
Go★ 1902026年9月20日
MIT2026年9月20日 · 指标 2.10.0
crates.io
63中等健康指数
davxy/ark-vrf
Elliptic Curve VRFs
Rust★ 33↓ 321.8K/月2026年9月18日
MIT2026年9月18日 · 指标 2.10.0
npm
59中等健康指数
lemmaoracle/lemma
Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
Astro · TypeScript · HTML★ 1↓ 3,976/月2026年9月14日
自定义许可证2026年9月14日 · 指标 2.10.0
npm · Go · crates.io
54中等健康指数
anna-stolbovskaja/CasperProver
Verifiable proof layer for AI agent computations on Casper Network
Go · TypeScript★ 0↓ 19/月2026年9月19日
自定义许可证2026年9月19日 · 指标 2.10.0
npm
53中等健康指数
TaceoLabs/oprf-client-js
该仓库未发布描述。
TypeScript★ 0↓ 40.3K/月2026年9月15日
MIT2026年9月15日 · 指标 2.10.0
Maven
44薄弱健康指数
dynamiatools/module-saas
DynamiaTools extension to create multi tenant apps or software as a service
Java★ 32026年10月19日
Apache-2.02026年10月19日 · 指标 2.10.0