snark
A library for Zero-Knowledge Proofs, (verifiable) Fully Homomorphic Encryption, and related techniques