crates.io
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache-2.02026年10月20日 · 指标 2.10.0
全部标签
目录标签
#zero-knowledge-proofs
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
12 条记录
crates.io · npm
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
Apache-2.02026年9月16日 · 指标 2.10.0
Go
LFDT-Lineth/zkc
A port of the Corset tool into Go
Apache-2.02026年9月12日 · 指标 2.10.0
—
firoorg/firo
The privacy-focused cryptocurrency
MIT2026年9月11日 · 指标 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.02026年9月13日 · 指标 2.10.0
crates.io
Concordium/concordium-base
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well as some tools used for testing and development.
MPL-2.02026年10月12日 · 指标 2.10.0
npm · PyPI
bolyra/bolyra
Mutual ZKP authentication for humans and AI agents
Apache-2.02026年9月26日 · 指标 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.
自定义许可证2026年9月14日 · 指标 2.10.0
crates.io
namada-net/masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Apache-2.02026年10月12日 · 指标 2.10.0
npm
reclaimprotocol/attestor-core
The attestor-core (aka witness server) securely intermediates internet data exchange, using TLS and zero-knowledge proofs to verify and sign user claims with minimal information disclosure.
AGPL-3.02026年10月4日 · 指标 2.10.0
crates.io
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
GPL-3.02026年9月20日 · 指标 2.10.0
npm
kkrt-labs/kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
MIT2026年8月28日 · 指标 2.10.0