arnaucube/poulpy
1
0
Fork 0
mirror of https://github.com/arnaucube/poulpy.git synced 2026-02-10 13:16:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

scope shuffling for encryption of rlwe with sk

Browse Source
This commit is contained in:
Jean-Philippe Bossuat
2025-05-06 14:40:57 +02:00
parent 4efe22e723
commit 645f1a94ac
1 changed files with 18 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
rlwe/src/encryption.rs
View File

@@ -48,24 +48,29 @@ where
let mut ct_mut: VecZnx<&mut [u8]> = ct.data_mut().to_mut(); let mut ct_mut: VecZnx<&mut [u8]> = ct.data_mut().to_mut();
let size: usize = ct_mut.size(); let size: usize = ct_mut.size();
// c1 = a
ct_mut.fill_uniform(log_base2k, 1, size, source_xa); ct_mut.fill_uniform(log_base2k, 1, size, source_xa);
// c1_dft = DFT(a) * DFT(s) let (mut c0_big, scratch_1) = scratch.tmp_vec_znx_big(module, 1, size);
let (mut c1_dft, scratch_1) = scratch.tmp_vec_znx_dft(module, 1, size);
module.svp_apply(&mut c1_dft, 0, &sk.data().to_ref(), 0, &ct_mut, 1);
// c1_big = IDFT(c1_dft) {
let (mut c1_big, scratch_2) = scratch_1.tmp_vec_znx_big(module, 1, size); let (mut c0_dft, _) = scratch_1.tmp_vec_znx_dft(module, 1, size);
module.vec_znx_idft_tmp_a(&mut c1_big, 0, &mut c1_dft, 0);
// c1_big = m - c1_big // c0_dft = DFT(a) * DFT(s)
module.svp_apply(&mut c0_dft, 0, &sk.data().to_ref(), 0, &ct_mut, 1);
// c0_big = IDFT(c0_dft)
module.vec_znx_idft_tmp_a(&mut c0_big, 0, &mut c0_dft, 0);
}
// c0_big = m - c0_big
if let Some(pt) = pt { if let Some(pt) = pt {
module.vec_znx_big_sub_small_b_inplace(&mut c1_big, 0, &pt.data().to_ref(), 0); module.vec_znx_big_sub_small_b_inplace(&mut c0_big, 0, &pt.data().to_ref(), 0);
} }
// c1_big += e // c0_big += e
c1_big.add_normal(log_base2k, 0, log_q, source_xe, sigma, bound); c0_big.add_normal(log_base2k, 0, log_q, source_xe, sigma, bound);
// c0 = norm(c1_big) // c0 = norm(c0_big = -as + m + e)
module.vec_znx_big_normalize(log_base2k, &mut ct_mut, 0, &c1_big, 0, scratch_2); module.vec_znx_big_normalize(log_base2k, &mut ct_mut, 0, &c0_big, 0, scratch_1);
} }
} }