Усі теги
Тег каталогу

#zero-knowledge-proofs

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

12 записів
З тегом «zero-knowledge-proofs»Упорядковано за індексом здоров'я
crates.io
98Винятковийіндекс здоров'я
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Rust · Cairo★ 1 912↓ 599.3K/міс20 жовт. 2026 р.
Apache-2.020 жовт. 2026 р. · метрики 2.10.0
crates.io · npm
94Винятковийіндекс здоров'я
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
Rust★ 154↓ 11.1K/міс16 вер. 2026 р.
Apache-2.016 вер. 2026 р. · метрики 2.10.0
Go
94Винятковийіндекс здоров'я
LFDT-Lineth/zkc
A port of the Corset tool into Go
Go★ 1212 вер. 2026 р.
Apache-2.012 вер. 2026 р. · метрики 2.10.0
—
91Відміннийіндекс здоров'я
firoorg/firo
The privacy-focused cryptocurrency
C++ · C · Python★ 79611 вер. 2026 р.
MIT11 вер. 2026 р. · метрики 2.10.0
npm · PyPI · crates.io
90Відміннийіндекс здоров'я
dyne/Zenroom
Secure execution VM executing human-like language (no-code) to operate on data and advanced cryptographic operations.
C · C++ · Lua★ 250↓ 3 178/міс13 вер. 2026 р.
AGPL-3.013 вер. 2026 р. · метрики 2.10.0
crates.io
87Відміннийіндекс здоров'я
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.
Rust · Haskell★ 28↓ 3 225/міс12 жовт. 2026 р.
MPL-2.012 жовт. 2026 р. · метрики 2.10.0
npm · PyPI
80Відміннийіндекс здоров'я
bolyra/bolyra
Mutual ZKP authentication for humans and AI agents
TypeScript · Python · JavaScript★ 0↓ 1 655/міс26 вер. 2026 р.
Apache-2.026 вер. 2026 р. · метрики 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/міс14 вер. 2026 р.
Власна ліцензія14 вер. 2026 р. · метрики 2.10.0
crates.io
57Помірнийіндекс здоров'я
namada-net/masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Rust★ 92↓ 9 272/міс12 жовт. 2026 р.
Apache-2.012 жовт. 2026 р. · метрики 2.10.0
npm
34У зоні ризикуіндекс здоров'я
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.
TypeScript★ 86↓ 10.8K/міс4 жовт. 2026 р.
AGPL-3.04 жовт. 2026 р. · метрики 2.10.0
crates.io
21У зоні ризикуіндекс здоров'я
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
Rust★ 120↓ 1 171/міс20 вер. 2026 р.
GPL-3.020 вер. 2026 р. · метрики 2.10.0
npm
19Критичнийіндекс здоров'я
kkrt-labs/kakarot-ssj
Kakarot zkEVM - rewrite in the latest version of Cairo
Cairo★ 13228 серп. 2026 р.
MIT28 серп. 2026 р. · метрики 2.10.0