nymtech / nym

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

succinctlabs / sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

mimblewimble / grin

Minimal implementation of the Mimblewimble protocol.

aleo-labs-protocol / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

aleo-labs-protocol / snarkOS

A Decentralized Operating System for ZK Applications

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

darkrenaissance / darkfi

Anonymous. Uncensored. Sovereign.

aleo-labs-protocol / snarkVM

A zkVM for Decentralized Private Computations (DPC)

zcash / halo2

The Halo2 zero-knowledge proving system

lambdaclass / ethrex

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup

0xMiden / miden-vm

STARK-based virtual machine

dusk-network / plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

nymtech / nym-vpn-client

Cross-platform open source VPN client built in Rust, with mixnet anonymity and WireGuard speed. Protects metadata, not just IP addresses. Zero-knowledge payments for unlinkable online activities.

EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions