Supported Operations

Boolean

The list of supported operations by the homomorphic Booleans is:

Operation Name	type
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 name	Type
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.