Pinned Loading

1. eniac/Reef eniac/Reef Public

   Reef: A zkSNARK system for proving that a committed document matches a regex

   Rust 63 6

2. eniac/otti eniac/otti Public

   A zkSNARK compiler for optimization problems

   Python 6 2

3. nlookup nlookup Public

   Implementation of nlookup (and some other memory experimentation) in arkworks

   Rust 3

4. Nova Nova Public

   Forked from sga001/Nova

   Nova: Recursive SNARKs without trusted setup

   Rust

5. ExaFold ExaFold Public

   Fast GPU-based protein folding simulations that run from only a protein sequence and set of restraints designed to fold the protein.

   Python 4 3

6. FHE-DGHV FHE-DGHV Public

   Parallel C Implementation of the Fully Homomorphic Batch DGHV scheme with compressed public key

   C 1