Verifier simplification

tari-project · Oct 25, 2023 · 6cc7024 · 6cc7024
1 parent b49f8db
commit 6cc7024
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/range_proof.rs b/src/range_proof.rs
@@ -848,11 +848,9 @@ where
             // Compute d's sum efficiently
             let mut d_sum = z_square;
             let mut d_sum_temp_z = z_square;
-            let mut d_sum_temp_2m = aggregation_factor.checked_mul(2).ok_or(ProofError::SizeOverflow)?;
-            while d_sum_temp_2m > 2 {
+            for _ in 0..aggregation_factor.ilog2() {
                 d_sum = d_sum + d_sum * d_sum_temp_z;
                 d_sum_temp_z = d_sum_temp_z * d_sum_temp_z;
-                d_sum_temp_2m /= 2; // Rounds towards zero, truncating any fractional part
             }
             d_sum *= two_n_minus_one;