feat: add unchecked to fInverse()

Author: euler-mab

src/EulerSwapPeriphery.sol

@@ -214,32 +214,34 @@ contract EulerSwapPeriphery is IEulerSwapPeriphery {
         pure
         returns (uint256)
     {
-        // A component of the quadratic formula: a = 2 * c
-        uint256 A = 2 * c;
-
-        // B component of the quadratic formula
-        int256 B = int256((px * (y - y0) + py - 1) / py) - int256((x0 * (2 * c - 1e18) + 1e18 - 1) / 1e18);
-
-        // B^2 component, using FullMath for overflow safety
-        uint256 absB = B < 0 ? uint256(-B) : uint256(B);
-        uint256 squaredB = Math.mulDiv(absB, absB, 1e18, Math.Rounding.Ceil);
-
-        // 4 * A * C component of the quadratic formula
-        uint256 AC4 = Math.mulDiv(
-            Math.mulDiv(4 * c, (1e18 - c), 1e18, Math.Rounding.Ceil),
-            Math.mulDiv(x0, x0, 1e18, Math.Rounding.Ceil),
-            1e18,
-            Math.Rounding.Ceil
-        );
+        unchecked {
+            // A component of the quadratic formula: a = 2 * c
+            uint256 A = 2 * c;
+
+            // B component of the quadratic formula
+            int256 B = int256((px * (y - y0) + py - 1) / py) - int256((x0 * (2 * c - 1e18) + 1e18 - 1) / 1e18);
 
-        // Discriminant: b^2 + 4ac, scaled up to maintain precision
-        uint256 discriminant = (squaredB + AC4) * 1e18;
+            // B^2 component, using FullMath for overflow safety
+            uint256 absB = B < 0 ? uint256(-B) : uint256(B);
+            uint256 squaredB = Math.mulDiv(absB, absB, 1e18, Math.Rounding.Ceil);
 
-        // Square root of the discriminant (rounded up)
-        uint256 sqrt = Math.sqrt(discriminant);
-        sqrt = (sqrt * sqrt < discriminant) ? sqrt + 1 : sqrt;
+            // 4 * A * C component of the quadratic formula
+            uint256 AC4 = Math.mulDiv(
+                Math.mulDiv(4 * c, (1e18 - c), 1e18, Math.Rounding.Ceil),
+                Math.mulDiv(x0, x0, 1e18, Math.Rounding.Ceil),
+                1e18,
+                Math.Rounding.Ceil
+            );
 
-        // Compute and return x = fInverse(y) using the quadratic formula
-        return Math.mulDiv(uint256(int256(sqrt) - B), 1e18, A, Math.Rounding.Ceil);
+            // Discriminant: b^2 + 4ac, scaled up to maintain precision
+            uint256 discriminant = (squaredB + AC4) * 1e18;
+
+            // Square root of the discriminant (rounded up)
+            uint256 sqrt = Math.sqrt(discriminant);
+            sqrt = (sqrt * sqrt < discriminant) ? sqrt + 1 : sqrt;
+
+            // Compute and return x = fInverse(y) using the quadratic formula
+            return Math.mulDiv(uint256(int256(sqrt) - B), 1e18, A, Math.Rounding.Ceil);
+        }
     }
 }