TFHE-rs: 一个纯 Rust 实现的 TFHE 方案,用于在加密数据上进行布尔和整数算术。
Read Handbook | Documentation | Community support | FHE resources by Zama
TFHE-rs is a pure Rust implementation of TFHE for boolean and integer arithmetics over encrypted data.
It includes:
TFHE-rs is designed for developers and researchers who want full control over
what they can do with TFHE, while not having to worry about the low-level
implementation. The goal is to have a stable, simple, high-performance, and
production-ready library for all the advanced features of TFHE.
Learn more about TFHE-rs features in the documentation.
[!Important] TFHE-rs released its first stable version v1.0.0 in February 2025, stabilizing the high-level API for the x86 CPU backend.
To use the latest version of TFHE-rs in your project, you first need to add it as a dependency in your Cargo.toml:
tfhe = { version = "*", features = ["boolean", "shortint", "integer"] }[!Note] Note: You need Rust version 1.91.1 or newer to compile TFHE-rs. You can check your version with
rustc --version.
[!Note] Note: AArch64-based machines are not supported for Windows as it's currently missing an entropy source to be able to seed the CSPRNGs used in TFHE-rs.
Here is a full example:
…To run this code, use the following command:
cargo run --release
[!Note] Note that when running code that uses
TFHE-rs, it is highly recommended to run in release mode with cargo's--releaseflag to have the best performance possible.
[!Tip] On Linux, enabling transparent huge pages gives a noticeable additional speedup when using many threads. See System tuning for details.
Find an example with more explanations in this part of the documentation
A document containing scientific and technical details about algorithms implemented into the library is available here: TFHE-rs: A (Practical) Handbook.
Explore more useful resources in TFHE-rs tutorials and Awesome Zama repo
Full, comprehensive documentation is available here: https://docs.zama.org/tfhe-rs.
Security estimations are done using the
Lattice Estimator
with red_cost_model = reduction.RC.BDGL16.
When a new update is published in the Lattice Estimator, we update parameters accordingly.
By default, the parameter sets used in the High-Level API have a failure probability $\le 2^{-128}$ to securely work in the IND-CPA^D model using the algorithmic techniques provided in our code base [1]. If you want to work within the IND-CPA security model, which is less strict than the IND-CPA-D model, the parameter sets can easily be changed and would have slightly better performance. More details can be found in the TFHE-rs documentation.
[1] Bernard, Olivier, et al. "Drifting Towards Better Error Probabilities in Fully Homomorphic Encryption Schemes". https://eprint.iacr.org/2024/1718.pdf
[2] Li, Baiyu, et al. "Securing approximate homomorphic encryption using differential privacy." Annual International Cryptology Conference. Cham: Springer Nature Switzerland, 2022. https://eprint.iacr.org/2022/816.pdf
Mitigation for side-channel attacks has not yet been implemented in TFHE-rs,
and will be released in upcoming versions.
To cite TFHE-rs in academic papers, please use the following entry:
@Misc{TFHE-rs,
title={{TFHE-rs: A Pure Rust Implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data}},
author={Zama},
year={2022},
note={\\url{https://github.com/zama-ai/tfhe-rs}},
}This repository uses an issue-first contribution workflow. Read this for more details.
This software is distributed under the BSD-3-Clause-Clear license. Read this for more details.
Is Zama’s technology free to use?
Zama’s libraries are free to use under the BSD 3-Clause Clear license only for development, research, prototyping, and experimentation purposes. However, for any commercial use of Zama's open source code, companies must purchase Zama’s commercial patent license.
Everything we do is open source and we are very transparent on what it means for our users, you can read more about how we monetize our open source products at Zama in this blogpost.
What do I need to do if I want to use Zama’s technology for commercial purposes?
To commercially use Zama’s technology you need to be granted Zama’s patent license. Please contact us [email protected] for more information.
Do you file IP on your technology?
Yes, all Zama’s technologies are patented.
Can you customize a solution for my specific use case?
We are open to collaborating and advancing the FHE space with our partners. If you have specific needs, please email us at [email protected].
If you find this project helpful or interesting, please consider giving it a star on GitHub! Your support helps to grow the community and motivates further development.
暂无开放 Issues，或尚未同步最近议题。