mirror of
https://github.com/arnaucube/poulpy.git
synced 2026-02-10 13:16:44 +01:00
Add test for ggsw scalar blind rotation
This commit is contained in:
@@ -3,7 +3,7 @@ use poulpy_backend::FFT64Ref;
|
||||
use crate::tfhe::{
|
||||
bdd_arithmetic::tests::test_suite::{
|
||||
test_bdd_add, test_bdd_and, test_bdd_or, test_bdd_prepare, test_bdd_sll, test_bdd_slt, test_bdd_sltu, test_bdd_sra,
|
||||
test_bdd_srl, test_bdd_sub, test_bdd_xor, test_glwe_blind_rotation,
|
||||
test_bdd_srl, test_bdd_sub, test_bdd_xor, test_ggsw_blind_rotation, test_glwe_blind_rotation,
|
||||
},
|
||||
blind_rotation::CGGI,
|
||||
};
|
||||
@@ -13,6 +13,11 @@ fn test_glwe_blind_rotation_fft64_ref() {
|
||||
test_glwe_blind_rotation::<FFT64Ref>()
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_ggsw_blind_rotation_fft64_ref() {
|
||||
test_ggsw_blind_rotation::<FFT64Ref>()
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_bdd_prepare_fft64_ref() {
|
||||
test_bdd_prepare::<CGGI, FFT64Ref>()
|
||||
|
||||
@@ -0,0 +1,149 @@
|
||||
use poulpy_core::{
|
||||
GGSWEncryptSk, GGSWNoise, GLWEDecrypt, GLWEEncryptSk, SIGMA, ScratchTakeCore,
|
||||
layouts::{
|
||||
Base2K, Degree, Dnum, Dsize, GGSW, GGSWLayout, GGSWPreparedFactory, GLWESecret, GLWESecretPrepared,
|
||||
GLWESecretPreparedFactory, LWEInfos, Rank, TorusPrecision,
|
||||
},
|
||||
};
|
||||
use poulpy_hal::{
|
||||
api::{ModuleNew, ScratchOwnedAlloc, ScratchOwnedBorrow, VecZnxRotateInplace},
|
||||
layouts::{Backend, Module, ScalarZnx, Scratch, ScratchOwned, ZnxView, ZnxViewMut},
|
||||
source::Source,
|
||||
};
|
||||
use rand::RngCore;
|
||||
|
||||
use crate::tfhe::bdd_arithmetic::{FheUintBlocksPrepared, GGSWBlindRotation};
|
||||
|
||||
pub fn test_ggsw_blind_rotation<BE: Backend>()
|
||||
where
|
||||
Module<BE>: ModuleNew<BE>
|
||||
+ GLWESecretPreparedFactory<BE>
|
||||
+ GGSWPreparedFactory<BE>
|
||||
+ GGSWEncryptSk<BE>
|
||||
+ GGSWBlindRotation<u32, BE>
|
||||
+ GGSWNoise<BE>
|
||||
+ GLWEDecrypt<BE>
|
||||
+ GLWEEncryptSk<BE>
|
||||
+ VecZnxRotateInplace<BE>,
|
||||
ScratchOwned<BE>: ScratchOwnedAlloc<BE> + ScratchOwnedBorrow<BE>,
|
||||
Scratch<BE>: ScratchTakeCore<BE>,
|
||||
{
|
||||
let n: Degree = Degree(1 << 11);
|
||||
let base2k: Base2K = Base2K(13);
|
||||
let rank: Rank = Rank(1);
|
||||
let k_ggsw_res: TorusPrecision = TorusPrecision(39);
|
||||
let k_ggsw_apply: TorusPrecision = TorusPrecision(52);
|
||||
|
||||
let ggsw_res_infos: GGSWLayout = GGSWLayout {
|
||||
n,
|
||||
base2k,
|
||||
k: k_ggsw_res,
|
||||
rank,
|
||||
dnum: Dnum(2),
|
||||
dsize: Dsize(1),
|
||||
};
|
||||
|
||||
let ggsw_k_infos: GGSWLayout = GGSWLayout {
|
||||
n,
|
||||
base2k,
|
||||
k: k_ggsw_apply,
|
||||
rank,
|
||||
dnum: Dnum(3),
|
||||
dsize: Dsize(1),
|
||||
};
|
||||
|
||||
let n_glwe: usize = n.into();
|
||||
|
||||
let module: Module<BE> = Module::<BE>::new(n_glwe as u64);
|
||||
let mut source: Source = Source::new([6u8; 32]);
|
||||
let mut source_xs: Source = Source::new([1u8; 32]);
|
||||
let mut source_xa: Source = Source::new([2u8; 32]);
|
||||
let mut source_xe: Source = Source::new([3u8; 32]);
|
||||
|
||||
let mut scratch: ScratchOwned<BE> = ScratchOwned::alloc(1 << 22);
|
||||
|
||||
let mut sk_glwe: GLWESecret<Vec<u8>> = GLWESecret::alloc(n, rank);
|
||||
sk_glwe.fill_ternary_prob(0.5, &mut source_xs);
|
||||
let mut sk_glwe_prep: GLWESecretPrepared<Vec<u8>, BE> = GLWESecretPrepared::alloc(&module, rank);
|
||||
sk_glwe_prep.prepare(&module, &sk_glwe);
|
||||
|
||||
let mut res: GGSW<Vec<u8>> = GGSW::alloc_from_infos(&ggsw_res_infos);
|
||||
|
||||
let mut scalar: ScalarZnx<Vec<u8>> = ScalarZnx::alloc(n_glwe, 1);
|
||||
scalar
|
||||
.raw_mut()
|
||||
.iter_mut()
|
||||
.enumerate()
|
||||
.for_each(|(i, x)| *x = i as i64);
|
||||
|
||||
let k: u32 = source.next_u32();
|
||||
|
||||
// println!("k: {k}");
|
||||
|
||||
let mut k_enc_prep: FheUintBlocksPrepared<Vec<u8>, u32, BE> =
|
||||
FheUintBlocksPrepared::<Vec<u8>, u32, BE>::alloc(&module, &ggsw_k_infos);
|
||||
k_enc_prep.encrypt_sk(
|
||||
&module,
|
||||
k,
|
||||
&sk_glwe_prep,
|
||||
&mut source_xa,
|
||||
&mut source_xe,
|
||||
scratch.borrow(),
|
||||
);
|
||||
|
||||
let base: [usize; 2] = [6, 5];
|
||||
|
||||
assert_eq!(base.iter().sum::<usize>(), module.log_n());
|
||||
|
||||
// Starting bit
|
||||
let mut bit_start: usize = 0;
|
||||
|
||||
let max_noise = |col_i: usize| {
|
||||
let mut noise: f64 = -(ggsw_res_infos.size() as f64 * base2k.as_usize() as f64) + SIGMA.log2() + 2.0;
|
||||
noise += 0.5 * ggsw_res_infos.log_n() as f64;
|
||||
if col_i != 0 {
|
||||
noise += 0.5 * ggsw_res_infos.log_n() as f64
|
||||
}
|
||||
noise
|
||||
};
|
||||
|
||||
for _ in 0..32_usize.div_ceil(module.log_n()) {
|
||||
// By how many bits to left shift
|
||||
let mut bit_step: usize = 0;
|
||||
|
||||
for digit in base {
|
||||
let mask: u32 = (1 << digit) - 1;
|
||||
|
||||
// How many bits to take
|
||||
let bit_size: usize = (32 - bit_start).min(digit);
|
||||
|
||||
module.ggsw_blind_rotate_from_scalar(
|
||||
&mut res,
|
||||
&scalar,
|
||||
&k_enc_prep,
|
||||
bit_start,
|
||||
bit_size,
|
||||
bit_step,
|
||||
scratch.borrow(),
|
||||
);
|
||||
|
||||
let rot: i64 = (((k >> bit_start) & mask) << bit_step) as i64;
|
||||
|
||||
let mut scalar_want: ScalarZnx<Vec<u8>> = ScalarZnx::alloc(module.n(), 1);
|
||||
scalar_want.raw_mut().copy_from_slice(scalar.raw());
|
||||
|
||||
module.vec_znx_rotate_inplace(-rot, &mut scalar_want.as_vec_znx_mut(), 0, scratch.borrow());
|
||||
|
||||
// res.print_noise(&module, &sk_glwe_prep, &scalar_want);
|
||||
|
||||
res.assert_noise(&module, &sk_glwe_prep, &scalar_want, &max_noise);
|
||||
|
||||
bit_step += digit;
|
||||
bit_start += digit;
|
||||
|
||||
if bit_start >= 32 {
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -1,5 +1,6 @@
|
||||
mod add;
|
||||
mod and;
|
||||
mod ggsw_blind_rotations;
|
||||
mod glwe_blind_rotation;
|
||||
mod or;
|
||||
mod prepare;
|
||||
@@ -13,6 +14,7 @@ mod xor;
|
||||
|
||||
pub use add::*;
|
||||
pub use and::*;
|
||||
pub use ggsw_blind_rotations::*;
|
||||
pub use glwe_blind_rotation::*;
|
||||
pub use or::*;
|
||||
pub use prepare::*;
|
||||
|
||||
Reference in New Issue
Block a user