From 398c441c952e7b37bfc18eb9f748a90277dfe697 Mon Sep 17 00:00:00 2001 From: Enzo Di Maria Date: Wed, 29 Oct 2025 14:00:25 +0100 Subject: [PATCH] refactor(gpu): delete useless GPU params --- .../list_compression/p_fail_2_minus_64/mod.rs | 30 ------------------- tfhe/src/shortint/parameters/v1_5/meta/gpu.rs | 9 ++---- tfhe/src/shortint/parameters/v1_5/mod.rs | 10 +------ 3 files changed, 3 insertions(+), 46 deletions(-) diff --git a/tfhe/src/shortint/parameters/v1_5/list_compression/p_fail_2_minus_64/mod.rs b/tfhe/src/shortint/parameters/v1_5/list_compression/p_fail_2_minus_64/mod.rs index ee3297c91..64bbb4b83 100644 --- a/tfhe/src/shortint/parameters/v1_5/list_compression/p_fail_2_minus_64/mod.rs +++ b/tfhe/src/shortint/parameters/v1_5/list_compression/p_fail_2_minus_64/mod.rs @@ -18,20 +18,6 @@ pub const V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64: CompressionPar packing_ks_key_noise_distribution: DynamicDistribution::new_t_uniform(43), }); -/// p-fail = 2^-72.052, algorithmic cost ~ 42700 -pub const V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64: - CompressionParameters = CompressionParameters::Classic(ClassicCompressionParameters { - br_level: DecompositionLevelCount(1), - br_base_log: DecompositionBaseLog(23), - packing_ks_level: DecompositionLevelCount(2), - packing_ks_base_log: DecompositionBaseLog(6), - packing_ks_polynomial_size: PolynomialSize(256), - packing_ks_glwe_dimension: GlweDimension(4), - lwe_per_glwe: LweCiphertextCount(256), - storage_log_modulus: CiphertextModulusLog(12), - packing_ks_key_noise_distribution: DynamicDistribution::new_t_uniform(43), -}); - /// p-fail = 2^-64.174, algorithmic cost ~ 58234 pub const V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64: CompressionParameters = CompressionParameters::Classic(ClassicCompressionParameters { @@ -47,19 +33,3 @@ pub const V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64: CompressionPar StandardDev(1.339775301998614e-07), ), }); - -/// p-fail = 2^-64.174, algorithmic cost ~ 58234 -pub const V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64: - CompressionParameters = CompressionParameters::Classic(ClassicCompressionParameters { - br_level: DecompositionLevelCount(1), - br_base_log: DecompositionBaseLog(23), - packing_ks_level: DecompositionLevelCount(2), - packing_ks_base_log: DecompositionBaseLog(6), - packing_ks_polynomial_size: PolynomialSize(256), - packing_ks_glwe_dimension: GlweDimension(4), - lwe_per_glwe: LweCiphertextCount(256), - storage_log_modulus: CiphertextModulusLog(12), - packing_ks_key_noise_distribution: DynamicDistribution::new_gaussian_from_std_dev(StandardDev( - 1.339775301998614e-07, - )), -}); diff --git a/tfhe/src/shortint/parameters/v1_5/meta/gpu.rs b/tfhe/src/shortint/parameters/v1_5/meta/gpu.rs index 9136816a6..42fe4b759 100644 --- a/tfhe/src/shortint/parameters/v1_5/meta/gpu.rs +++ b/tfhe/src/shortint/parameters/v1_5/meta/gpu.rs @@ -2,7 +2,6 @@ use super::super::super::meta::{DedicatedCompactPublicKeyParameters, MetaParamet use super::super::compact_public_key_only::p_fail_2_minus_128::ks_pbs::*; use super::super::key_switching::p_fail_2_minus_128::ks_pbs_gpu::*; use super::super::list_compression::p_fail_2_minus_128::*; -use super::super::list_compression::p_fail_2_minus_64::*; use super::super::multi_bit::gaussian::p_fail_2_minus_128::ks_pbs_gpu::*; use super::super::multi_bit::gaussian::p_fail_2_minus_40::ks_pbs_gpu::*; use super::super::multi_bit::gaussian::p_fail_2_minus_64::ks_pbs_gpu::*; @@ -252,9 +251,7 @@ pub const V1_5_META_PARAM_GPU_2_2_MULTI_BIT_GROUP_4_KS_PBS_GAUSSIAN_2M64: MetaPa V1_5_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64, )), dedicated_compact_public_key_parameters: None, - compression_parameters: Some( - V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64, - ), + compression_parameters: None, noise_squashing_parameters: None, }; @@ -652,9 +649,7 @@ pub const V1_5_META_PARAM_GPU_2_2_MULTI_BIT_GROUP_4_KS_PBS_TUNIFORM_2M64: MetaPa V1_5_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64, )), dedicated_compact_public_key_parameters: None, - compression_parameters: Some( - V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64, - ), + compression_parameters: None, noise_squashing_parameters: None, }; diff --git a/tfhe/src/shortint/parameters/v1_5/mod.rs b/tfhe/src/shortint/parameters/v1_5/mod.rs index 0f5033956..664b4f04f 100644 --- a/tfhe/src/shortint/parameters/v1_5/mod.rs +++ b/tfhe/src/shortint/parameters/v1_5/mod.rs @@ -1588,23 +1588,15 @@ pub const VEC_ALL_KEY_SWITCH32_PBS_PARAMETERS: [(&KeySwitch32PBSParameters, &str )]; /// All [`CompressionParameters`] in this module. -pub const VEC_ALL_COMPRESSION_PARAMETERS: [(&CompressionParameters, &str); 8] = [ +pub const VEC_ALL_COMPRESSION_PARAMETERS: [(&CompressionParameters, &str); 6] = [ ( &V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64, "V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64", ), - ( - &V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64, - "V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64", - ), ( &V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64, "V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64", ), - ( - &V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64, - "V1_5_COMP_PARAM_GPU_MULTI_BIT_GROUP_4_MESSAGE_2_CARRY_2_KS_PBS_GAUSSIAN_2M64", - ), ( &V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128, "V1_5_COMP_PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M128",