How to perform exact homomorphic computation with Concrete?

It is possible to have exact computation with Concrete. To do so, we have to use the encoders in a rounding setting.

We can then use functions such as add_with_padding_exact that are designed to work in this exact context.

A Toy Example

There is an example of homomorphic computation on 3-bit integers in this demo project.