目录标签

#zero-knowledge-proofs

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

7 条记录

标签为“zero-knowledge-proofs”按健康指数排序

crates.io

98卓越健康指数

Cairo is the first Turing-complete language for creating provable programs for general computation.

Rust · Cairo★ 1,902↓ 530.6K/月2026年8月23日

Apache-2.02026年8月23日 · 指标 2.10.0

crates.io · npm

96卓越健康指数

Stake-based threshold multi-signatures protocol

Rust★ 153↓ 11.3K/月2026年8月5日

Apache-2.02026年8月5日 · 指标 2.10.0

94卓越健康指数

A port of the Corset tool into Go

Go★ 112026年7月21日

Apache-2.02026年7月21日 · 指标 2.10.0

—

92优秀健康指数

The privacy-focused cryptocurrency

C++ · C · Python★ 7912026年7月19日

MIT2026年7月19日 · 指标 2.10.0

npm · PyPI · crates.io

91优秀健康指数

Secure execution VM executing human-like language (no-code) to operate on data and advanced cryptographic operations.

C · C++ · Lua★ 248↓ 13.1K/月2026年7月25日

AGPL-3.02026年7月25日 · 指标 2.10.0

npm

60中等健康指数

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↓ 8,982/月2026年7月29日

自定义许可证2026年7月29日 · 指标 2.10.0

npm

19危急健康指数

Kakarot zkEVM - rewrite in the latest version of Cairo

Cairo★ 1322026年8月28日

MIT2026年8月28日 · 指标 2.10.0