1use backend::hal::{
 2    api::{ScratchAvailable, TakeVecZnx, TakeVecZnxDft, VecZnxAddScalarInplace, VecZnxNormalizeInplace, ZnxZero},
 3    layouts::{Backend, DataMut, DataRef, Module, ScalarZnx, Scratch, VecZnx},
 4};
 5use sampling::source::Source;
 6
 7use crate::{
 8    TakeGLWEPt,
 9    layouts::{GGSWCiphertext, GLWECiphertext, Infos, prepared::GLWESecretExec},
10};
11
12use crate::trait_families::GLWEEncryptSkFamily;
13
14pub trait GGSWEncryptSkFamily<B: Backend> = GLWEEncryptSkFamily<B>;
15
16impl GGSWCiphertext<Vec<u8>> {
17    pub fn encrypt_sk_scratch_space<B: Backend>(module: &Module<B>, n: usize, basek: usize, k: usize, rank: usize) -> usize
18    where
19        Module<B>: GGSWEncryptSkFamily<B>,
20    {
21        let size = k.div_ceil(basek);
22        GLWECiphertext::encrypt_sk_scratch_space(module, n, basek, k)
23            + VecZnx::alloc_bytes(n, rank + 1, size)
24            + VecZnx::alloc_bytes(n, 1, size)
25            + module.vec_znx_dft_alloc_bytes(n, rank + 1, size)
26    }
27}
28
29impl<DataSelf: DataMut> GGSWCiphertext<DataSelf> {
30    pub fn encrypt_sk<DataPt: DataRef, DataSk: DataRef, B: Backend>(
31        &mut self,
32        module: &Module<B>,
33        pt: &ScalarZnx<DataPt>,
34        sk: &GLWESecretExec<DataSk, B>,
35        source_xa: &mut Source,
36        source_xe: &mut Source,
37        sigma: f64,
38        scratch: &mut Scratch<B>,
39    ) where
40        Module<B>: GGSWEncryptSkFamily<B> + VecZnxAddScalarInplace,
41        Scratch<B>: TakeVecZnxDft<B> + ScratchAvailable + TakeVecZnx,
42    {
43        #[cfg(debug_assertions)]
44        {
45            use backend::hal::api::ZnxInfos;
46
47            assert_eq!(self.rank(), sk.rank());
48            assert_eq!(self.n(), sk.n());
49            assert_eq!(pt.n(), sk.n());
50        }
51
52        let basek: usize = self.basek();
53        let k: usize = self.k();
54        let rank: usize = self.rank();
55        let digits: usize = self.digits();
56
57        let (mut tmp_pt, scratch1) = scratch.take_glwe_pt(self.n(), basek, k);
58
59        (0..self.rows()).for_each(|row_i| {
60            tmp_pt.data.zero();
61
62            // Adds the scalar_znx_pt to the i-th limb of the vec_znx_pt
63            module.vec_znx_add_scalar_inplace(&mut tmp_pt.data, 0, (digits - 1) + row_i * digits, pt, 0);
64            module.vec_znx_normalize_inplace(basek, &mut tmp_pt.data, 0, scratch1);
65
66            (0..rank + 1).for_each(|col_j| {
67                // rlwe encrypt of vec_znx_pt into vec_znx_ct
68
69                self.at_mut(row_i, col_j).encrypt_sk_internal(
70                    module,
71                    Some((&tmp_pt, col_j)),
72                    sk,
73                    source_xa,
74                    source_xe,
75                    sigma,
76                    scratch1,
77                );
78            });
79        });
80    }
81}