Popular repositories Loading

1. ZoKrates ZoKrates Public

   Forked from Zokrates/ZoKrates

   A toolbox for zkSNARKs on Ethereum

   Rust

2. circom circom Public

   Forked from iden3/circom

   zkSnark circuit compiler

   WebAssembly

3. circ circ Public

   Forked from circify/circ

   (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

   Rust

4. leo leo Public

   Forked from ProvableHQ/leo

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

   Rust

5. noir noir Public

   Forked from noir-lang/noir

   Noir is a domain specific language for zero knowledge proofs

   Rust