Pinned Repositories
otti
A zkSNARK compiler for optimization problems
Reef
Reef: A zkSNARK system for proving that a committed document matches a regex
AndromedaPassage
Space themed Oregon Trail game written in assembly
circ
Rust rewrite of CirC. Using SMT-solver engineering techniques for improved performance (and accuracy?).
ExaFold
Fast GPU-based protein folding simulations that run from only a protein sequence and set of restraints designed to fold the protein.
FHE-DGHV
Parallel C++ Implementation of the Fully Homomorphic Batch DGHV scheme with compressed public key
JuliaFHE
FHE Scheme in Julia for HPC (see FHE-DGHV C++ repo)
nlookup
Nova
Nova: Recursive SNARKs without trusted setup
PythonFHE
Python DGHV scheme parallelized with Dask library (see FHE-DGHV C++ repo)
jkwoods's Repositories
jkwoods/ExaFold
Fast GPU-based protein folding simulations that run from only a protein sequence and set of restraints designed to fold the protein.
jkwoods/JuliaFHE
FHE Scheme in Julia for HPC (see FHE-DGHV C++ repo)
jkwoods/PythonFHE
Python DGHV scheme parallelized with Dask library (see FHE-DGHV C++ repo)
jkwoods/nlookup
jkwoods/FHE-DGHV
Parallel C++ Implementation of the Fully Homomorphic Batch DGHV scheme with compressed public key
jkwoods/AndromedaPassage
Space themed Oregon Trail game written in assembly
jkwoods/circ
Rust rewrite of CirC. Using SMT-solver engineering techniques for improved performance (and accuracy?).
jkwoods/Nova
Nova: Recursive SNARKs without trusted setup
jkwoods/file_transfer
jkwoods/jkwoods.github.io
Website: https://jkwoods.github.io
jkwoods/OpenMMPlayground
jkwoods/parcheesi
jkwoods/ProteinFoldingPipeline
Pipeline for protein folding using distance and torsion restraints from an amino acid sequence; AmberTools18 wrapped in Python
jkwoods/Spartan
Spartan: High-speed zkSNARKs without trusted setup
jkwoods/spartan-zkinterface
Deserialization from zkinterface to Spartan
jkwoods/splab-web
A Hakyll [splab] website (https://www.cis.upenn.edu/~splab/) based on plclub website
jkwoods/test_transfer
jkwoods/ZKI_Visualizer