The list of supported operations by the homomorphic Booleans is:
| Operation Name | type |
|---|---|
A walk-through using homomorphic Booleans can be found here.
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 |
|---|---|
* 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.
not
Unary
and
Binary
or
Binary
xor
Binary
nor
Binary
xnor
Binary
cmux
Ternary
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