feat(integer): implement unsigned_overflowing_scalar_sub

zama-ai · Aug 22, 2024 · 9160bb2 · 9160bb2
1 parent 358bcc9
commit 9160bb2
Show file tree

Hide file tree

Showing 3 changed files with 432 additions and 184 deletions.
diff --git a/tfhe/src/integer/server_key/radix_parallel/scalar_add.rs b/tfhe/src/integer/server_key/radix_parallel/scalar_add.rs
@@ -682,8 +682,7 @@ impl ServerKey {
                         (high_block + high_scalar_block) % self.message_modulus().0 as u64;
                     high_block_result <<= 2;
 
-                    (high_block_result + (low_block_state << 1))
-                        % (self.message_modulus().0 * 4) as u64
+                    (high_block_result + (low_block_state << 1)) % packed_modulus
                 }));
             }