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

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup

ProvableHQ / sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development