Popular repositories Loading

1. libsnark-supercop libsnark-supercop Public

   Subset of the supercop (http://bench.cr.yp.to/supercop.html) sources used in the libsnark ADSNARK demonstrating example.

   Assembly 2 8

2. orthoginalityfe orthoginalityfe Public

   Code for paper "Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality" published at CT-RSA 2019

   C++ 2

3. libsnark libsnark Public

   Forked from scipr-lab/libsnark

   libsnark: a C++ library for zkSNARK proofs

   C++

4. mbbarbosa mbbarbosa Public

   Config files for my GitHub profile.

5. jasmin jasmin Public

   Forked from jasmin-lang/jasmin

   Jasmin compiler

   Coq

6. cryptoline cryptoline Public

   Forked from fmlab-iis/cryptoline

   OCaml