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

#zero-knowledge-proofs

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

7 записів
З тегом «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 902↓ 530.6K/міс23 серп. 2026 р.
Apache-2.023 серп. 2026 р. · метрики 2.10.0
crates.io · npm
96Винятковийіндекс здоров'я
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
Rust★ 153↓ 11.3K/міс5 серп. 2026 р.
Apache-2.05 серп. 2026 р. · метрики 2.10.0
Go
94Винятковийіндекс здоров'я
LFDT-Lineth/zkc
A port of the Corset tool into Go
Go★ 1121 лип. 2026 р.
Apache-2.021 лип. 2026 р. · метрики 2.10.0
—
92Відміннийіндекс здоров'я
zcoinofficial/zcoin
The privacy-focused cryptocurrency
C++ · C · Python★ 79119 лип. 2026 р.
MIT19 лип. 2026 р. · метрики 2.10.0
npm · PyPI · crates.io
91Відміннийіндекс здоров'я
dyne/Zenroom
Secure execution VM executing human-like language (no-code) to operate on data and advanced cryptographic operations.
C · C++ · Lua★ 248↓ 13.1K/міс25 лип. 2026 р.
AGPL-3.025 лип. 2026 р. · метрики 2.10.0
npm
60Помірнийіндекс здоров'я
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↓ 8 982/міс29 лип. 2026 р.
Власна ліцензія29 лип. 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