github/tfhe-rs
1
1
Fork 0
mirror of https://github.com/zama-ai/tfhe-rs.git synced 2026-01-09 22:57:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore: update dp_ks_ms test to take metaparameters

Browse Source
This commit is contained in:
Arthur Meyre
2025-11-18 15:33:44 +01:00
committed by IceTDrinker
parent 0da331590c
commit cbac102a0d
1 changed files with 19 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
tfhe/src/shortint/server_key/tests/noise_distribution/dp_ks_ms.rs
View File

@@ -11,11 +11,11 @@ use crate::shortint::client_key::ClientKey;
use crate::shortint::encoding::{PaddingBit, ShortintEncoding}; use crate::shortint::encoding::{PaddingBit, ShortintEncoding};
use crate::shortint::engine::ShortintEngine; use crate::shortint::engine::ShortintEngine;
use crate::shortint::parameters::test_params::{ use crate::shortint::parameters::test_params::{
TEST_PARAM_MESSAGE_2_CARRY_2_KS32_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS32_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_GAUSSIAN_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
}; };
use crate::shortint::parameters::{AtomicPatternParameters, CarryModulus}; use crate::shortint::parameters::{AtomicPatternParameters, CarryModulus, MetaParameters};
use crate::shortint::server_key::tests::parameterized_test::create_parameterized_test; use crate::shortint::server_key::tests::parameterized_test::create_parameterized_test;
use crate::shortint::server_key::ServerKey; use crate::shortint::server_key::ServerKey;
use rayon::prelude::*; use rayon::prelude::*;
@@ -151,11 +151,8 @@ where
/// Test function to verify that the noise checking tools match the actual atomic patterns /// Test function to verify that the noise checking tools match the actual atomic patterns
/// implemented in shortint /// implemented in shortint
fn sanity_check_encrypt_dp_ks_pbs<P>(params: P) fn sanity_check_encrypt_dp_ks_pbs(meta_params: MetaParameters) {
where let params = meta_params.compute_parameters;
P: Into<AtomicPatternParameters>,
{
let params: AtomicPatternParameters = params.into();
let cks = ClientKey::new(params); let cks = ClientKey::new(params);
let sks = ServerKey::new(&cks); let sks = ServerKey::new(&cks);
@@ -192,9 +189,9 @@ where
} }
create_parameterized_test!(sanity_check_encrypt_dp_ks_pbs { create_parameterized_test!(sanity_check_encrypt_dp_ks_pbs {
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_GAUSSIAN_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS32_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS32_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
}); });
fn encrypt_dp_ks_any_ms_inner_helper( fn encrypt_dp_ks_any_ms_inner_helper(
@@ -392,11 +389,8 @@ fn encrypt_dp_ks_any_ms_pfail_helper(
after_ms after_ms
} }
fn noise_check_encrypt_dp_ks_ms_noise<P>(params: P) fn noise_check_encrypt_dp_ks_ms_noise(meta_params: MetaParameters) {
where let params = meta_params.compute_parameters;
P: Into<AtomicPatternParameters>,
{
let params: AtomicPatternParameters = params.into();
let cks = ClientKey::new(params); let cks = ClientKey::new(params);
let sks = ServerKey::new(&cks); let sks = ServerKey::new(&cks);
@@ -485,17 +479,14 @@ where
} }
create_parameterized_test!(noise_check_encrypt_dp_ks_ms_noise { create_parameterized_test!(noise_check_encrypt_dp_ks_ms_noise {
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_GAUSSIAN_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS32_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS32_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
}); });
fn noise_check_encrypt_dp_ks_ms_pfail<P>(params: P) fn noise_check_encrypt_dp_ks_ms_pfail(meta_params: MetaParameters) {
where
P: Into<AtomicPatternParameters>,
{
let (pfail_test_meta, params) = { let (pfail_test_meta, params) = {
let mut ap_params: AtomicPatternParameters = params.into(); let mut ap_params = meta_params.compute_parameters;
let original_message_modulus = ap_params.message_modulus(); let original_message_modulus = ap_params.message_modulus();
let original_carry_modulus = ap_params.carry_modulus(); let original_carry_modulus = ap_params.carry_modulus();
@@ -554,7 +545,7 @@ where
} }
create_parameterized_test!(noise_check_encrypt_dp_ks_ms_pfail { create_parameterized_test!(noise_check_encrypt_dp_ks_ms_pfail {
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_GAUSSIAN_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
TEST_PARAM_MESSAGE_2_CARRY_2_KS32_PBS_TUNIFORM_2M128, TEST_META_PARAM_CPU_2_2_KS32_PBS_PKE_TO_SMALL_ZKV2_TUNIFORM_2M128,
}); });