一、関連モジュール：#
1）batchSwap
Balancer Vault 内で、batchSwap は Uniswap V4 のような任意の組み合わせの交換を提供します —— 取引が完了した時にのみ決済が行われます。
トークンはプロセス中に任意の数量が増発される可能性があり、ユーザーは最終的な決済結果に対してのみ支払う必要があります。
2）Composable Pools（コンポーザブルプール）
基盤資産（例えば peg）が類似している LST トークンは、Composable Pool で交換可能で、交換比率は元の線形プールにおける「LST と基盤資産の数量の比率」に依存します。{基盤資産 / LST} が大きいほど、その LST のコンポーザブルプール内での価値は高くなります。
3）線形プール
Balancer の線形プールは、取引時に amount in を切り上げ、amount out を切り下げます。
プールの Virtual supply がゼロの場合、プールは初期化され、この時 LST トークンは基盤資産と 1：1 で交換されます。
（Virtual supply=totalSupply - 線形プール balance
ここで、Virtual supply は LST トークンの実際の発行量、totalSupply は定数、線形プール balance は予増発量を示します）
二、利用可能な攻撃ベクトル#
1) BatchSwap の「増発」メカニズム：LST トークンは取引中に Virtual supply を満たす数量が鋳造され、線形プールの初期化条件を提供します。
2) 線形プールの切り上げメカニズム：LST を基盤資産に交換する際、切り下げられた amount out は線形プールの交換比率を不均衡にし、線形プールの元の資産比率が大きく異なる場合に特に顕著です。
不均衡の表れ：{基盤資産 / LST} が大きい
3) コンポーザブルプールの交換比率メカニズム：コンポーザブルプールの特性に基づき、特定の LST の価格を引き上げることで、他の LST を割引価格で交換できます。
三、主要なプロセス：#
1. 最初の swap（usdc 線形プール）：増発された USDC BPT（上記の LST）を使用して線形プール内の大部分の usdc を交換しました。
2. 二回目の swap（usdc 線形プール）：amount out を 0 とする取引を構築します。線形プールの {基盤資産 / LST} は切り上げメカニズムにより非常に大きくなります。
3. 三回目の swap（コンポーザブルプール）：コンポーザブルプール内の DAI/USDT BPT が低価格で USDC BPT に交換されます。
4. 四回目の swap（usdc 線形プール）：線形プールに USDC BPT を注入し、VirturalSupply=0 にして線形プールを初期化します。
5. 五回目の swap（usdc 線形プール）：1:1 の比率で USDC を使用して USDC BPT を交換し、「増発」ローンを返済します。
五回目は必須です：USDC の精度は USDC BPT よりも低く、丸めによる線形プールのバランスの傾斜は一方向であり、五回目のみが十分な USDC BPT を提供し、同時に DAI/USDT BPT を保持できます。
四、連想#
zkLend 攻撃では、攻撃者は事前に lending_accumulator の値を非常に大きくし、その後丸めメカニズムを利用して少量の wstETH を多量の wstETH に交換しました。
zkLend の丸めはすべて切り下げ（コアペイロード）であり、Balancer の線形プールにも同様の問題がありますが、Balancer の攻撃者はこの経路を選んでいません。
具体的な実装は：
- 1 > の金利で BPT を「借入れ」（フラッシュ）し、メインとラップされたものに取引し、トークン残高をほぼゼロに減少させます。
- 取引を作成し、GivenOut スワップの丸め誤差を利用して総残高を仮想供給量に等しくし、為替レートを 1 にリセットします（為替レート = 残高 / 供給量）。
- 新しい低金利でフラッシュスワップ BPT を返済して利益を得ます。
五、参考#
https://slowmist.medium.com/review-and-recommendations-of-balancer-incident-d2b31b5bd863