University of Pennsylvania | Distributed Systems Lab

Incremental Offline/Online PIR

zk memory constructions in arkworks

Quilt is a serverless optimizer that automatically merges workflows that consist of many functions (possibly in different languages) into one process thereby avoiding high invocation latency, communication overhead, and long chains of cold starts.

A secure aggregation system for private federated learning

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