This document describes the Distributed Aggregation Protocol (DAP) being developed by the PPM working group at IETF.

A framework for deploying on-demand distributed-trust.

Verifiable Distributed Point Function (VDPF) implementation in C with Go wrapper

Stream summarizer and cardinality estimator.

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

Code for NDSS 2021 Paper "Manipulating the Byzantine: Optimizing Model Poisoning Attacks and Defenses Against Federated Learning"

Code for Federated Learning with Matched Averaging, ICLR 2020.

Reproducing Yann LeCun 1989 paper "Backpropagation Applied to Handwritten Zip Code Recognition", to my knowledge the earliest real-world application of a neural net trained with backpropagation.

📊 A simple command-line utility for querying and monitoring GPU status

A library for lattice-based multiparty homomorphic encryption in Go

Rendered math (MathJax) with Slack's desktop client

An Implementation of Incremental Distributed Point Functions in C++

LaTeX package for typesetting pseudocode and cryptographic games

📄 Documentation for Leo 🦁

sgxwallet is the first-ever opensource high-performance hardware secure crypto wallet that is based on Intel SGX technology. First opensource product on Intel SGX whitelist. Scales to 100,000+ tran…

markdown preview plugin for (neo)vim

A Rust library for the Marlin preprocessing zkSNARK

Implementation of incrementally verifiable ledger system

A Rust library for polynomial commitments

Honeycrisp Protocol (Partial) Implementation

CMake: config mode of find_package command (examples)

Prototype implementation of Prio, a system for the private computation of aggregate statistics.

a subset of the Java programming language designed to support secure programming according to object-capability discipline