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

fix: Now the maximum precision is 16bits

Browse Source
This commit is contained in:
Quentin Bourgerie
2022-08-12 10:05:24 +02:00
parent 10f4769dae
commit d647bc735f
3 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/concrete-optimizer

Submodule compiler/concrete-optimizer updated: 9c4fc43ae9...4fffc26bbc

4
compiler/lib/Support/V0Parameters.cpp
View File

@@ -95,9 +95,7 @@ llvm::Expected<V0Parameter> getParameter(optimizer::Description &descr,
if (sol.p_error == 1.0) {
// The optimizer return a p_error = 1 if there is no solution
return StreamStringError()
<< "Could not determine V0 parameters for 2-norm of "
<< descr.constraint.norm2 << " and p of " << descr.constraint.p;
return StreamStringError() << "Cannot find crypto parameters";
}
V0Parameter params;

8
compiler/tests/check_tests/Dialect/FHE/eint_error_p_too_big.mlir
View File

@@ -1,7 +1,7 @@
// RUN: not concretecompiler --action=dump-llvm-ir %s 2>&1| FileCheck %s
// CHECK-LABEL: Could not determine V0 parameters
func.func @test(%arg0: !FHE.eint<9>, %arg1: tensor<512xi64>) -> !FHE.eint<9> {
%1 = "FHE.apply_lookup_table"(%arg0, %arg1): (!FHE.eint<9>, tensor<512xi64>) -> (!FHE.eint<9>)
return %1 : !FHE.eint<9>
// CHECK-LABEL: Cannot find crypto parameters
func.func @test(%arg0: !FHE.eint<17>, %arg1: tensor<131072xi64>) -> !FHE.eint<17> {
%1 = "FHE.apply_lookup_table"(%arg0, %arg1): (!FHE.eint<17>, tensor<131072xi64>) -> (!FHE.eint<17>)
return %1 : !FHE.eint<17>
}