M base2k/src/vec_znx.rs → base2k/src/vec_znx.rs

@@ -475,11 +475,16 @@
         (cols_steps..cols).for_each(|i| {
             izip!(carry_i64.iter_mut(), a.at_mut(i).iter_mut()).for_each(|(ci, xi)| {
                 *xi += *ci << log_base2k;
-                *ci = *xi & mask;
-                *xi /= 1 << k_rem;
+                *ci = get_base_k_carry(*xi, k_rem);
+                *xi = (*xi-*ci)>>k_rem;
             });
         })
     }
+}
+
+#[inline(always)]
+fn get_base_k_carry(x: i64, k: usize) -> i64{
+    (x<<64-k) >> (64-k)
 }
 
 pub trait VecZnxCommon: VecZnxApi + Infos {}

A rns/src/modulus/impl_u64/223123123123123 123 123

@@ -0,0 +1,1 @@
+