npm · crates.io
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
Apache-2.02 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#zero-knowledge
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
27 записів
crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.022 серп. 2026 р. · метрики 2.10.0
crates.io · npm
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
Apache-2.05 серп. 2026 р. · метрики 2.10.0
crates.io · npm
0xPolygonMiden/miden-vm
STARK-based virtual machine
Apache-2.017 лип. 2026 р. · метрики 2.10.0
crates.io
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
Apache-2.028 серп. 2026 р. · метрики 2.10.0
crates.io · npm
lambdaclass/ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Apache-2.018 лип. 2026 р. · метрики 2.10.0
crates.io
succinctlabs/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Apache-2.015 серп. 2026 р. · метрики 2.10.0
—
zcoinofficial/zcoin
The privacy-focused cryptocurrency
MIT19 лип. 2026 р. · метрики 2.10.0
crates.io
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Apache-2.017 лип. 2026 р. · метрики 2.10.0
npm
o1-labs/o1js
TypeScript framework for zk-SNARKs and zkApps
Apache-2.029 лип. 2026 р. · метрики 2.10.0
crates.io · npm
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Apache-2.017 лип. 2026 р. · метрики 2.10.0
npm · Go · crates.io
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Apache-2.04 серп. 2026 р. · метрики 2.10.0
crates.io
TaceoLabs/circom-helpers
Опис репозиторію не опубліковано.
Apache-2.08 серп. 2026 р. · метрики 2.10.0
crates.io
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Без ліцензії19 лип. 2026 р. · метрики 2.10.0
crates.io
zcash/halo2
The Halo2 zero-knowledge proving system
Власна ліцензія21 лип. 2026 р. · метрики 2.10.0
crates.io
TritonVM/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Apache-2.025 лип. 2026 р. · метрики 2.10.0
npm
zk-kit/zk-kit
A monorepo of reusable libraries for zero-knowledge technologies.
MIT20 лип. 2026 р. · метрики 2.10.0
npm · crates.io · Go +4
open-banking-io/clients
Zero-knowledge open banking — server-to-server SDKs (.NET, Node, Python, Rust, Go, Java, Ruby, PHP) and the openbanking CLI for open-banking.io
MIT24 лип. 2026 р. · метрики 2.10.0
Go · npm
shingrus/1time.io
Zero-knowledge one-time secret sharing. End-to-end encrypted, self-hosted, open source.
MIT25 лип. 2026 р. · метрики 2.10.0
crates.io
zakura-core/common
Zakura Common Libraries
Apache-2.02 вер. 2026 р. · метрики 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MIT26 лип. 2026 р. · метрики 2.10.0
Go · npm
vineethkrishnan/vaultctl
Zero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.
AGPL-3.022 лип. 2026 р. · метрики 2.10.0
Go
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Apache-2.019 лип. 2026 р. · метрики 2.10.0
npm
vLannaAi/noy-db
Zero-knowledge, offline-first, encrypted document store with pluggable backends and multi-user access control
MIT15 лип. 2026 р. · метрики 2.10.0
crates.io
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Apache-2.021 лип. 2026 р. · метрики 2.10.0
crates.io
Teycir/ZkPatternMatcher
Pattern-based vulnerability detection for Zero-Knowledge proof circuits. Scan ZK code against YAML patterns to find security issues.
MIT24 серп. 2026 р. · метрики 2.10.0
crates.io
renegade-fi/ark-mpc
A framework for SPDZ-style maliciously-secure MPC.
Apache-2.019 серп. 2026 р. · метрики 2.10.0