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.
- Homomorphic Secret Sharing, a blazingly-fast implementation of the group-based Homomorphic Secret Sharing Scheme of Boyle et al.;
- Designated-verifier, post-quantum zk-SNARKs;
- letsencrypt-ocaml, an Ocaml ACME client;
- ot, a pure-Rust implementation of oblivious transfer and oblivious transfer extensions, made with love and good API design in mind;
- anonymous tokens