#zero-knowledge (29 Repositories)
Ranked open-source repositories tagged with #zero-knowledge, scored by pull request acceptance likelihood and maintainer engagement velocity.
32.5%
31.5h
29 repositories tagged #zero-knowledge
dusk-network/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
binius-zk/binius64
Binary Proofs, Blazing Fast
tangle-network/blueprint
A powerful toolkit for building distributed systems and infrastructure as code.
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
0xMiden/miden-vm
STARK-based virtual machine
nymtech/nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
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.
lambdaclass/ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
succinctlabs/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
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)
pluto/ronkathon
Cryptography Educational Foundations
ZK-Garage/plonk
A pure Rust PLONK implementation using arkworks as a backend.
a16z/cicada
A protocol for private on-chain voting, implemented in Solidity.
ruped24/toriptables2
Tor Iptables script is an anonymizer that sets up iptables and tor to route all services and traffic including DNS through the Tor network.
ProvableHQ/workshop
📜 A Starter Guide to Build ZK Applications 📜
giovantenne/lastsignal
A self-hosted dead man's switch for delivering encrypted messages (E2EE) to your loved ones — when you're gone or unresponsive.
BlockstreamResearch/secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
o1-labs/zkapp-cli
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
Sunscreen-tech/Sunscreen
A compiler for fully homomorphic encryption and zero knowledge proofs
ethereum/mpz
Multi-party computation libraries written in Rust 🦀
Loopring/protocols
A zkRollup DEX & Payment Protocol
andrewmilson/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
DessertHeart/Dive-Into-Blockchain
旨在交流学习区块链技术，记录智能合约开发应用与相关安全练习的仓库🚀
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.
NilFoundation/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler