Popular repositories Loading

1. winter_fractal winter_fractal Public

   Rust 2

2. xjsnark xjsnark Public

   Forked from mskd12/xjsnark

   A high-level framework for developing efficient zk-SNARK circuits

   Java 1

3. arithmetization_benchmarks arithmetization_benchmarks Public

   Rust 1

4. noir-cfg-rec noir-cfg-rec Public

   Solidity 1

5. Static-Merkle-Array Static-Merkle-Array Public

   Rust 1 1

6. spring-2015 spring-2015 Public

   Forked from logic-for-systems/spring-2016

   Public Resources for Spring 2015's Logic for Hackers Offering