#zero-knowledge (30 Repositories)
Ranked open-source repositories tagged with #zero-knowledge, scored by pull request acceptance likelihood and maintainer engagement velocity.
54.9%
67.6h
30 repositories tagged #zero-knowledge
dusk-network/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
0xMiden/miden-vm
STARK-based virtual machine
binius-zk/binius64
Binary Proofs, Blazing Fast
memrynote/memry
Your personal OS for thought. Notes, journal, tasks, calendar — unified, offline-first, end-to-end encrypted. Private by architecture, not by promise.
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
nymtech/nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
IntersectMBO/mithril
Stake-based threshold multi-signatures protocol
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
arkworks-rs/spongefish
Fiat-Shamir for the masses.
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
tangle-network/blueprint
A powerful toolkit for building distributed systems and infrastructure as code.
ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
firoorg/firo
The privacy-focused cryptocurrency
succinctlabs/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
lambdaclass/ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Skyfay/SkySend
Minimalist, end-to-end encrypted, self-hostable file and note sharing. Zero-knowledge server - files and notes are encrypted in the browser before upload. No accounts, no telemetry, built for speed and security.
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
giovantenne/lastsignal
A self-hosted dead man's switch for delivering encrypted messages (E2EE) to your loved ones — when you're gone or unresponsive.
MinaProtocol/docs2
Docs website for the Mina Protocol.
BlockstreamResearch/secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
21-DOT-DEV/swift-secp256k1
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
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.
ProvableHQ/workshop
📜 A Starter Guide to Build ZK Applications 📜
o1-labs/zkapp-cli
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
Loopring/protocols
A zkRollup DEX & Payment Protocol
pluto/ronkathon
Cryptography Educational Foundations
a16z/cicada
A protocol for private on-chain voting, implemented in Solidity.