chore(tfhe): update ZK related parameters to use TUniform ones

Author: IceTDrinker

tfhe/c_api_tests/test_high_level_zk.c

@@ -9,8 +9,7 @@ int main(void) {
 
   // Note that simply changing parameters like this does not yield secure parameters
   // Its only done for the example / tests
-  ShortintPBSParameters params = SHORTINT_PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-  params.glwe_noise_distribution = new_t_uniform(9);
+  ShortintPBSParameters params = SHORTINT_PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
   assert(params.encryption_key_choice == ShortintEncryptionKeyChoiceBig);
 
   int status;

tfhe/docs/guides/zk-pok.md

@@ -22,8 +22,8 @@ pub fn main() -> Result<(), Box<dyn std::error::Error>> {
 
     let max_num_message = 1;
 
-    let mut params = tfhe::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS;
-    params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+    let mut params =
+        tfhe::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
     let client_key = tfhe::ClientKey::generate(tfhe::ConfigBuilder::with_custom_parameters(params, None));
     // This is done in an offline phase and the CRS is shared to all clients and the server

tfhe/js_on_wasm_tests/test-hlapi-unsigned.js

@@ -658,8 +658,7 @@ function generateRandomBigInt(bitLength) {
 }
 
 test('hlapi_compact_public_key_encrypt_and_prove_compact_uint256', (t) => {
-    let block_params = new ShortintParameters(ShortintParametersName.PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS);
-    block_params.set_lwe_noise_distribution(Shortint.try_new_t_uniform(9));
+    let block_params = new ShortintParameters(ShortintParametersName.PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40);
 
     let config = TfheConfigBuilder.default()
         .use_custom_parameters(block_params)

tfhe/src/high_level_api/booleans/tests.rs

@@ -832,11 +832,10 @@ mod cpu {
     #[cfg(feature = "zk-pok-experimental")]
     #[test]
     fn test_fhe_bool_zk() {
-        use crate::core_crypto::prelude::DynamicDistribution;
         use crate::zk::{CompactPkeCrs, ZkComputeLoad};
 
-        let mut params = crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-        params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+        let params =
+            crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
         let config = ConfigBuilder::with_custom_parameters(params, None).build();
         let crs = CompactPkeCrs::from_config(config, 2).unwrap();

tfhe/src/high_level_api/integers/signed/tests.rs

@@ -805,11 +805,10 @@ fn test_safe_deserialize_conformant_compact_fhe_int32_list() {
 #[cfg(feature = "zk-pok-experimental")]
 #[test]
 fn test_fhe_int_zk() {
-    use crate::core_crypto::prelude::DynamicDistribution;
     use crate::zk::{CompactPkeCrs, ZkComputeLoad};
 
-    let mut params = crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-    params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+    let params =
+        crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
     let config = ConfigBuilder::with_custom_parameters(params, None).build();
     let crs = CompactPkeCrs::from_config(config, 32).unwrap();

tfhe/src/high_level_api/integers/unsigned/tests/cpu.rs

@@ -550,8 +550,7 @@ fn test_safe_deserialize_conformant_compact_fhe_uint32_list() {
 fn test_fhe_uint_zk() {
     use crate::zk::{CompactPkeCrs, ZkComputeLoad};
 
-    let mut params = PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-    params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+    let params = PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
     let config = ConfigBuilder::with_custom_parameters(params, None).build();
     let crs = CompactPkeCrs::from_config(config, 32).unwrap();

tfhe/src/integer/zk.rs

@@ -94,15 +94,13 @@ impl ProvenCompactCiphertextList {
 #[cfg(test)]
 mod tests {
     use crate::integer::{ClientKey, CompactPublicKey};
-    use crate::shortint::parameters::DynamicDistribution;
-    use crate::shortint::prelude::PARAM_MESSAGE_2_CARRY_2_KS_PBS;
+    use crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
     use crate::zk::{CompactPkeCrs, ZkComputeLoad};
     use rand::random;
 
     #[test]
     fn test_zk_compact_ciphertext_list_encryption_ci_run_filter() {
-        let mut params = PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-        params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+        let params = PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
         let num_blocks = 4usize;
         let modulus = (params.message_modulus.0 as u64)

tfhe/src/shortint/ciphertext/zk.rs

@@ -138,16 +138,14 @@ impl ProvenCompactCiphertextList {
 
 #[cfg(test)]
 mod tests {
-    use crate::shortint::parameters::DynamicDistribution;
-    use crate::shortint::prelude::PARAM_MESSAGE_2_CARRY_2_KS_PBS;
+    use crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
     use crate::shortint::{ClientKey, CompactPublicKey};
     use crate::zk::{CompactPkeCrs, ZkComputeLoad};
     use rand::random;
 
     #[test]
     fn test_zk_ciphertext_encryption_ci_run_filter() {
-        let mut params = PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-        params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+        let params = PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
         let crs = CompactPkeCrs::from_shortint_params(params, 4).unwrap();
         let cks = ClientKey::new(params);
@@ -166,8 +164,7 @@ mod tests {
 
     #[test]
     fn test_zk_compact_ciphertext_list_encryption_ci_run_filter() {
-        let mut params = PARAM_MESSAGE_2_CARRY_2_KS_PBS;
-        params.glwe_noise_distribution = DynamicDistribution::new_t_uniform(9);
+        let params = PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40;
 
         let crs = CompactPkeCrs::from_shortint_params(params, 512).unwrap();
         let cks = ClientKey::new(params);

tfhe/web_wasm_parallel_tests/worker.js

@@ -388,9 +388,8 @@ function generateRandomBigInt(bitLen) {
 
 async function compactPublicKeyZeroKnowledge() {
   let block_params = new ShortintParameters(
-    ShortintParametersName.PARAM_MESSAGE_2_CARRY_2_KS_PBS,
+    ShortintParametersName.PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40,
   );
-  block_params.set_glwe_noise_distribution(Shortint.try_new_t_uniform(9));
 
   let config = TfheConfigBuilder.default()
     .use_custom_parameters(block_params)
@@ -650,9 +649,8 @@ async function compressedServerKeyBenchMessage2Carry2() {
 
 async function compactPublicKeyZeroKnowledgeBench() {
   let block_params = new ShortintParameters(
-    ShortintParametersName.PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_PBS_KS,
+    ShortintParametersName.PARAM_MESSAGE_2_CARRY_2_COMPACT_PK_KS_PBS_TUNIFORM_2M40,
   );
-  block_params.set_lwe_noise_distribution(Shortint.try_new_t_uniform(9));
 
   let config = TfheConfigBuilder.default()
     .use_custom_parameters(block_params)