Nikita Frolov 73a992f0a6 refactor(compiler): generalize noise calculation in FHE/FHELinalg ...

Instead of having one `getSQManp` implementation per op with a lot of repetition, the noise
calculation is now modular.

- Ops that implements`UnaryEint`/`BinaryInt`/`BinaryEint` interfaces share the operand noise
presence check.
- For many scalar ops no further calculation is needed. If it's not the case, an op can override
`sqMANP`.
- Integer operand types lookups are abstracted into `BinaryInt::operandIntType()`
- Finding largest operand value for a type is abstracted into `BinaryInt::operandMaxConstant`
- Noise calculation for matmul ops is simplified and it's now general enough to work for
`matmul_eint_int`, `matmul_int_eint` and `dot_eint_int` at once.

2023-09-12 14:51:53 +01:00

..

concrete-compiler

refactor(compiler): generalize noise calculation in FHE/FHELinalg

2023-09-12 14:51:53 +01:00

concrete-optimizer

feat(optimizer): levelled circuit, no power of two constraint

2023-09-08 14:26:32 +02:00