Brandon Reagen

TREBUCHET Fully Homomorphic Encryption Accelerator: Phase Two Performance Estimation Results

zkDuel: Characterizing SumCheck Prover Kernels across GPU Programming Models

Zero-knowledge proofs have attracted growing interest from the hardware acceleration community, driven by their use in verifiable computation, privacy-preserving systems, and blockchain applications. A key prover kernel in many such systems is SumCheck, whose table-parallel structure makes it a natural target for GPU a...

C2ME: Characterizing Ciphertext Matrix Multiplication Encodings for FHE Inference

Locus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs

Zero-Knowledge Proofs (ZKPs) are critical for privacy-preserving and verifiable computation, but their cryptographic primitives impose high computational overheads. One such primitive is point addition (PADD) on elliptic curves. Several prior works have implemented PADDs in hardware, but only for a few specific ellipti...