Expand description
§Fheanor
§A toolkit library to build Homomorphic Encryption
Building on feanor-math, this library provides efficient implementations of various building blocks for Homomorphic Encryption (HE).
The focus is on implementations of the ring R_q = Z[X]/(Phi_m(X), q) as required for second-generation HE schemes (like BGV, BFV), but also contains many other components and schemes.
The goal of this library is not to provide an easy-to-use implementation of homomorphic encryptions for use in applications - there are many good libraries for that already. Instead, the goal is to provide a toolkit for researchers that simplifies implementing variants of existing HE schemes, as well as new HE schemes.
Note Fheanor was previously called “HE-Ring”.
§Features
In short, Fheanor contains the following:
- Multiple efficient implementations of arithmetic in the ring
R_q, which provide different performance characteristics (supporting arbitrarym) - An implementation of the isomorphism
R/(p^e) = GR(p, e, d) x ... x GR(p, e, d)via “hypercube structures” (compare “Bootstrapping for HElib” by Halevi and Shoup, https://ia.cr/2014/873) - An implementation of “gadget products”, i.e. the certain kind of inner product that is used in HE schemes to multiply ciphertexts with lower noise growth
- Fast “RNS-conversions”, i.e. non-algebraic operations like rounding, implemented directly on the values
x mod p_1, ..., x mod p_rfor different primesp_1, ..., p_r - Implementations of the BFV, BGV and CLPX encryption schemes
- Bootstrapping for BFV and BGV
- Tools for arithmetization, including modelling of arithmetic circuits, polynomial-to-circuit conversion via Paterson-Stockmeyer and HElib-style linear transforms
The following features are available partially, and/or WIP:
- Noise estimation and optional automated modulus-switching for BGV
§Examples
In addition to the API documentation, detailed guides and examples to some parts of Fheanor can be found in crate::examples.
§Notation (comparison with HElib)
We sometimes use notation differently from the way it is used in HElib, and follow instead most modern HE literature. In particular, we use the following letters:
| Fheanor | HElib | Meaning |
|---|---|---|
m * | m | Index (sometimes conductor) of the cyclotomic number ring |
n * | n | Degree of the number ring |
digits | c | Number of parts to decompose into during gadget products |
log2(q) | bits | Size of the ciphertext modulus |
or log2_q | ||
p | p | Prime factor of the plaintext modulus |
r | r | Exponent of the plaintext modulus |
t | none | Plaintext modulus p^r |
l[i] | ords[i] | Length of the i-th hypercube dimension |
n/d or l | Total number of slots | |
sk_hwt | skHwt | Hamming weight of the secret key (if chosen to be sparse) |
Phi_m | m-th cyclotomic polynomial |
mwas previously callednin Fheanor, withnbeing referred to only asphi(n). For consistency with previous work, this has been renamed.
§SemVer and Backward Compatibility
As indicated by the 0.x.y SemVer version, Fheanor is still in an alpha phase, and every new release may contain breaking changes.
In fact, most of the version I published recently contained many significant breaking changes.
Hence, it is recommended to fix the used version of Fheanor, using version = "=0.x.y" in your Cargo.toml, and only upgrade when you are willing to adjust to the new API changes.
This will be different once we reach version 1.0.0 (although I will probably use the stability crate to mark unstable APIs, as already done for feanor-math).
§Performance
When optimizing for performance, please use the Intel HEXL library (by enabling the feature use_hexl and providing a build of HEXL, as described in more detail in the documentation of feanor-math-hexl), since the default NTT does not provide SOTA performance (this is being worked on, and improving). Also note that Fheanor is currently single-threaded (as usual, type implementing std::marker::Sync are thread-safe, which includes basically all types in Fheanor).
Note that while this library is already quite optimized, it may not be fully competitive with other HE libraries that have existed for longer and thus received more optimization effort. Also, our goal of providing a modular toolkit of building blocks makes some kinds of optimizations more difficult, since components cannot always make as many assumptions on the input as they could if they only support a single HE scheme.
§Profiling
Fheanor is instrumented using the framework defined by the Rust library tracing.
Hence, running any Fheanor functions with an active tracing subscriber will generate corresponding tracing events that the subscriber can use for profiling purposes.
There are various crates that implement tracing subscribers with profiling functionality.
For tests within this crate, we use tracing-chrome which generates Perfetto json trace files (can be displayed by Google Chrome without requiring plugins).
In particular, if you enable ignored tests and run one of the measure_time_-prefixed test in this crate, this will generate a trace file.
Of course, this is only included on test builds, in library builds, the parent application is free to configure tracing as desired.
§Disclaimer
This library has been designed for research on homomorphic encryption. I did not have practical considerations (like side-channel resistance) in mind, and advise against using using it in production.
§How to cite Fheanor
Please use the following bibtex entry to cite Fheanor:
@misc{cryptoeprint:2025/864,
author = {Hiroki Okada and Rachel Player and Simon Pohmann},
title = {Fheanor: a new, modular {FHE} library for designing and optimising schemes},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/864},
year = {2025},
url = {https://eprint.iacr.org/2025/864}
}§License
Fheanor is licensed under the MIT license.
Modules§
- bfv
- Contains an implementation of the BFV scheme.
- bgv
- Contains an implementation of the BGV scheme.
- cache
- Contains some utilities to cache certain objects on disk.
- ciphertext_
ring - Implementation of rings using double-RNS representation.
- circuit
- The implementation of arithmetic-galois circuits (i.e. circuits built from linear combination, multiplication and galois gates).
- clpx
- Contains an implementation of the CLPX/GBFV scheme.
- digit_
extract - Contains algorithms to build arithmetic circuits, with a focus on digit extraction polynomials.
- examples
- This is a workaround for displaying examples on
docs.rs. - gadget_
product - Contains an implementation of “gadget products”, which are a form of inner products that are commonly used in HE to compute multiplications of noisy values in a way that reduces the increase in noise.
- lin_
transform - Contains algorithms to compute linear transformations and represent them as linear combination of Galois automorphisms, as required for (second-generation) HE schemes.
- ntt
- Contains an abstraction for NTTs and convolutions, which can then be used to configure the ring implementations in this crate.
- number_
ring - Contains an HE-specific abstraction for number rings.
- prepared_
mul - rns_
conv - Implementation of fast RNS conversion algorithms.
Macros§
Traits§
- NiceZn
- Trait for
ZnRings that have additional functionality, which is required in many different situations throughout this crate.
Functions§
- log_
time - Runs the given function. If
LOGis true, its running time is printed to stdout.
Type Aliases§
- Default
Ciphertext Allocator - The default allocator for ciphertext ring elements, which will be used by all tests and benchmarks. It is also a good choice when instantiating homomorphic encryption as a user.
- Default
Convolution - The default convolution algorithm that will be used by all tests and benchmarks. It is also a good choice when instantiating homomorphic encryption as a user.
- Default
NegacyclicNTT - The default algorithm for computing negacyclic NTTs that will be used by all tests and benchmarks. It is also a good choice when instantiating homomorphic encryption as a user.