Wyatt Howe's repositories
macro-circuit-assembler
Expand a macro-circuit into standard Bristol format
simple-d3-circuit-visualizer
Simple JavaScript-based Bristol circuit visualizer.
nizk-proof-synthesis
Python tool to construct circuits which output a non-interactive zero-knowledge proof of their correctness
arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
barriers
Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
bfcl
Python library for working with circuit definitions represented in the Bristol Fashion.
circuit
Minimal pure Python library for building and working with logical circuits.
demo_z8z
Demo using Concrete library to implement exact homomorphic computation with 3-bit integers
external_endpoint_mocking_example_golang
GoLang Example of how to mock clients that would call external endpoints during production
fpv2021
Lecture notes, exercises, homeworks for Brown CS1951x 2021
gomock-aws-example
Mocked AWS clients example for testing using `gomock`
Haptica-
Easy Haptic Feedback Generator đź“ł
lagrange
Pure-Python implementation of Lagrange interpolation over finite fields.
lean-prover-one-time-pad
Proof of perfect secrecy of the one-time pad using Lean
libsodium-1.0.18.tar.gz
Extracted copy of libsodium-1.0.18.tar.gz from https://github.com/jedisct1/libsodium/releases/1.0.18-RELEASE/
macOS-ARM64-build
Example of building ARM64 (marketed as "Apple Silicon") binaries for macOS 11
mclbn256.py
Python bindings for the BN254/256 pairing-friendly curve supported by the MCl library
metadoram-prototyping-implementation
MetaDORAM
pynacl
Python binding to the Networking and Cryptography (NaCl) library
rbcl
Python binding to the Ristretto group operations in libsodium
rbcl_RH88
Python binding to the Ristretto group operations in libsodium
rust-paillier
Implement paillier crypto system in Rust
shamirs
Minimal pure-Python implementation of Shamir's Secret Sharing scheme.
staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks