Research and open-source implementations of Zero-Knowledge Proofs, Fully Homomorphic Encryption, Verifiable Fully Homomorphic Encryption, and related topics.