Pinned Loading

1. eniac/Reef eniac/Reef Public

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

   Rust 60 5

2. eniac/otti eniac/otti Public

   A zkSNARK compiler for optimization problems

   Python 6 2

3. Nova Nova Public

   Forked from sga001/Nova

   Nova: Recursive SNARKs without trusted setup

   Rust

4. 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

5. FHE-DGHV FHE-DGHV Public

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

   C++ 1

6. JuliaFHE JuliaFHE Public

   FHE Scheme in Julia for HPC (see FHE-DGHV C++ repo)

   Julia 4