1use poulpy_hal::{
  2    api::{
  3        ScratchAvailable, SvpApplyDftToDftInplace, TakeVecZnx, TakeVecZnxDft, VecZnxAddInplace, VecZnxAddNormal,
  4        VecZnxAddScalarInplace, VecZnxBigNormalize, VecZnxDftAllocBytes, VecZnxDftApply, VecZnxFillUniform,
  5        VecZnxIdftApplyConsume, VecZnxNormalize, VecZnxNormalizeInplace, VecZnxNormalizeTmpBytes, VecZnxSub, VecZnxSubInplace,
  6    },
  7    layouts::{Backend, DataMut, DataRef, Module, ScalarZnx, Scratch, ZnxZero},
  8    source::Source,
  9};
 10
 11use crate::{
 12    TakeGLWEPt,
 13    encryption::{SIGMA, glwe_encrypt_sk_internal},
 14    layouts::{GGLWECiphertext, GGLWEInfos, LWEInfos, compressed::GGLWECiphertextCompressed, prepared::GLWESecretPrepared},
 15};
 16
 17impl GGLWECiphertextCompressed<Vec<u8>> {
 18    pub fn encrypt_sk_scratch_space<B: Backend, A>(module: &Module<B>, infos: &A) -> usize
 19    where
 20        A: GGLWEInfos,
 21        Module<B>: VecZnxNormalizeTmpBytes + VecZnxDftAllocBytes + VecZnxNormalizeTmpBytes,
 22    {
 23        GGLWECiphertext::encrypt_sk_scratch_space(module, infos)
 24    }
 25}
 26
 27impl<D: DataMut> GGLWECiphertextCompressed<D> {
 28    #[allow(clippy::too_many_arguments)]
 29    pub fn encrypt_sk<DataPt: DataRef, DataSk: DataRef, B: Backend>(
 30        &mut self,
 31        module: &Module<B>,
 32        pt: &ScalarZnx<DataPt>,
 33        sk: &GLWESecretPrepared<DataSk, B>,
 34        seed: [u8; 32],
 35        source_xe: &mut Source,
 36        scratch: &mut Scratch<B>,
 37    ) where
 38        Module<B>: VecZnxAddScalarInplace
 39            + VecZnxDftAllocBytes
 40            + VecZnxBigNormalize<B>
 41            + VecZnxDftApply<B>
 42            + SvpApplyDftToDftInplace<B>
 43            + VecZnxIdftApplyConsume<B>
 44            + VecZnxNormalizeTmpBytes
 45            + VecZnxFillUniform
 46            + VecZnxSubInplace
 47            + VecZnxAddInplace
 48            + VecZnxNormalizeInplace<B>
 49            + VecZnxAddNormal
 50            + VecZnxNormalize<B>
 51            + VecZnxSub,
 52        Scratch<B>: TakeVecZnxDft<B> + ScratchAvailable + TakeVecZnx,
 53    {
 54        #[cfg(debug_assertions)]
 55        {
 56            use poulpy_hal::layouts::ZnxInfos;
 57
 58            assert_eq!(
 59                self.rank_in(),
 60                pt.cols() as u32,
 61                "self.rank_in(): {} != pt.cols(): {}",
 62                self.rank_in(),
 63                pt.cols()
 64            );
 65            assert_eq!(
 66                self.rank_out(),
 67                sk.rank(),
 68                "self.rank_out(): {} != sk.rank(): {}",
 69                self.rank_out(),
 70                sk.rank()
 71            );
 72            assert_eq!(self.n(), sk.n());
 73            assert_eq!(pt.n() as u32, sk.n());
 74            assert!(
 75                scratch.available() >= GGLWECiphertextCompressed::encrypt_sk_scratch_space(module, self),
 76                "scratch.available: {} < GGLWECiphertext::encrypt_sk_scratch_space: {}",
 77                scratch.available(),
 78                GGLWECiphertextCompressed::encrypt_sk_scratch_space(module, self)
 79            );
 80            assert!(
 81                self.dnum().0 * self.dsize().0 * self.base2k().0 <= self.k().0,
 82                "self.dnum() : {} * self.dsize() : {} * self.base2k() : {} = {} >= self.k() = {}",
 83                self.dnum(),
 84                self.dsize(),
 85                self.base2k(),
 86                self.dnum().0 * self.dsize().0 * self.base2k().0,
 87                self.k()
 88            );
 89        }
 90
 91        let dnum: usize = self.dnum().into();
 92        let dsize: usize = self.dsize().into();
 93        let base2k: usize = self.base2k().into();
 94        let rank_in: usize = self.rank_in().into();
 95        let cols: usize = (self.rank_out() + 1).into();
 96
 97        let mut source_xa = Source::new(seed);
 98
 99        let (mut tmp_pt, scrach_1) = scratch.take_glwe_pt(self);
100        (0..rank_in).for_each(|col_i| {
101            (0..dnum).for_each(|d_i| {
102                // Adds the scalar_znx_pt to the i-th limb of the vec_znx_pt
103                tmp_pt.data.zero(); // zeroes for next iteration
104                module.vec_znx_add_scalar_inplace(&mut tmp_pt.data, 0, (dsize - 1) + d_i * dsize, pt, col_i);
105                module.vec_znx_normalize_inplace(base2k, &mut tmp_pt.data, 0, scrach_1);
106
107                let (seed, mut source_xa_tmp) = source_xa.branch();
108                self.seed[col_i * dnum + d_i] = seed;
109
110                glwe_encrypt_sk_internal(
111                    module,
112                    self.base2k().into(),
113                    self.k().into(),
114                    &mut self.at_mut(d_i, col_i).data,
115                    cols,
116                    true,
117                    Some((&tmp_pt, 0)),
118                    sk,
119                    &mut source_xa_tmp,
120                    source_xe,
121                    SIGMA,
122                    scrach_1,
123                );
124            });
125        });
126    }
127}