Replace division of constant 1 with inverse (#1023)

divviup · May 6, 2024 · 43d6f06 · 43d6f06
1 parent 7a8baff
commit 43d6f06
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/flp/types.rs b/src/flp/types.rs
@@ -422,7 +422,7 @@ where
         )?;
 
         // Check that the elements of `input` sum to 1.
-        let mut sum_check = -(F::one() / F::from(F::valid_integer_try_from(num_shares)?));
+        let mut sum_check = -F::from(F::valid_integer_try_from(num_shares)?).inv();
         for val in input.iter() {
             sum_check += *val;
         }

diff --git a/src/flp/types/fixedpoint_l2.rs b/src/flp/types/fixedpoint_l2.rs
@@ -488,7 +488,7 @@ where
         self.valid_call_check(input, joint_rand)?;
 
         let f_num_shares = Field128::from(Field128::valid_integer_try_from::<usize>(num_shares)?);
-        let num_shares_inverse = Field128::one() / f_num_shares;
+        let num_shares_inverse = f_num_shares.inv();
 
         // Ensure that all submitted field elements are either 0 or 1.
         // This is done for: