pub trait VecZnxBigAddNormalBackend<B>where
B: Backend,{
// Required method
fn vec_znx_big_add_normal_backend(
&self,
base2k: usize,
res: &mut VecZnxBig<<B as Backend>::BufMut<'_>, B>,
res_col: usize,
noise_infos: NoiseInfos,
seed: [u8; 32],
);
}