improvement

OpenZeppelin · Feb 15, 2024 · 85a56d6 · 85a56d6
1 parent 67d0328
commit 85a56d6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/contracts/utils/math/Math.sol b/contracts/utils/math/Math.sol
@@ -425,8 +425,9 @@ library Math {
             // For the first iteration, we have a special case where x_0 is known:
             // ε_1 = ε_0² / | (2 * x_0) |
             //     ≤ (2**(e-2))² / (2 * (2**(e-1) + 2**(e-2)))
-            //     ≤ 2**(2*e-4) / (2 * 3 * 2**(e-2))
+            //     ≤ 2**(2*e-4) / (3 * 2**(e-1))
             //     ≤ 2**(e-3) / 3
+            //     ≤ 2**(e-3-log2(3))
             //     ≤ 2**(e-4.5)
             //
             // For the following iterations, we use the fact that, 2**(e-1) ≤ sqrt(a) ≤ x_n