University of Pennsylvania | Distributed Systems Lab

Popular repositories Loading

1. faas faas Public

   Factoring as a Service

   C 279 38

2. Reef Reef Public

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

   Rust 78 7

3. paella paella Public

   Paella: Low-latency Model Serving with Virtualized GPU Scheduling

   C++ 73 6

4. flamingo flamingo Public

   A secure aggregation system for private federated learning

   Python 54 8

5. Beldi Beldi Public

   Go 53 12

6. zippel zippel Public

   The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.

   Rust 45 3