github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-02-18 00:21:36 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix(ci): fix the doc verification

Browse Source
This commit is contained in:
Alexandre Péré
2024-01-25 10:19:14 +01:00
committed by Alexandre Péré
parent a02bf3bae9
commit f113e8bcfe
2 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
compilers/concrete-compiler/compiler/include/concretelang/Dialect/FHE/IR/FHEOps.td
View File

@@ -460,7 +460,7 @@ def FHE_LsbEintOp: FHE_Op<"lsb", [Pure, UnaryEint, ConstantNoise]> {
let summary = "Extract the lowest significant bit at a given precision.";
let description = [{
This operation extract the lsb of a ciphertext in a specific precision.
This operation extracts the lsb of a ciphertext in a specific precision.
Extracting the lsb with the smallest precision:
```mlir
@@ -499,14 +499,14 @@ def FHE_ReinterpretPrecisionEintOp: FHE_Op<"reinterpret_precision", [Pure, Unary
let description = [{
Changing the precision of a ciphertext.
It change both the precision, the value and in certain case the correctness of the cyphertext.
It changes both the precision, the value, and in certain cases the correctness of the ciphertext.
Changing to
- a bigger precision is always safe.
This is equivalent to a shift left for the value
This is equivalent to a shift left for the value.
- a smaller precision is only safe if you clear the lowest bits that are discarded.
If not, you can assume small errors on the next TLU.
This is equivalent to a shift right for the value
This is equivalent to a shift right for the value.
Example:
```mlir

12
compilers/concrete-compiler/compiler/include/concretelang/Dialect/FHELinalg/IR/FHELinalgOps.td
View File

@@ -1355,7 +1355,7 @@ def FHELinalg_LsbEintOp: FHELinalg_Op<"lsb", [Pure, TensorUnaryEint, UnaryEint,
let summary = "Extract the lowest significant bit at a given precision.";
let description = [{
This operation extract the lsb of a ciphertext tensor in a specific precision.
This operation extracts the lsb of a ciphertext tensor in a specific precision.
Extracting only 1 bit:
```mlir
@@ -1388,14 +1388,14 @@ def FHELinalg_ReinterpretPrecisionEintOp: FHELinalg_Op<"reinterpret_precision",
let summary = "Reinterpret the ciphertext tensor with a different precision.";
let description = [{
It's a reinterpret cast changing only the precision.
It's a reinterpretation cast which changes only the precision.
On CRT represention, it does nothing.
On Native representation, it moves the message/noise frontier, effectively changing the precision.
On Native representation, it moves the message/noise further forward, effectively changing the precision.
Changing to
- a bigger precision is safe, as the crypto-parameters are chosen such that only zeros will comes from the noise part.
- a bigger precision is safe, as the crypto-parameters are chosen such that only zeros will come from the noise part.
This is equivalent to a shift left for the value
- a smaller precision is only safe if you clear the message lowests bits first.
If not, you can assume small errors with high probability and frequent bigger errors, which can be contained to smalls errors using margins.
- a smaller precision is only safe if you clear the lowest message bits first.
If not, you can assume small errors with high probability and frequent bigger errors, which can be contained to small errors using margins.
This is equivalent to a shift right for the value
Example: