@paraswap/dex-lib 2.16.1 → 2.16.2-balancer-v2-buy.2

package/build/dex/balancer-v2/pools/phantom-stable/PhantomStablePool.js

@@ -0,0 +1,367 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PhantomStablePool = void 0;
+const abi_1 = require("@ethersproject/abi");
+const bignumber_1 = require("@ethersproject/bignumber");
+const balancer_v2_pool_1 = require("../balancer-v2-pool");
+const utils_1 = require("../../utils");
+const PhantomStableMath = __importStar(require("./PhantomStableMath"));
+const meta_stable_pool_json_1 = __importDefault(require("../../../../abi/balancer-v2/meta-stable-pool.json"));
+const ComposableStable_json_1 = __importDefault(require("../../../../abi/balancer-v2/ComposableStable.json"));
+const lodash_1 = require("lodash");
+var PairTypes;
+(function (PairTypes) {
+    PairTypes[PairTypes["BptToToken"] = 0] = "BptToToken";
+    PairTypes[PairTypes["TokenToBpt"] = 1] = "TokenToBpt";
+    PairTypes[PairTypes["TokenToToken"] = 2] = "TokenToToken";
+})(PairTypes || (PairTypes = {}));
+/*
+/**
+ * StablePool with preminted BPT and rate providers for each token, allowing for e.g. wrapped tokens with a known
+ * price ratio, such as Compound's cTokens.
+ * BPT is preminted on Pool initialization and registered as one of the Pool's tokens, allowing for swaps to behave as
+ * single-token joins or exits (by swapping a token for BPT). Regular joins and exits are disabled, since no BPT is
+ * minted or burned after initialization.
+ * Preminted BPT is sometimes called Phantom BPT, as the preminted BPT (which is deposited in the Vault as balance of
+ * the Pool) doesn't belong to any entity until transferred out of the Pool. The Pool's arithmetic behaves as if it
+ * didn't exist, and the BPT total supply is not a useful value: we rely on the 'virtual supply' (how much BPT is
+ * actually owned by some entity) instead.
+ */
+class PhantomStablePool extends balancer_v2_pool_1.BasePool {
+    constructor(vaultAddress, vaultInterface, isComposable = false) {
+        super();
+        this.isComposable = isComposable;
+        // This is the maximum token amount the Vault can hold. In regular operation, the total BPT supply remains constant
+        // and equal to _INITIAL_BPT_SUPPLY, but most of it remains in the Pool, waiting to be exchanged for tokens. The
+        // actual amount of BPT in circulation is the total supply minus the amount held by the Pool, and is known as the
+        // 'virtual supply'.
+        this.MAX_TOKEN_BALANCE = bignumber_1.BigNumber.from('2').pow('112').sub('1');
+        this.vaultAddress = vaultAddress;
+        this.vaultInterface = vaultInterface;
+        if (isComposable)
+            this.poolInterface = new abi_1.Interface(ComposableStable_json_1.default);
+        else
+            this.poolInterface = new abi_1.Interface(meta_stable_pool_json_1.default);
+    }
+    /*
+      scaling factors should include rate:
+      i.e.
+      scalingFactors: pool.tokens.map(({ decimals, priceRate }) =>
+          MathSol.mulDownFixed(getTokenScalingFactor(decimals), priceRate)
+      )
+      */
+    onSell(amounts, poolPairData) {
+        return this._swapGivenIn(amounts, poolPairData.tokens, poolPairData.balances, poolPairData.indexIn, poolPairData.indexOut, poolPairData.bptIndex, poolPairData.scalingFactors, poolPairData.swapFee, poolPairData.amp, poolPairData.actualSupply);
+    }
+    onBuy(amounts, poolPairData) {
+        return this._swapGivenOut(amounts, poolPairData.tokens, poolPairData.balances, poolPairData.indexIn, poolPairData.indexOut, poolPairData.bptIndex, poolPairData.scalingFactors, poolPairData.swapFee, poolPairData.amp, poolPairData.actualSupply);
+    }
+    // StablePool's `_onSwapGivenIn` and `_onSwapGivenOut` handlers are meant to process swaps between Pool tokens.
+    // Since one of the Pool's tokens is the preminted BPT, we need to a) handle swaps where that tokens is involved
+    // separately (as they are effectively single-token joins or exits), and b) remove BPT from the balances array when
+    // processing regular swaps before delegating those to StablePool's handler.
+    removeBPT(balances, tokenIndexIn, tokenIndexOut, bptIndex) {
+        if (bptIndex != -1) {
+            balances.splice(bptIndex, 1);
+            if (bptIndex < tokenIndexIn)
+                tokenIndexIn -= 1;
+            if (bptIndex < tokenIndexOut)
+                tokenIndexOut -= 1;
+        }
+        return {
+            balances,
+            indexIn: tokenIndexIn,
+            indexOut: tokenIndexOut,
+        };
+    }
+    _swapGivenOut(tokenAmountsOut, tokens, balances, indexIn, indexOut, bptIndex, scalingFactors, swapFeePercentage, amplificationParameter, actualSupply) {
+        // Phantom pools allow trading between token and pool BPT
+        let pairType;
+        if ((0, utils_1.isSameAddress)(tokens[indexIn], tokens[bptIndex])) {
+            pairType = PairTypes.BptToToken;
+        }
+        else if ((0, utils_1.isSameAddress)(tokens[indexOut], tokens[bptIndex])) {
+            pairType = PairTypes.TokenToBpt;
+        }
+        else {
+            pairType = PairTypes.TokenToToken;
+        }
+        const balancesUpscaled = this._upscaleArray(balances, scalingFactors);
+        const tokenAmountsOutScaled = tokenAmountsOut.map(a => this._upscale(a, scalingFactors[indexOut]));
+        let bptSupply;
+        if (actualSupply)
+            bptSupply = actualSupply;
+        // VirtualBPTSupply must be used for the maths
+        else
+            bptSupply = this.MAX_TOKEN_BALANCE.sub(balances[bptIndex]).toBigInt();
+        const droppedBpt = this.removeBPT(balancesUpscaled, indexIn, indexOut, bptIndex);
+        const amountsIn = this._onSwapGivenOut(tokenAmountsOutScaled, droppedBpt.balances, droppedBpt.indexIn, droppedBpt.indexOut, amplificationParameter, bptSupply, pairType);
+        const amountsInDownscaled = amountsIn.map(a => this._downscaleDown(a, scalingFactors[indexIn]));
+        return amountsInDownscaled.map(a => this._subtractSwapFeeAmount(a, swapFeePercentage));
+    }
+    _swapGivenIn(tokenAmountsIn, tokens, balances, indexIn, indexOut, bptIndex, scalingFactors, swapFeePercentage, amplificationParameter, actualSupply) {
+        // Phantom pools allow trading between token and pool BPT
+        let pairType;
+        if ((0, utils_1.isSameAddress)(tokens[indexIn], tokens[bptIndex])) {
+            pairType = PairTypes.BptToToken;
+        }
+        else if ((0, utils_1.isSameAddress)(tokens[indexOut], tokens[bptIndex])) {
+            pairType = PairTypes.TokenToBpt;
+        }
+        else {
+            pairType = PairTypes.TokenToToken;
+        }
+        // Fees are subtracted before scaling, to reduce the complexity of the rounding direction analysis.
+        const tokenAmountsInWithFee = tokenAmountsIn.map(a => this._subtractSwapFeeAmount(a, swapFeePercentage));
+        const balancesUpscaled = this._upscaleArray(balances, scalingFactors);
+        const tokenAmountsInScaled = tokenAmountsInWithFee.map(a => this._upscale(a, scalingFactors[indexIn]));
+        let bptSupply;
+        if (actualSupply)
+            bptSupply = actualSupply;
+        // VirtualBPTSupply must be used for the maths
+        else
+            bptSupply = this.MAX_TOKEN_BALANCE.sub(balances[bptIndex]).toBigInt();
+        const droppedBpt = this.removeBPT(balancesUpscaled, indexIn, indexOut, bptIndex);
+        const amountsOut = this._onSwapGivenIn(tokenAmountsInScaled, droppedBpt.balances, droppedBpt.indexIn, droppedBpt.indexOut, amplificationParameter, bptSupply, pairType);
+        // amountOut tokens are exiting the Pool, so we round down.
+        return amountsOut.map(a => this._downscaleDown(a, scalingFactors[indexOut]));
+    }
+    _onSwapGivenOut(tokenAmountsOut, balances, indexIn, indexOut, _amplificationParameter, virtualBptSupply, pairType) {
+        const invariant = PhantomStableMath._calculateInvariant(_amplificationParameter, balances, true);
+        const amountsIn = [];
+        if (pairType === PairTypes.TokenToBpt) {
+            tokenAmountsOut.forEach(amountOut => {
+                let amt;
+                try {
+                    const amountsInBigInt = Array(balances.length).fill(0n);
+                    amountsInBigInt[indexIn] = amountOut;
+                    amt = PhantomStableMath._calcTokenInGivenExactBptOut(_amplificationParameter, balances, indexIn, amountOut, virtualBptSupply, 0n, invariant);
+                }
+                catch (err) {
+                    amt = 0n;
+                }
+                amountsIn.push(amt);
+            });
+        }
+        else if (pairType === PairTypes.BptToToken) {
+            tokenAmountsOut.forEach(amountOut => {
+                let amt;
+                try {
+                    const amountsOutBigInt = Array(balances.length).fill(0n);
+                    amountsOutBigInt[indexOut] = amountOut;
+                    amt = PhantomStableMath._calcBptInGivenExactTokensOut(_amplificationParameter, balances, amountsOutBigInt, virtualBptSupply, 0n, invariant);
+                }
+                catch (err) {
+                    amt = 0n;
+                }
+                amountsIn.push(amt);
+            });
+        }
+        else {
+            tokenAmountsOut.forEach(amountOut => {
+                let amt;
+                try {
+                    amt = PhantomStableMath._calcInGivenOut(_amplificationParameter, balances, indexIn, indexOut, amountOut, 0n, invariant);
+                }
+                catch (err) {
+                    amt = 0n;
+                }
+                amountsIn.push(amt);
+            });
+        }
+        return amountsIn;
+    }
+    /*
+       Called when a swap with the Pool occurs, where the amount of tokens entering the Pool is known.
+       All amounts are upscaled.
+       Swap fee is already deducted.
+       The return value is also considered upscaled, and should be downscaled (rounding down)
+       */
+    _onSwapGivenIn(tokenAmountsIn, balances, indexIn, indexOut, _amplificationParameter, virtualBptSupply, pairType) {
+        const invariant = PhantomStableMath._calculateInvariant(_amplificationParameter, balances, true);
+        const amountsOut = [];
+        if (pairType === PairTypes.TokenToBpt) {
+            tokenAmountsIn.forEach(amountIn => {
+                let amt;
+                try {
+                    const amountsInBigInt = Array(balances.length).fill(0n);
+                    amountsInBigInt[indexIn] = amountIn;
+                    amt = PhantomStableMath._calcBptOutGivenExactTokensIn(_amplificationParameter, balances, amountsInBigInt, virtualBptSupply, invariant);
+                }
+                catch (err) {
+                    amt = 0n;
+                }
+                amountsOut.push(amt);
+            });
+        }
+        else if (pairType === PairTypes.BptToToken) {
+            tokenAmountsIn.forEach(amountIn => {
+                let amt;
+                try {
+                    amt = PhantomStableMath._calcTokenOutGivenExactBptIn(_amplificationParameter, balances, indexOut, amountIn, virtualBptSupply, invariant);
+                }
+                catch (err) {
+                    amt = 0n;
+                }
+                amountsOut.push(amt);
+            });
+        }
+        else {
+            tokenAmountsIn.forEach(amountIn => {
+                let amt;
+                try {
+                    amt = PhantomStableMath._calcOutGivenIn(_amplificationParameter, balances, indexIn, indexOut, amountIn, invariant);
+                }
+                catch (err) {
+                    amt = 0n;
+                }
+                amountsOut.push(amt);
+            });
+        }
+        return amountsOut;
+    }
+    /*
+      Helper function to parse pool data into params for onSell function.
+      */
+    parsePoolPairData(pool, poolState, tokenIn, tokenOut) {
+        let indexIn = 0, indexOut = 0, bptIndex = 0;
+        const balances = [];
+        const scalingFactors = [];
+        const tokens = poolState.orderedTokens.map((tokenAddress, i) => {
+            const t = pool.tokensMap[tokenAddress.toLowerCase()];
+            if (t.address.toLowerCase() === tokenIn.toLowerCase())
+                indexIn = i;
+            if (t.address.toLowerCase() === tokenOut.toLowerCase())
+                indexOut = i;
+            if (t.address.toLowerCase() === pool.address.toLowerCase())
+                bptIndex = i;
+            balances.push(poolState.tokens[t.address.toLowerCase()].balance);
+            scalingFactors.push(poolState.tokens[t.address.toLowerCase()].scalingFactor || 0n);
+            return t.address;
+        });
+        const poolPairData = {
+            tokens,
+            balances,
+            indexIn,
+            indexOut,
+            scalingFactors,
+            bptIndex,
+            swapFee: poolState.swapFee,
+            amp: poolState.amp ? poolState.amp : 0n,
+            actualSupply: poolState.actualSupply,
+        };
+        return poolPairData;
+    }
+    /*
+    Helper function to construct onchain multicall data for PhantomStablePool.
+    Main difference to standard StablePool is scaling factors which includes rate.
+    This also applies to MetaStablePool.
+    */
+    getOnChainCalls(pool) {
+        const calls = [
+            {
+                target: this.vaultAddress,
+                callData: this.vaultInterface.encodeFunctionData('getPoolTokens', [
+                    pool.id,
+                ]),
+            },
+            {
+                target: pool.address,
+                callData: this.poolInterface.encodeFunctionData('getSwapFeePercentage'),
+            },
+            {
+                target: pool.address,
+                callData: this.poolInterface.encodeFunctionData('getScalingFactors'),
+            },
+            {
+                target: pool.address,
+                callData: this.poolInterface.encodeFunctionData('getAmplificationParameter'),
+            },
+        ];
+        /**
+         * Returns the effective BPT supply.
+         * In other pools, this would be the same as `totalSupply`, but there are two key differences here:
+         *  - this pool pre-mints BPT and holds it in the Vault as a token, and as such we need to subtract the Vault's
+         *    balance to get the total "circulating supply". This is called the 'virtualSupply'.
+         *  - the Pool owes debt to the Protocol in the form of unminted BPT, which will be minted immediately before the
+         *    next join or exit. We need to take these into account since, even if they don't yet exist, they will
+         *    effectively be included in any Pool operation that involves BPT.
+         * In the vast majority of cases, this function should be used instead of `totalSupply()`.
+         */
+        if (this.isComposable)
+            calls.push({
+                target: pool.address,
+                callData: this.poolInterface.encodeFunctionData('getActualSupply'),
+            });
+        return calls;
+    }
+    /*
+    Helper function to decodes multicall data for a PhantomStable Pool.
+    Main difference to standard StablePool is scaling factors which includes rate.
+    This also applies to MetaStablePool.
+    data must contain returnData
+    startIndex is where to start in returnData. Allows this decode function to be called along with other pool types.
+    */
+    decodeOnChainCalls(pool, data, startIndex) {
+        const pools = {};
+        const poolTokens = (0, utils_1.decodeThrowError)(this.vaultInterface, 'getPoolTokens', data[startIndex++], pool.address);
+        const swapFee = (0, utils_1.decodeThrowError)(this.poolInterface, 'getSwapFeePercentage', data[startIndex++], pool.address)[0];
+        const scalingFactors = (0, utils_1.decodeThrowError)(this.poolInterface, 'getScalingFactors', data[startIndex++], pool.address)[0];
+        const amp = (0, utils_1.decodeThrowError)(this.poolInterface, 'getAmplificationParameter', data[startIndex++], pool.address);
+        const tokens = poolTokens.tokens.map((address, idx) => ({
+            address: address.toLowerCase(),
+            balance: BigInt(poolTokens.balances[idx].toString()),
+            scalingFactor: BigInt(scalingFactors[idx].toString()),
+        }));
+        const poolState = {
+            swapFee: BigInt(swapFee.toString()),
+            tokens: (0, lodash_1.keyBy)(tokens, 'address'),
+            orderedTokens: poolTokens.tokens,
+        };
+        if (amp) {
+            poolState.amp = BigInt(amp.value.toString());
+        }
+        if (this.isComposable) {
+            const totalSupply = (0, utils_1.decodeThrowError)(this.poolInterface, 'getActualSupply', data[startIndex++], pool.address);
+            poolState.actualSupply = BigInt(totalSupply.toString());
+        }
+        pools[pool.address] = poolState;
+        return [pools, startIndex];
+    }
+    /*
+    For stable pools there is no Swap limit. As an approx - use almost the total balance of token out as we can add any amount of tokenIn and expect some back.
+    */
+    getSwapMaxAmount(poolPairData, side) {
+        return ((this._upscale(poolPairData.balances[poolPairData.indexOut], poolPairData.scalingFactors[poolPairData.indexOut]) *
+            99n) /
+            100n);
+    }
+}
+exports.PhantomStablePool = PhantomStablePool;
+//# sourceMappingURL=PhantomStablePool.js.map

package/build/dex/balancer-v2/pools/phantom-stable/PhantomStablePool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PhantomStablePool.js","sourceRoot":"","sources":["../../../../../src/dex/balancer-v2/pools/phantom-stable/PhantomStablePool.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,4CAA+C;AAC/C,wDAAqD;AACrD,0DAA+C;AAC/C,uCAA8D;AAC9D,uEAAyD;AAGzD,8GAAkF;AAClF,8GAAwF;AACxF,mCAA+B;AAE/B,IAAK,SAIJ;AAJD,WAAK,SAAS;IACZ,qDAAU,CAAA;IACV,qDAAU,CAAA;IACV,yDAAY,CAAA;AACd,CAAC,EAJI,SAAS,KAAT,SAAS,QAIb;AAcD;;;;;;;;;;;GAWG;AACH,MAAa,iBAAkB,SAAQ,2BAAQ;IAU7C,YACE,YAAoB,EACpB,cAAyB,EACjB,eAAe,KAAK;QAE5B,KAAK,EAAE,CAAC;QAFA,iBAAY,GAAZ,YAAY,CAAQ;QAZ9B,mHAAmH;QACnH,gHAAgH;QAChH,iHAAiH;QACjH,oBAAoB;QACpB,sBAAiB,GAAG,qBAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAW1D,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,cAAc,GAAG,cAAc,CAAC;QACrC,IAAI,YAAY;YACd,IAAI,CAAC,aAAa,GAAG,IAAI,eAAS,CAAC,+BAAuB,CAAC,CAAC;;YACzD,IAAI,CAAC,aAAa,GAAG,IAAI,eAAS,CAAC,+BAAiB,CAAC,CAAC;IAC7D,CAAC;IAED;;;;;;QAMI;IACJ,MAAM,CAAC,OAAiB,EAAE,YAAuC;QAC/D,OAAO,IAAI,CAAC,YAAY,CACtB,OAAO,EACP,YAAY,CAAC,MAAM,EACnB,YAAY,CAAC,QAAQ,EACrB,YAAY,CAAC,OAAO,EACpB,YAAY,CAAC,QAAQ,EACrB,YAAY,CAAC,QAAQ,EACrB,YAAY,CAAC,cAAc,EAC3B,YAAY,CAAC,OAAO,EACpB,YAAY,CAAC,GAAG,EAChB,YAAY,CAAC,YAAY,CAC1B,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAiB,EAAE,YAAuC;QAC9D,OAAO,IAAI,CAAC,aAAa,CACvB,OAAO,EACP,YAAY,CAAC,MAAM,EACnB,YAAY,CAAC,QAAQ,EACrB,YAAY,CAAC,OAAO,EACpB,YAAY,CAAC,QAAQ,EACrB,YAAY,CAAC,QAAQ,EACrB,YAAY,CAAC,cAAc,EAC3B,YAAY,CAAC,OAAO,EACpB,YAAY,CAAC,GAAG,EAChB,YAAY,CAAC,YAAY,CAC1B,CAAC;IACJ,CAAC;IAED,+GAA+G;IAC/G,gHAAgH;IAChH,mHAAmH;IACnH,4EAA4E;IAC5E,SAAS,CACP,QAAkB,EAClB,YAAoB,EACpB,aAAqB,EACrB,QAAgB;QAMhB,IAAI,QAAQ,IAAI,CAAC,CAAC,EAAE;YAClB,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC7B,IAAI,QAAQ,GAAG,YAAY;gBAAE,YAAY,IAAI,CAAC,CAAC;YAC/C,IAAI,QAAQ,GAAG,aAAa;gBAAE,aAAa,IAAI,CAAC,CAAC;SAClD;QACD,OAAO;YACL,QAAQ;YACR,OAAO,EAAE,YAAY;YACrB,QAAQ,EAAE,aAAa;SACxB,CAAC;IACJ,CAAC;IAED,aAAa,CACX,eAAyB,EACzB,MAAgB,EAChB,QAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,cAAwB,EACxB,iBAAyB,EACzB,sBAA8B,EAC9B,YAAgC;QAEhC,yDAAyD;QACzD,IAAI,QAAmB,CAAC;QACxB,IAAI,IAAA,qBAAa,EAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;YACpD,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC;SACjC;aAAM,IAAI,IAAA,qBAAa,EAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;YAC5D,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC;SACjC;aAAM;YACL,QAAQ,GAAG,SAAS,CAAC,YAAY,CAAC;SACnC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QACtE,MAAM,qBAAqB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACpD,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAC3C,CAAC;QAEF,IAAI,SAAiB,CAAC;QACtB,IAAI,YAAY;YAAE,SAAS,GAAG,YAAY,CAAC;QAC3C,8CAA8C;;YACzC,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAE3E,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAC/B,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,CACT,CAAC;QAEF,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CACpC,qBAAqB,EACrB,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,OAAO,EAClB,UAAU,CAAC,QAAQ,EACnB,sBAAsB,EACtB,SAAS,EACT,QAAQ,CACT,CAAC;QAEF,MAAM,mBAAmB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAC5C,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAChD,CAAC;QAEF,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACjC,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAClD,CAAC;IACJ,CAAC;IAED,YAAY,CACV,cAAwB,EACxB,MAAgB,EAChB,QAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,QAAgB,EAChB,cAAwB,EACxB,iBAAyB,EACzB,sBAA8B,EAC9B,YAAgC;QAEhC,yDAAyD;QACzD,IAAI,QAAmB,CAAC;QACxB,IAAI,IAAA,qBAAa,EAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;YACpD,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC;SACjC;aAAM,IAAI,IAAA,qBAAa,EAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE;YAC5D,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC;SACjC;aAAM;YACL,QAAQ,GAAG,SAAS,CAAC,YAAY,CAAC;SACnC;QAED,mGAAmG;QACnG,MAAM,qBAAqB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACnD,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAClD,CAAC;QACF,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;QACtE,MAAM,oBAAoB,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACzD,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAC1C,CAAC;QAEF,IAAI,SAAiB,CAAC;QACtB,IAAI,YAAY;YAAE,SAAS,GAAG,YAAY,CAAC;QAC3C,8CAA8C;;YACzC,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAE3E,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAC/B,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,CACT,CAAC;QAEF,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CACpC,oBAAoB,EACpB,UAAU,CAAC,QAAQ,EACnB,UAAU,CAAC,OAAO,EAClB,UAAU,CAAC,QAAQ,EACnB,sBAAsB,EACtB,SAAS,EACT,QAAQ,CACT,CAAC;QAEF,2DAA2D;QAC3D,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACxB,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CACjD,CAAC;IACJ,CAAC;IAED,eAAe,CACb,eAAyB,EACzB,QAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,uBAA+B,EAC/B,gBAAwB,EACxB,QAAmB;QAEnB,MAAM,SAAS,GAAG,iBAAiB,CAAC,mBAAmB,CACrD,uBAAuB,EACvB,QAAQ,EACR,IAAI,CACL,CAAC;QAEF,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,IAAI,QAAQ,KAAK,SAAS,CAAC,UAAU,EAAE;YACrC,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;gBAClC,IAAI,GAAW,CAAC;gBAChB,IAAI;oBACF,MAAM,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxD,eAAe,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;oBAErC,GAAG,GAAG,iBAAiB,CAAC,4BAA4B,CAClD,uBAAuB,EACvB,QAAQ,EACR,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,EAAE,EACF,SAAS,CACV,CAAC;iBACH;gBAAC,OAAO,GAAG,EAAE;oBACZ,GAAG,GAAG,EAAE,CAAC;iBACV;gBACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,CAAC;SACJ;aAAM,IAAI,QAAQ,KAAK,SAAS,CAAC,UAAU,EAAE;YAE5C,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;gBAClC,IAAI,GAAW,CAAC;gBAChB,IAAI;oBACF,MAAM,gBAAgB,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACzD,gBAAgB,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC;oBAEvC,GAAG,GAAG,iBAAiB,CAAC,6BAA6B,CACnD,uBAAuB,EACvB,QAAQ,EACR,gBAAgB,EAChB,gBAAgB,EAChB,EAAE,EACF,SAAS,CACV,CAAC;iBACH;gBAAC,OAAO,GAAG,EAAE;oBACZ,GAAG,GAAG,EAAE,CAAC;iBACV;gBACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,CAAC;SACJ;aAAM;YACL,eAAe,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;gBAClC,IAAI,GAAW,CAAC;gBAChB,IAAI;oBACF,GAAG,GAAG,iBAAiB,CAAC,eAAe,CACrC,uBAAuB,EACvB,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,SAAS,EACT,EAAE,EACF,SAAS,CACV,CAAC;iBACH;gBAAC,OAAO,GAAG,EAAE;oBACZ,GAAG,GAAG,EAAE,CAAC;iBACV;gBACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,CAAC;SACJ;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;SAKK;IACL,cAAc,CACZ,cAAwB,EACxB,QAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,uBAA+B,EAC/B,gBAAwB,EACxB,QAAmB;QAEnB,MAAM,SAAS,GAAG,iBAAiB,CAAC,mBAAmB,CACrD,uBAAuB,EACvB,QAAQ,EACR,IAAI,CACL,CAAC;QAEF,MAAM,UAAU,GAAa,EAAE,CAAC;QAEhC,IAAI,QAAQ,KAAK,SAAS,CAAC,UAAU,EAAE;YACrC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAChC,IAAI,GAAW,CAAC;gBAChB,IAAI;oBACF,MAAM,eAAe,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACxD,eAAe,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC;oBAEpC,GAAG,GAAG,iBAAiB,CAAC,6BAA6B,CACnD,uBAAuB,EACvB,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,SAAS,CACV,CAAC;iBACH;gBAAC,OAAO,GAAG,EAAE;oBACZ,GAAG,GAAG,EAAE,CAAC;iBACV;gBACD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;SACJ;aAAM,IAAI,QAAQ,KAAK,SAAS,CAAC,UAAU,EAAE;YAC5C,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAChC,IAAI,GAAW,CAAC;gBAChB,IAAI;oBACF,GAAG,GAAG,iBAAiB,CAAC,4BAA4B,CAClD,uBAAuB,EACvB,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,gBAAgB,EAChB,SAAS,CACV,CAAC;iBACH;gBAAC,OAAO,GAAG,EAAE;oBACZ,GAAG,GAAG,EAAE,CAAC;iBACV;gBACD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;SACJ;aAAM;YACL,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAChC,IAAI,GAAW,CAAC;gBAChB,IAAI;oBACF,GAAG,GAAG,iBAAiB,CAAC,eAAe,CACrC,uBAAuB,EACvB,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,SAAS,CACV,CAAC;iBACH;gBAAC,OAAO,GAAG,EAAE;oBACZ,GAAG,GAAG,EAAE,CAAC;iBACV;gBACD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,CAAC;SACJ;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;QAEI;IACJ,iBAAiB,CACf,IAAsB,EACtB,SAAoB,EACpB,OAAe,EACf,QAAgB;QAEhB,IAAI,OAAO,GAAG,CAAC,EACb,QAAQ,GAAG,CAAC,EACZ,QAAQ,GAAG,CAAC,CAAC;QACf,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,cAAc,GAAa,EAAE,CAAC;QAEpC,MAAM,MAAM,GAAG,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE;YAC7D,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,WAAW,EAAE;gBAAE,OAAO,GAAG,CAAC,CAAC;YACnE,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,WAAW,EAAE;gBAAE,QAAQ,GAAG,CAAC,CAAC;YACrE,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE;gBAAE,QAAQ,GAAG,CAAC,CAAC;YAEzE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACjE,cAAc,CAAC,IAAI,CACjB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,aAAa,IAAI,EAAE,CAC9D,CAAC;YACF,OAAO,CAAC,CAAC,OAAO,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAA8B;YAC9C,MAAM;YACN,QAAQ;YACR,OAAO;YACP,QAAQ;YACR,cAAc;YACd,QAAQ;YACR,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACvC,YAAY,EAAE,SAAS,CAAC,YAAY;SACrC,CAAC;QACF,OAAO,YAAY,CAAC;IACtB,CAAC;IAED;;;;MAIE;IACF,eAAe,CAAC,IAAsB;QACpC,MAAM,KAAK,GAAG;YACZ;gBACE,MAAM,EAAE,IAAI,CAAC,YAAY;gBACzB,QAAQ,EAAE,IAAI,CAAC,cAAc,CAAC,kBAAkB,CAAC,eAAe,EAAE;oBAChE,IAAI,CAAC,EAAE;iBACR,CAAC;aACH;YACD;gBACE,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,sBAAsB,CAAC;aACxE;YACD;gBACE,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,mBAAmB,CAAC;aACrE;YACD;gBACE,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAC7C,2BAA2B,CAC5B;aACF;SACF,CAAC;QACF;;;;;;;;;WASG;QACH,IAAI,IAAI,CAAC,YAAY;YACnB,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,iBAAiB,CAAC;aACnE,CAAC,CAAC;QAEL,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;MAME;IACF,kBAAkB,CAChB,IAAsB,EACtB,IAA6C,EAC7C,UAAkB;QAElB,MAAM,KAAK,GAAG,EAAsC,CAAC;QAErD,MAAM,UAAU,GAAG,IAAA,wBAAgB,EACjC,IAAI,CAAC,cAAc,EACnB,eAAe,EACf,IAAI,CAAC,UAAU,EAAE,CAAC,EAClB,IAAI,CAAC,OAAO,CACb,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,wBAAgB,EAC9B,IAAI,CAAC,aAAa,EAClB,sBAAsB,EACtB,IAAI,CAAC,UAAU,EAAE,CAAC,EAClB,IAAI,CAAC,OAAO,CACb,CAAC,CAAC,CAAC,CAAC;QACL,MAAM,cAAc,GAAG,IAAA,wBAAgB,EACrC,IAAI,CAAC,aAAa,EAClB,mBAAmB,EACnB,IAAI,CAAC,UAAU,EAAE,CAAC,EAClB,IAAI,CAAC,OAAO,CACb,CAAC,CAAC,CAAC,CAAC;QACL,MAAM,GAAG,GAAG,IAAA,wBAAgB,EAC1B,IAAI,CAAC,aAAa,EAClB,2BAA2B,EAC3B,IAAI,CAAC,UAAU,EAAE,CAAC,EAClB,IAAI,CAAC,OAAO,CACb,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAe,EAAE,GAAW,EAAE,EAAE,CAAC,CAAC;YACtE,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE;YAC9B,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpD,aAAa,EAAE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;SACtD,CAAC,CAAC,CAAC;QAEJ,MAAM,SAAS,GAAc;YAC3B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,EAAE,IAAA,cAAK,EAAC,MAAM,EAAE,SAAS,CAAC;YAChC,aAAa,EAAE,UAAU,CAAC,MAAM;SACjC,CAAC;QAEF,IAAI,GAAG,EAAE;YACP,SAAS,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;SAC9C;QAED,IAAI,IAAI,CAAC,YAAY,EAAE;YACrB,MAAM,WAAW,GAAG,IAAA,wBAAgB,EAClC,IAAI,CAAC,aAAa,EAClB,iBAAiB,EACjB,IAAI,CAAC,UAAU,EAAE,CAAC,EAClB,IAAI,CAAC,OAAO,CACb,CAAC;YACF,SAAS,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;SACzD;QAED,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;QAEhC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC7B,CAAC;IAED;;MAEE;IACF,gBAAgB,CACd,YAAuC,EACvC,IAAc;QAEd,OAAO,CACL,CAAC,IAAI,CAAC,QAAQ,CACZ,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,EAC5C,YAAY,CAAC,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,CACnD;YACC,GAAG,CAAC;YACN,IAAI,CACL,CAAC;IACJ,CAAC;CACF;AA3hBD,8CA2hBC"}

package/build/dex/balancer-v2/pools/stable/StableMath.d.ts

@@ -0,0 +1,7 @@
+export declare class StableMath {
+    static _AMP_PRECISION: bigint;
+    static _calculateInvariant(amplificationParameter: bigint, balances: bigint[], roundUp: boolean): bigint;
+    static _calcInGivenOut(amplificationParameter: bigint, balances: bigint[], tokenIndexIn: number, tokenIndexOut: number, tokenAmountsOut: bigint[]): bigint[];
+    static _calcOutGivenIn(amplificationParameter: bigint, balances: bigint[], tokenIndexIn: number, tokenIndexOut: number, tokenAmountsIn: bigint[]): bigint[];
+    static _getTokenBalanceGivenInvariantAndAllOtherBalances(amplificationParameter: bigint, balances: bigint[], invariant: bigint, tokenIndex: number): bigint;
+}

package/build/dex/balancer-v2/pools/stable/StableMath.js

@@ -0,0 +1,111 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.StableMath = void 0;
+const bigint_constants_1 = require("../../../../bigint-constants");
+const balancer_v2_math_1 = require("../../balancer-v2-math");
+class StableMath {
+    static _calculateInvariant(amplificationParameter, balances, roundUp) {
+        /**********************************************************************************************
+         // invariant                                                                                 //
+         // D = invariant                                                  D^(n+1)                    //
+         // A = amplification coefficient      A  n^n S + D = A D n^n + -----------                   //
+         // S = sum of balances                                             n^n P                     //
+         // P = product of balances                                                                   //
+         // n = number of tokens                                                                      //
+         *********x************************************************************************************/
+        // We support rounding up or down.
+        let sum = 0n;
+        const numTokens = balances.length;
+        for (let i = 0; i < numTokens; i++) {
+            sum = sum + balances[i];
+        }
+        if (sum == 0n) {
+            return 0n;
+        }
+        let prevInvariant = 0n;
+        let invariant = sum;
+        const ampTimesTotal = amplificationParameter * BigInt(numTokens);
+        for (let i = 0; i < 255; i++) {
+            let P_D = balances[0] * BigInt(numTokens);
+            for (let j = 1; j < numTokens; j++) {
+                P_D = balancer_v2_math_1.MathSol.div(balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.mul(P_D, balances[j]), BigInt(numTokens)), invariant, roundUp);
+            }
+            prevInvariant = invariant;
+            invariant = balancer_v2_math_1.MathSol.div(balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.mul(BigInt(numTokens), invariant), invariant) +
+                balancer_v2_math_1.MathSol.div(balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.mul(ampTimesTotal, sum), P_D), this._AMP_PRECISION, roundUp), balancer_v2_math_1.MathSol.mul(BigInt(numTokens + 1), invariant) +
+                // No need to use checked arithmetic for the amp precision, the amp is guaranteed to be at least 1
+                balancer_v2_math_1.MathSol.div(balancer_v2_math_1.MathSol.mul(ampTimesTotal - this._AMP_PRECISION, P_D), this._AMP_PRECISION, !roundUp), roundUp);
+            if (invariant > prevInvariant) {
+                if (invariant - prevInvariant <= 1) {
+                    return invariant;
+                }
+            }
+            else if (prevInvariant - invariant <= 1) {
+                return invariant;
+            }
+        }
+        throw new Error('Errors.STABLE_INVARIANT_DIDNT_CONVERGE');
+    }
+    static _calcInGivenOut(amplificationParameter, balances, tokenIndexIn, tokenIndexOut, tokenAmountsOut) {
+        const invariant = this._calculateInvariant(amplificationParameter, balances, false);
+        return tokenAmountsOut.map(a => {
+            balances[tokenIndexOut] = balancer_v2_math_1.MathSol.sub(balances[tokenIndexOut], a);
+            const finalBalanceIn = this._getTokenBalanceGivenInvariantAndAllOtherBalances(amplificationParameter, balances, invariant, tokenIndexIn);
+            return balancer_v2_math_1.MathSol.add(balancer_v2_math_1.MathSol.sub(finalBalanceIn, balances[tokenIndexIn]), 1n);
+        });
+    }
+    ;
+    static _calcOutGivenIn(amplificationParameter, balances, tokenIndexIn, tokenIndexOut, tokenAmountsIn) {
+        // Amount out, so we round down overall.
+        // Given that we need to have a greater final balance out, the invariant needs to be rounded up
+        const invariant = this._calculateInvariant(amplificationParameter, balances, true);
+        const initBalance = balances[tokenIndexIn];
+        // Modification: The original code was implemented for a single tokenAmountsIn
+        return tokenAmountsIn.map(a => {
+            balances[tokenIndexIn] = initBalance + a;
+            const finalBalanceOut = this._getTokenBalanceGivenInvariantAndAllOtherBalances(amplificationParameter, balances, invariant, tokenIndexOut);
+            // No need to use checked arithmetic since `tokenAmountIn` was actually added to the same balance right before
+            // calling `_getTokenBalanceGivenInvariantAndAllOtherBalances` which doesn't alter the balances array.
+            // balances[tokenIndexIn] = balances[tokenIndexIn] - tokenAmountIn;
+            return balances[tokenIndexOut] - finalBalanceOut - 1n;
+        });
+    }
+    static _getTokenBalanceGivenInvariantAndAllOtherBalances(amplificationParameter, balances, invariant, tokenIndex) {
+        // Rounds result up overall
+        const ampTimesTotal = amplificationParameter * BigInt(balances.length);
+        let sum = balances[0];
+        let P_D = balances[0] * BigInt(balances.length);
+        for (let j = 1; j < balances.length; j++) {
+            P_D = balancer_v2_math_1.MathSol.divDown(balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.mul(P_D, balances[j]), BigInt(balances.length)), invariant);
+            sum = sum + balances[j];
+        }
+        // No need to use safe math, based on the loop above `sum` is greater than or equal to `balances[tokenIndex]`
+        sum = sum - balances[tokenIndex];
+        const inv2 = balancer_v2_math_1.MathSol.mul(invariant, invariant);
+        // We remove the balance fromm c by multiplying it
+        const c = balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.divUp(inv2, balancer_v2_math_1.MathSol.mul(ampTimesTotal, P_D)), this._AMP_PRECISION), balances[tokenIndex]);
+        const b = sum +
+            balancer_v2_math_1.MathSol.mul(balancer_v2_math_1.MathSol.divDown(invariant, ampTimesTotal), this._AMP_PRECISION);
+        // We iterate to find the balance
+        let prevTokenBalance = 0n;
+        // We multiply the first iteration outside the loop with the invariant to set the value of the
+        // initial approximation.
+        let tokenBalance = balancer_v2_math_1.MathSol.divUp(inv2 + c, invariant + b);
+        for (let i = 0; i < 255; i++) {
+            prevTokenBalance = tokenBalance;
+            tokenBalance = balancer_v2_math_1.MathSol.divUp(balancer_v2_math_1.MathSol.mul(tokenBalance, tokenBalance) + c, balancer_v2_math_1.MathSol.mul(tokenBalance, 2n) + b - invariant);
+            if (tokenBalance > prevTokenBalance) {
+                if (tokenBalance - prevTokenBalance <= 1) {
+                    return tokenBalance;
+                }
+            }
+            else if (prevTokenBalance - tokenBalance <= 1) {
+                return tokenBalance;
+            }
+        }
+        throw new Error('Errors.STABLE_GET_BALANCE_DIDNT_CONVERGE');
+    }
+}
+exports.StableMath = StableMath;
+StableMath._AMP_PRECISION = bigint_constants_1.BI_POWS[3];
+//# sourceMappingURL=StableMath.js.map

package/build/dex/balancer-v2/pools/stable/StableMath.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"StableMath.js","sourceRoot":"","sources":["../../../../../src/dex/balancer-v2/pools/stable/StableMath.ts"],"names":[],"mappings":";;;AAAA,mEAAuD;AACvD,6DAAiD;AAEjD,MAAa,UAAU;IAGrB,MAAM,CAAC,mBAAmB,CACxB,sBAA8B,EAC9B,QAAkB,EAClB,OAAgB;QAEhB;;;;;;;wGAOgG;QAEhG,kCAAkC;QAClC,IAAI,GAAG,GAAG,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE;YAClC,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;SACzB;QACD,IAAI,GAAG,IAAI,EAAE,EAAE;YACb,OAAO,EAAE,CAAC;SACX;QAED,IAAI,aAAa,GAAG,EAAE,CAAC;QACvB,IAAI,SAAS,GAAG,GAAG,CAAC;QACpB,MAAM,aAAa,GAAG,sBAAsB,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAEjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE;YAC5B,IAAI,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE;gBAClC,GAAG,GAAG,0BAAO,CAAC,GAAG,CACf,0BAAO,CAAC,GAAG,CAAC,0BAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,EAC7D,SAAS,EACT,OAAO,CACR,CAAC;aACH;YACD,aAAa,GAAG,SAAS,CAAC;YAC1B,SAAS,GAAG,0BAAO,CAAC,GAAG,CACrB,0BAAO,CAAC,GAAG,CAAC,0BAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC;gBACjE,0BAAO,CAAC,GAAG,CACT,0BAAO,CAAC,GAAG,CAAC,0BAAO,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EACjD,IAAI,CAAC,cAAc,EACnB,OAAO,CACR,EACD,0BAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC;gBAC7C,kGAAkG;gBAClG,0BAAO,CAAC,GAAG,CACT,0BAAO,CAAC,GAAG,CAAC,aAAa,GAAG,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,EACrD,IAAI,CAAC,cAAc,EACnB,CAAC,OAAO,CACT,EACD,OAAO,CACR,CAAC;YAEF,IAAI,SAAS,GAAG,aAAa,EAAE;gBAC7B,IAAI,SAAS,GAAG,aAAa,IAAI,CAAC,EAAE;oBAClC,OAAO,SAAS,CAAC;iBAClB;aACF;iBAAM,IAAI,aAAa,GAAG,SAAS,IAAI,CAAC,EAAE;gBACzC,OAAO,SAAS,CAAC;aAClB;SACF;QAED,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,CAAC;IAGD,MAAM,CAAC,eAAe,CACpB,sBAA8B,EAC9B,QAAkB,EAClB,YAAoB,EACpB,aAAqB,EACrB,eAAyB;QAEzB,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CACxC,sBAAsB,EACtB,QAAQ,EACR,KAAK,CACN,CAAC;QAEF,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC7B,QAAQ,CAAC,aAAa,CAAC,GAAG,0BAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;YAElE,MAAM,cAAc,GAClB,IAAI,CAAC,iDAAiD,CACpD,sBAAsB,EACtB,QAAQ,EACR,SAAS,EACT,YAAY,CACb,CAAC;YAEJ,OAAO,0BAAO,CAAC,GAAG,CAChB,0BAAO,CAAC,GAAG,CAAC,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,EACnD,EAAE,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAAA,CAAC;IAEF,MAAM,CAAC,eAAe,CACpB,sBAA8B,EAC9B,QAAkB,EAClB,YAAoB,EACpB,aAAqB,EACrB,cAAwB;QAExB,wCAAwC;QAExC,+FAA+F;QAC/F,MAAM,SAAS,GAAG,IAAI,CAAC,mBAAmB,CACxC,sBAAsB,EACtB,QAAQ,EACR,IAAI,CACH,CAAC;QAEJ,MAAM,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;QAC3C,8EAA8E;QAC9E,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC5B,QAAQ,CAAC,YAAY,CAAC,GAAG,WAAW,GAAG,CAAC,CAAC;YAEzC,MAAM,eAAe,GACnB,IAAI,CAAC,iDAAiD,CACpD,sBAAsB,EACtB,QAAQ,EACR,SAAS,EACT,aAAa,CACd,CAAC;YAEJ,8GAA8G;YAC9G,sGAAsG;YACtG,mEAAmE;YACnE,OAAO,QAAQ,CAAC,aAAa,CAAC,GAAG,eAAe,GAAG,EAAE,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,iDAAiD,CACtD,sBAA8B,EAC9B,QAAkB,EAClB,SAAiB,EACjB,UAAkB;QAElB,2BAA2B;QAE3B,MAAM,aAAa,GAAG,sBAAsB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACvE,IAAI,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACxC,GAAG,GAAG,0BAAO,CAAC,OAAO,CACnB,0BAAO,CAAC,GAAG,CAAC,0BAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EACnE,SAAS,CACV,CAAC;YACF,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;SACzB;QACD,6GAA6G;QAC7G,GAAG,GAAG,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAEjC,MAAM,IAAI,GAAG,0BAAO,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC/C,kDAAkD;QAClD,MAAM,CAAC,GAAG,0BAAO,CAAC,GAAG,CACnB,0BAAO,CAAC,GAAG,CACT,0BAAO,CAAC,KAAK,CAAC,IAAI,EAAE,0BAAO,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,EACpD,IAAI,CAAC,cAAc,CACpB,EACD,QAAQ,CAAC,UAAU,CAAC,CACrB,CAAC;QACF,MAAM,CAAC,GACL,GAAG;YACH,0BAAO,CAAC,GAAG,CACT,0BAAO,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,EACzC,IAAI,CAAC,cAAc,CACpB,CAAC;QAEJ,iCAAiC;QACjC,IAAI,gBAAgB,GAAG,EAAE,CAAC;QAC1B,8FAA8F;QAC9F,yBAAyB;QACzB,IAAI,YAAY,GAAG,0BAAO,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;QAE1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE;YAC5B,gBAAgB,GAAG,YAAY,CAAC;YAEhC,YAAY,GAAG,0BAAO,CAAC,KAAK,CAC1B,0BAAO,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,EAC3C,0BAAO,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,SAAS,CAC9C,CAAC;YAEF,IAAI,YAAY,GAAG,gBAAgB,EAAE;gBACnC,IAAI,YAAY,GAAG,gBAAgB,IAAI,CAAC,EAAE;oBACxC,OAAO,YAAY,CAAC;iBACrB;aACF;iBAAM,IAAI,gBAAgB,GAAG,YAAY,IAAI,CAAC,EAAE;gBAC/C,OAAO,YAAY,CAAC;aACrB;SACF;QAED,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;;AAvMH,gCAwMC;AAvMQ,yBAAc,GAAG,0BAAO,CAAC,CAAC,CAAC,CAAC"}

package/build/dex/balancer-v2/pools/stable/StablePool.d.ts

@@ -0,0 +1,30 @@
+import { Interface } from '@ethersproject/abi';
+import { callData, PoolState, SubgraphPoolBase } from '../../types';
+import { SwapSide } from '../../../../constants';
+import { BaseGeneralPool } from '../balancer-v2-pool';
+export declare type StablePoolPairData = {
+    balances: bigint[];
+    indexIn: number;
+    indexOut: number;
+    scalingFactors: bigint[];
+    swapFee: bigint;
+    amp: bigint;
+};
+export declare class StablePool extends BaseGeneralPool {
+    vaultAddress: string;
+    vaultInterface: Interface;
+    poolInterface: Interface;
+    metaPoolInterface: Interface;
+    constructor(vaultAddress: string, vaultInterface: Interface);
+    _onSwapGivenOut(tokenAmountsOut: bigint[], balances: bigint[], indexIn: number, indexOut: number, _amplificationParameter: bigint): bigint[];
+    _onSwapGivenIn(tokenAmountsIn: bigint[], balances: bigint[], indexIn: number, indexOut: number, _amplificationParameter: bigint): bigint[];
+    parsePoolPairData(pool: SubgraphPoolBase, poolState: PoolState, tokenIn: string, tokenOut: string): StablePoolPairData;
+    getOnChainCalls(pool: SubgraphPoolBase): callData[];
+    decodeOnChainCalls(pool: SubgraphPoolBase, data: {
+        success: boolean;
+        returnData: any;
+    }[], startIndex: number): [{
+        [address: string]: PoolState;
+    }, number];
+    getSwapMaxAmount(poolPairData: StablePoolPairData, side: SwapSide): bigint;
+}