Minor improvements

tlepoint · Mar 24, 2024 · e501d72 · e501d72
1 parent e614edd
commit e501d72
Show file tree

Hide file tree

Showing 26 changed files with 466 additions and 383 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -20,6 +20,7 @@ criterion = "^0.5.1"
 doc-comment = "^0.3.3"
 env_logger = "^0.11.3"
 ethnum = "^1.5.0"
+fastdiv = "^0.1.0"
 indicatif = "^0.17.8"
 itertools = "^0.12.1"
 log = "^0.4.21"

diff --git a/crates/fhe-math/Cargo.toml b/crates/fhe-math/Cargo.toml
@@ -21,17 +21,21 @@ fhe-traits = { version = "^0.1.0-beta.8", path = "../fhe-traits" }
 fhe-util = { version = "^0.1.0-beta.8", path = "../fhe-util" }
 
 concrete-ntt.workspace = true
+derivative = "^2.2.0"
 ethnum.workspace = true
+fastdiv.workspace = true
 itertools.workspace = true
 ndarray.workspace = true
 num-bigint.workspace = true
 num-bigint-dig.workspace = true
 num-traits.workspace = true
 prost.workspace = true
+pulp = "^0.18.9"
 rand.workspace = true
 rand_chacha.workspace = true
 thiserror.workspace = true
 zeroize.workspace = true
+zeroize_derive.workspace = true
 sha2.workspace = true
 
 [build-dependencies]

diff --git a/crates/fhe-math/src/rns/scaler.rs b/crates/fhe-math/src/rns/scaler.rs
@@ -315,13 +315,13 @@ impl RnsScaler {
                 let gamma_i = self.gamma.get_unchecked(starting_index + i);
                 let gamma_shoup_i = self.gamma_shoup.get_unchecked(starting_index + i);
 
-                let mut yi = (qi.modulus() * 2
+                let mut yi = (**qi * 2
                     - qi.lazy_mul_shoup(qi.reduce_u128(v), *gamma_i, *gamma_shoup_i))
                     as u128;
 
                 if !self.scaling_factor.is_one {
                     let wi = qi.lazy_reduce_u128(w);
-                    yi += if w_sign { qi.modulus() * 2 - wi } else { wi } as u128;
+                    yi += if w_sign { **qi * 2 - wi } else { wi } as u128;
                 }
 
                 debug_assert!(rests.len() <= omega_i.len());