semaphore-protocol / semaphore

A zero-knowledge protocol for anonymous interactions.

mimblewimble / grin

Minimal implementation of the Mimblewimble protocol.

starkware-libs / cairo

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

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup

firoorg / firo

The privacy-focused cryptocurrency

EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions