OpenFHE - Open-Source Fully Homomorphic Encryption Library

Fully Homomorphic Encryption (FHE) is a powerful cryptographic primitive that enables performing computations over encrypted data without having access to the secret key. OpenFHE is an open-source FHE library that includes efficient implementations of all common FHE schemes:

• Brakerski/Fan-Vercauteren (BFV) scheme for integer arithmetic
• Brakerski-Gentry-Vaikuntanathan (BGV) scheme for integer arithmetic
• Cheon-Kim-Kim-Song (CKKS) scheme for real-number arithmetic (includes approximate bootstrapping)
• Ducas-Micciancio (DM/FHEW), Chillotti-Gama-Georgieva-Izabachene (CGGI/TFHE), and Lee-Micciancio-Kim-Choi-Deryabin-Eom-Yoo (LMKCDEY) schemes for evaluating Boolean circuits and arbitrary functions over larger plaintext spaces using lookup tables

OpenFHE also includes the following multiparty extensions of FHE:

• Threshold FHE for BGV, BFV, and CKKS schemes
• Interactive bootstrapping for Threshold CKKS
• Proxy Re-Encryption for BGV, BFV, and CKKS schemes

OpenFHE also supports switching between CKKS and FHEW/TFHE to evaluate non-smooth functions, e.g., comparison, using FHEW/TFHE functional bootstrapping.

OpenFHE supports any GNU C++ compiler version 9 or above and clang C++ compiler version 10 or above.

Links and Resources

• OpenFHE documentation
• Design paper for OpenFHE
• OpenFHE website
• Community forum for OpenFHE
• OpenFHE Release Notes
• Quickstart
• BSD 2-Clause License
• Contributing to OpenFHE
• OpenFHE Governance
• Openfhe-development Github Issues
• To report security vulnerabilities, please email us at [email protected]

Installation

Refer to our General Installation Information: readthedocs for more information

Or refer to the following for your specific operating system:

• Linux

• MacOS

• Windows

Code Examples

To get familiar with the main API of OpenFHE, we recommend looking at the code of the following examples:

1. FHE for arithmetic over integers (BFV):
   1. Simple Code Example
   2. Simple Code Example with Serialization
2. FHE for arithmetic over integers (BGV):
   1. Simple Code Example
   2. Simple Code Example with Serialization
3. FHE for arithmetic over real numbers (CKKS):
   1. Simple Code Example
   2. Advanced Code Example
   3. Advanced Code Example for High-Precision CKKS
   4. Arbitrary Smooth Function Evaluation
   5. Simple CKKS Bootstrapping Example
   6. Advanced CKKS Bootstrapping Example
   7. Double-Precision (Iterative) Bootstrapping Example
4. FHE for Boolean circuits and larger plaintext spaces (FHEW/TFHE):
   1. Simple Code Example with Symmetric Encryption
   2. Simple Code Example with PKE
   3. Evaluation of Multi-Input Gates
   4. Code with JSON serialization
   5. Code with Binary Serialization
   6. Large-Precision Comparison
   7. Small-Precison Arbitrary Function Evaluation
5. Scheme Switching:
   1. Examples with Scheme Switching between CKKS and FHEW/TFHE
6. Threshold FHE:
   1. Code Example for BGV, BFV, and CKKS
   2. Simple Interactive Bootstrapping Example
   3. Interactive Bootstrapping after Chebyshev Approximation
   4. Code Example for BFV with 5 parties

Main API

• PKE CryptoContext API (BGV/BFV/CKKS)

• BinFHE Context API (FHEW/TFHE)

Code of Conduct

In the interest of fostering an open and welcoming environment, we as contributors and maintainers pledge to making participation in our project and our community a harassment-free experience for everyone, regardless of age, body size, disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, religion, or sexual identity and orientation.

OpenFHE is a community-driven open source project developed by a diverse group of contributors. The OpenFHE leadership has made a strong commitment to creating an open, inclusive, and positive community. Please read our Code of Conduct for guidance on how to interact with others in a way that makes our community thrive.

Call for Contributions

We welcome all contributions including but not limited to:

• reporting issues
• addressing bugs big or small. We label issues to help you filter them to your skill level.
• documentation changes
• talks and seminars using OpenFHE

How to Cite OpenFHE

To cite OpenFHE in academic papers, please use the following BibTeX entry

@misc{OpenFHE,
      author = {Ahmad Al Badawi and Jack Bates and Flavio Bergamaschi and David Bruce Cousins and Saroja Erabelli and Nicholas Genise and Shai Halevi and Hamish Hunt and Andrey Kim and Yongwoo Lee and Zeyu Liu and Daniele Micciancio and Ian Quah and Yuriy Polyakov and Saraswathy R.V. and Kurt Rohloff and Jonathan Saylor and Dmitriy Suponitsky and Matthew Triplett and Vinod Vaikuntanathan and Vincent Zucca},
      title = {OpenFHE: Open-Source Fully Homomorphic Encryption Library},
      howpublished = {Cryptology ePrint Archive, Paper 2022/915},
      year = {2022},
      note = {\url{https://eprint.iacr.org/2022/915}},
      url = {https://eprint.iacr.org/2022/915}
}

or, alternatively (WAHC@CCS'22 version),

@inproceedings{10.1145/3560827.3563379,
      author = {Al Badawi, Ahmad and Bates, Jack and Bergamaschi, Flavio and Cousins, David Bruce and Erabelli, Saroja and Genise, Nicholas and Halevi, Shai and Hunt, Hamish and Kim, Andrey and Lee, Yongwoo and Liu, Zeyu and Micciancio, Daniele and Quah, Ian and Polyakov, Yuriy and R.V., Saraswathy and Rohloff, Kurt and Saylor, Jonathan and Suponitsky, Dmitriy and Triplett, Matthew and Vaikuntanathan, Vinod and Zucca, Vincent},
      title = {OpenFHE: Open-Source Fully Homomorphic Encryption Library},
      year = {2022},
      publisher = {Association for Computing Machinery},
      address = {New York, NY, USA},
      url = {https://doi.org/10.1145/3560827.3563379},
      doi = {10.1145/3560827.3563379},
      booktitle = {Proceedings of the 10th Workshop on Encrypted Computing \& Applied Homomorphic Cryptography},
      pages = {53-63},
      numpages = {11},
      location = {Los Angeles, CA, USA},
      series = {WAHC'22}
}

Acknowledgments

Distribution Statement "A" (Approved for Public Release, Distribution Unlimited). This work is supported in part by DARPA through HR0011-21-9-0003 and HR0011-20-9-0102. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.