Someone has to write software to defend privacy, and since we can't get privacy unless we all do,
we're going to write it.
- hss, a blazingly-fast implementation of the group-based Homomorphic Secret Sharing Scheme of Boyle et al. [BCIG17];
- mangiafuoco, a post-quantum designated-verifier lattice-based zk-SNARKS, used for the benchmarkings reported in [GMNO18];
- letsencrypt-ocaml, an Ocaml ACME client;
- oblivious-transfer, a pure-Rust implementation of oblivious transfer and oblivious transfer extensions, made with love and good API design in mind;
- anonymous-tokens, a pure-Rust implementation of anonymous tokens (that is, Privacy Pass and extensions of it) used as a proof of concept of [KLOR20].