Supported Operations

Boolean

The list of supported operations by the homomorphic Booleans is:

Operation Nametype

not

Unary

and

Binary

or

Binary

xor

Binary

nor

Binary

xnor

Binary

cmux

Ternary

A walk-through using homomorphic Booleans can be found here.

ShortInt

In TFHE-rs, shortint represents short unsigned integers encoded over a maximum of 8 bits. A complete homomorphic arithmetic is provided, along with the possibility to compute univariate and bi-variate functions. Some operations are only available for integers up to 4 bits. More technical details can be found here.

The list of supported operations is:

Operation nameType

Negation

Unary

Addition

Binary

Subtraction

Binary

Multiplication

Binary

Division*

Binary

Modular reduction

Binary

Comparisons

Binary

Left/Right Shift

Binary

And

Binary

Or

Binary

Xor

Binary

Exact Function Evaluation

Unary/Binary

* The division operation implements a subtlety: since data is encrypted, it might be possible to compute a division by 0. In this case, the division is tweaked so that dividing by 0 returns 0.

A walk-through example can be found here, and more examples and explanations can be found here.

Last updated