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].