¢¢📝:翻訳は全てChatGPT5.5Thinkingによる¢¢

フラッシュスワップ

フラッシュスワップとは何か

フラッシュスワップとは、Uniswap v2 のペアコントラクトから先にトークンを受け取り、同じトランザクション内で必要な支払いを後から行う仕組みである。

通常のスワップでは、先に入力トークンを支払い、その後に出力トークンを受け取る、と考えたくなる。

たとえば、DAI/WETH ペアで WETH を受け取りたいなら、普通は先に DAI をプールへ送ってから WETH を受け取る、と考える。

しかし、Uniswap v2 Core の swap 関数では、ペアコントラクトはまず amount0Out または amount1Out で指定された出力トークンを to に送る。

これは、swap 関数内の次の箇所で起こる。

if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out);
if (amount1Out > 0) _safeTransfer(_token1, to, amount1Out);

¢¢📝:コードの詳細は後で確認する¢¢

ここで重要なのは、この時点ではまだ、ペアコントラクトは入力トークンの支払いが十分かどうかを確認していないという点である。

つまり、Uniswap v2 の swap 関数は、支払い確認より先に出力トークンを送る。

この先払いの転送を、コードコメントでは optimistically transfer tokens と呼んでいる。

// optimistically transfer tokens

optimistically は「楽観的に」という意味である。ただし、これは相手を信用しているという意味ではない。

Ethereum のトランザクションはアトミックであり、最後の検証に失敗すれば、それ以前のトークン転送も含めてすべてリバートされる。

そのため、Uniswap v2 は先にトークンを送っても、最後に支払い不足を検出できれば問題ない。

¢¢☝️:フラッシュスワップの核心は、_safeTransfer で出力トークンを先に to へ送り、最後に balanceOf と K チェックで支払いを検証する点である。¢¢

Uniswap v2 の swap 関数は、通常スワップにもフラッシュスワップにも使われる。違いは、data が空かどうかである。

出力トークンを送った後、data が空でなければ、ペアコントラクトは to に対して uniswapV2Call を呼ぶ。

これは、swap 関数内の次の箇所で起こる。

if (data.length > 0) IUniswapV2Callee(to).uniswapV2Call(msg.sender, amount0Out, amount1Out, data);

つまり、コールバックを呼ぶかどうかは、Uniswap が「必要かどうか」を判断して決めているわけではない。

機械的に、data.length > 0 なら呼ぶ。data.length == 0 なら呼ばない。

種類