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

feat: use optimized private packing keyswitch

Browse Source
This commit is contained in:
rudy
2022-11-15 12:13:08 +01:00
committed by rudy-6-4
parent 55ea6f8e1b
commit 80818bfc5d
2 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: d0654c0fa7...b49a0b3718

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

@@ -144,7 +144,9 @@ static void display(optimizer::Description &descr,
<< " wopPbs : " << (sol.use_wop_pbs ? "true" : "false") << "\n";
if (sol.use_wop_pbs) {
o() << " |cb_decomp l,b=" << sol.cb_decomposition_level_count << ","
<< sol.cb_decomposition_base_log << "\n";
<< sol.cb_decomposition_base_log << "\n"
<< " |pp_decomp l,b=" << sol.pp_decomposition_level_count << ","
<< sol.pp_decomposition_base_log << "\n";
}
o() << "---\n";
@@ -236,16 +238,12 @@ llvm::Expected<V0Parameter> getParameter(optimizer::Description &descr,
}
lParams.wopPBS.circuitBootstrap.baseLog = sol.cb_decomposition_base_log;
lParams.wopPBS.circuitBootstrap.level = sol.cb_decomposition_level_count;
// FIXME: For now the packing keyswitch parameter are the same than the
// blind rotate one. But that should be done on the optimizer size and
// moreover this assumption could change.
// TODO - change
lParams.wopPBS.packingKeySwitch.inputLweDimension =
sol.internal_ks_output_lwe_dimension + 1;
lParams.wopPBS.packingKeySwitch.outputPolynomialSize =
sol.glwe_polynomial_size;
lParams.wopPBS.packingKeySwitch.level = sol.br_decomposition_level_count;
lParams.wopPBS.packingKeySwitch.baseLog = sol.br_decomposition_base_log;
lParams.wopPBS.packingKeySwitch.level = sol.pp_decomposition_level_count;
lParams.wopPBS.packingKeySwitch.baseLog = sol.pp_decomposition_base_log;
params.largeInteger = lParams;
}