ORAM Simulator written in C++ for FEDORA.

Modifed RF^2 federated learning simulator for evualuating accuracy and efficency of FEDORA.

A Hardware Pipeline Description Language

Benchmark of ZKVMs and Proving Schemes

Mixed garble circuits that combine boolean and arithmetic GC

Data Plane Development Kit

A cross compiler and standardized benchmarks for fully homomorphic encryption

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

Accelerating Distributed Private Machine Learning Inference with Arithmetic Garbled Circuits

A toy implementation of the sum-check protocol

A minimal GPU design in Verilog to learn how GPUs work from the ground up

SST Architectural Simulation Components and Libraries

Building your GPT-based private knowledge hub using zkSNARK & PLONK

SystemVerilog compiler and language services

A PyTorch Library for Photonic Integrated Circuit Simulation and Photonic AI Computing

A machine learning accelerator core designed for energy-efficient AI at the edge.

A toolkit for polynomial IOPs (PIOPs)

NTT-based Fast Lattice library

HEonGPU is a high-performance library that optimizes Fully Homomorphic Encryption (FHE) on GPUs. Leveraging GPU parallelism, it reduces computational load through concurrent execution. Its multi-st…

RSD: RISC-V Out-of-Order Superscalar Processor

FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits

Simple UVM environment for experimenting with Verilator.

ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

A Fully Homomorphic Encryption (FHE) library for bridging the gap between theory and practice with a focus on performance and accuracy.