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