aleo-labs-protocol / leo

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

iden3 / snarkjs

zkSNARK implementation in JavaScript & WASM

Consensys-Incorporated / gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

iden3 / circom

zkSnark circuit compiler

ProvableHQ / sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development

Consensys-Incorporated / gnark-crypto

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems

aleo-labs-protocol / snarkOS

A Decentralized Operating System for ZK Applications

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup