Properties of a FHE Program

Current state-of-the-art in FHE (including our work) enables unbounded computation, meaning programs of arbitrary length can be executed.

We support many common operations such as addition, multiplication, and comparison. There are some restrictions on what can be expressed due to the encrypted nature of the computation. This section will go over these basics as well as inherent limitations of FHE programs.