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. spring-2015 spring-2015 Public

   Forked from logic-for-systems/spring-2016

   Public Resources for Spring 2015's Logic for Hackers Offering

5. tb_code tb_code Public

   MATLAB

6. CS6831-Spring2019 CS6831-Spring2019 Public

   Forked from cornelltech/CS6831-Spring2019

   Designing Secure Cryptography

   TeX