arnaucube
arnaucube/poulpyPublic Self-hosted repository
poulpy/rlwe/src/test_fft64/elem_rgsw.rs
rlwe/src/test_fft64/elem_rgsw.rsRaw
 1#[cfg(test)]
 2mod tests {
 3    use base2k::{
 4        FFT64, Module, ScalarZnx, ScalarZnxAlloc, ScalarZnxDftOps, ScratchOwned, Stats, VecZnxBig, VecZnxBigAlloc, VecZnxBigOps,
 5        VecZnxDft, VecZnxDftAlloc, VecZnxDftOps, VecZnxOps, ZnxZero,
 6    };
 7    use sampling::source::Source;
 8
 9    use crate::{
10        elem::Infos,
11        elem_rgsw::RGSWCt,
12        elem_rlwe::{RLWECtDft, RLWEPt},
13        keys::{SecretKey, SecretKeyDft},
14    };
15
16    #[test]
17    fn encrypt_rgsw_sk() {
18        let module: Module<FFT64> = Module::<FFT64>::new(2048);
19        let log_base2k: usize = 8;
20        let log_k_ct: usize = 54;
21        let rows: usize = 4;
22
23        let sigma: f64 = 3.2;
24        let bound: f64 = sigma * 6.0;
25
26        let mut ct: RGSWCt<Vec<u8>, FFT64> = RGSWCt::new(&module, log_base2k, log_k_ct, rows);
27        let mut pt_have: RLWEPt<Vec<u8>> = RLWEPt::new(&module, log_base2k, log_k_ct);
28        let mut pt_want: RLWEPt<Vec<u8>> = RLWEPt::new(&module, log_base2k, log_k_ct);
29        let mut pt_scalar: ScalarZnx<Vec<u8>> = module.new_scalar_znx(1);
30
31        let mut source_xs: Source = Source::new([0u8; 32]);
32        let mut source_xe: Source = Source::new([0u8; 32]);
33        let mut source_xa: Source = Source::new([0u8; 32]);
34
35        pt_scalar.fill_ternary_hw(0, module.n(), &mut source_xs);
36
37        let mut scratch: ScratchOwned = ScratchOwned::new(
38            RGSWCt::encrypt_sk_scratch_space(&module, ct.size()) | RLWECtDft::decrypt_scratch_space(&module, ct.size()),
39        );
40
41        let mut sk: SecretKey<Vec<u8>> = SecretKey::new(&module);
42        sk.fill_ternary_prob(0.5, &mut source_xs);
43
44        let mut sk_dft: SecretKeyDft<Vec<u8>, FFT64> = SecretKeyDft::new(&module);
45        sk_dft.dft(&module, &sk);
46
47        ct.encrypt_sk(
48            &module,
49            &pt_scalar,
50            &sk_dft,
51            &mut source_xa,
52            &mut source_xe,
53            sigma,
54            bound,
55            scratch.borrow(),
56        );
57
58        let mut ct_rlwe_dft: RLWECtDft<Vec<u8>, FFT64> = RLWECtDft::new(&module, log_base2k, log_k_ct);
59        let mut pt_dft: VecZnxDft<Vec<u8>, FFT64> = module.new_vec_znx_dft(1, ct.size());
60        let mut pt_big: VecZnxBig<Vec<u8>, FFT64> = module.new_vec_znx_big(1, ct.size());
61
62        (0..ct.cols()).for_each(|col_j| {
63            (0..ct.rows()).for_each(|row_i| {
64                module.vec_znx_add_scalar_inplace(&mut pt_want, 0, row_i, &pt_scalar, 0);
65
66                if col_j == 1 {
67                    module.vec_znx_dft(&mut pt_dft, 0, &pt_want, 0);
68                    module.svp_apply_inplace(&mut pt_dft, 0, &sk_dft, 0);
69                    module.vec_znx_idft_tmp_a(&mut pt_big, 0, &mut pt_dft, 0);
70                    module.vec_znx_big_normalize(log_base2k, &mut pt_want, 0, &pt_big, 0, scratch.borrow());
71                }
72
73                ct.get_row(&module, row_i, col_j, &mut ct_rlwe_dft);
74
75                ct_rlwe_dft.decrypt(&module, &mut pt_have, &sk_dft, scratch.borrow());
76
77                module.vec_znx_sub_ab_inplace(&mut pt_have, 0, &pt_want, 0);
78
79                let std_pt: f64 = pt_have.data.std(0, log_base2k) * (log_k_ct as f64).exp2();
80                assert!((sigma - std_pt).abs() <= 0.2, "{} {}", sigma, std_pt);
81
82                pt_want.data.zero();
83            });
84        });
85
86        module.free();
87    }
88}