fix: [hexen-r9] add overflow check for bin liquidity

.forge-snapshots/BinCustomCurveHookTest#test_Swap_CustomCurve.snap

@@ -1 +1 @@
-142478
+142475

.forge-snapshots/BinHookTest#testDonateSucceedsWithHook.snap

@@ -1 +1 @@
-188410
+188265

.forge-snapshots/BinHookTest#testMintSucceedsWithHook.snap

@@ -1 +1 @@
-311254
+311495

.forge-snapshots/BinHookTest#testSwapSucceedsWithHook.snap

@@ -1 +1 @@
-189451
+189959

.forge-snapshots/BinMintBurnFeeHookTest#test_Mint.snap

@@ -1 +1 @@
-410336
+410577

.forge-snapshots/BinPoolManagerBytecodeSize.snap

@@ -1 +1 @@
-23287
+23548

.forge-snapshots/BinPoolManagerTest#testGasDonate.snap

@@ -1 +1 @@
-118691
+118546

.forge-snapshots/BinPoolManagerTest#testGasMintNneBins-1.snap

@@ -1 +1 @@
-968475
+970284

.forge-snapshots/BinPoolManagerTest#testGasMintNneBins-2.snap

@@ -1 +1 @@
-327787
+329605

.forge-snapshots/BinPoolManagerTest#testGasMintOneBin-1.snap

@@ -1 +1 @@
-337511
+337752

.forge-snapshots/BinPoolManagerTest#testGasMintOneBin-2.snap

@@ -1 +1 @@
-140062
+140304

.forge-snapshots/BinPoolManagerTest#testGasSwapMultipleBins.snap

@@ -1 +1 @@
-173098
+177927

.forge-snapshots/BinPoolManagerTest#testGasSwapOverBigBinIdGate.snap

@@ -1 +1 @@
-179126
+184209

.forge-snapshots/BinPoolManagerTest#testGasSwapSingleBin.snap

@@ -1 +1 @@
-133129
+133637

.forge-snapshots/BinPoolManagerTest#testMintNativeCurrency.snap

@@ -1 +1 @@
-304550
+304791

src/pool-bin/libraries/BinPool.sol

@@ -48,6 +48,7 @@ library BinPool {
     error BinPool__NoLiquidityToReceiveFees();
     /// @dev if swap exactIn, x for y, unspecifiedToken = token y. if swap x for exact out y, unspecified token is x
     error BinPool__InsufficientAmountUnSpecified();
+    error BinPool__MaxLiquidityPerBinExceeded();
 
     /// @dev The state of a pool
     struct State {
@@ -168,7 +169,15 @@ library BinPool {
                         amountsInWithFees = amountsInWithFees.sub(pFee);
                     }
 
-                    self.reserveOfBin[swapState.activeId] = binReserves.add(amountsInWithFees).sub(amountsOutOfBin);
+                    bytes32 newReserve = binReserves.add(amountsInWithFees).sub(amountsOutOfBin);
+                    if (
+                        newReserve.getLiquidity(swapState.activeId.getPriceFromId(params.binStep))
+                            > Constants.MAX_LIQUIDITY_PER_BIN
+                    ) {
+                        revert BinPool__MaxLiquidityPerBinExceeded();
+                    }
+
+                    self.reserveOfBin[swapState.activeId] = newReserve;
                 }
             }
 
@@ -347,9 +356,13 @@ library BinPool {
 
         /// @dev overflow check on total reserves and the resulting liquidity
         uint256 price = activeId.getPriceFromId(binStep);
-        binReserves.add(amountIn).getLiquidity(price);
+        bytes32 newReserves = binReserves.add(amountIn);
+        uint256 liquidity = newReserves.getLiquidity(price);
+        if (liquidity > Constants.MAX_LIQUIDITY_PER_BIN) {
+            revert BinPool__MaxLiquidityPerBinExceeded();
+        }
 
-        self.reserveOfBin[activeId] = binReserves.add(amountIn);
+        self.reserveOfBin[activeId] = newReserves;
         result = toBalanceDelta(-(amount0.safeInt128()), -(amount1.safeInt128()));
     }
 
@@ -457,7 +470,12 @@ library BinPool {
         if (shares == 0 || amountsInToBin == 0) revert BinPool__ZeroShares(id);
         if (supply == 0) _addBinIdToTree(self, id);
 
-        self.reserveOfBin[id] = binReserves.add(amountsInToBin);
+        bytes32 newReserves = binReserves.add(amountsInToBin);
+        if (newReserves.getLiquidity(price) > Constants.MAX_LIQUIDITY_PER_BIN) {
+            revert BinPool__MaxLiquidityPerBinExceeded();
+        }
+
+        self.reserveOfBin[id] = newReserves;
     }
 
     /// @notice Subtract share from user's position and update total share supply of bin

src/pool-bin/libraries/Constants.sol

@@ -11,4 +11,8 @@ library Constants {
     uint256 internal constant SQUARED_PRECISION = PRECISION * PRECISION;
 
     uint256 internal constant BASIS_POINT_MAX = 10_000;
+
+    // (2^256 - 1) / (2 * log(2**128) / log(1.0001))
+    uint256 internal constant MAX_LIQUIDITY_PER_BIN =
+        65251743116719673010965625540244653191619923014385985379600384103134737;
 }

test/pool-bin/libraries/BinPoolDonate.t.sol

@@ -17,11 +17,14 @@ import {PackedUint128Math} from "../../../src/pool-bin/libraries/math/PackedUint
 import {SafeCast} from "../../../src/pool-bin/libraries/math/SafeCast.sol";
 import {BinPoolParametersHelper} from "../../../src/pool-bin/libraries/BinPoolParametersHelper.sol";
 import {BinTestHelper} from "../helpers/BinTestHelper.sol";
+import {Constants} from "../../../src/pool-bin/libraries/Constants.sol";
+import {PriceHelper} from "../../../src/pool-bin/libraries/PriceHelper.sol";
 
 contract BinPoolDonateTest is BinTestHelper {
     using PackedUint128Math for bytes32;
     using BinPoolParametersHelper for bytes32;
     using SafeCast for uint256;
+    using BinHelper for bytes32;
 
     MockVault public vault;
     BinPoolManager public poolManager;
@@ -119,6 +122,14 @@ contract BinPoolDonateTest is BinTestHelper {
         addLiquidityToBin(key, poolManager, bob, activeId, 1e18, 1e18, 1e18, 1e18, "");
         poolManager.getPosition(poolId, bob, activeId, 0).share;
 
+        bytes32 newReserves = PackedUint128Math.encode(1e18 + amt0, 1e18 + amt1);
+        uint256 price = PriceHelper.getPriceFromId(activeId, poolParam.getBinStep());
+        if (newReserves.getLiquidity(price) > Constants.MAX_LIQUIDITY_PER_BIN) {
+            vm.expectRevert(BinPool.BinPool__MaxLiquidityPerBinExceeded.selector);
+            poolManager.donate(key, amt0, amt1, "");
+            return;
+        }
+
         poolManager.donate(key, amt0, amt1, "");
 
         // Verify reserve after donate