[論文レビュー] Flashot: A Snapshot of Flash Loan Attack on DeFi Ecosystem

Yixin Cao, Chuanwei Zou+1 more|arXiv (Cornell University)|Feb 1, 2021

Blockchain Technology Applications and Security参考文献 11被引用数 9

ひとこと要約

本論文では、DeFiにおけるフラッシュローン攻撃中のアセットフローを捉え図式化する標準化された可視化ツール「Flashot」を紹介する。このフレームワークにより、スマートコントラクトの複雑な相互作用の透明な分析が可能となり、攻撃者が流動性が低いAMMプールを arbitrage および操作によって悪用する仕組みが明らかになる。フラッシュローンは、迅速かつアトミックな状態変更を可能にする「時間の拡張（time dilation）」イベントとして機能し、利益の抽出を可能にする。また、強固なプロトコル設計と流動性のしきい値の設定の重要性が強調される。

ABSTRACT

Flash Loan attack can grab millions of dollars from decentralized vaults in one single transaction, drawing increasing attention from the Decentralized Finance (DeFi) players. It has also demonstrated an exciting opportunity that a huge wealth could be created by composing DeFi's building blocks and exploring the arbitrage change. However, a fundamental framework to study the field of DeFi has not yet reached a consensus and there's a lack of standard tools or languages to help better describe, design and improve the running processes of the infant DeFi systems, which naturally makes it harder to understand the basic principles behind the complexity of Flash Loan attacks. In this paper, we are the first to propose Flashot, a prototype that is able to transparently illustrate the precise asset flows intertwined with smart contracts in a standardized diagram for each Flash Loan event. Some use cases are shown and specifically, based on Flashot, we study a typical Pump and Arbitrage case and present in-depth economic explanations to the attacker's behaviors. Finally, we conclude the development trends of Flash Loan attacks and discuss the great impact on DeFi ecosystem brought by Flash Loan. We envision a brand new quantitative financial industry powered by highly efficient automatic risk and profit detection systems based on the blockchain.

研究の動機と目的

• DeFiにおけるフラッシュローン取引の分析・可視化に向けた標準化されたツールの不足に応えること。これは、ますます複雑化し、大きな影響を及ぼすようになっている。
• フラッシュローンイベント中のスマートコントラクト間のアセットフローを透明かつ図式化された形で表現することで、攻撃メカニズムの理解を向上させること。
• 特にポンプ＆アービタージュ戦略を含む、現実世界のフラッシュローン攻撃パターンを、詳細な経済的・技術的分析を通じて調査すること。
• 流動性が低い自動市場メイキング（AMM）プールに特有の、DeFiプロトコルにおけるシステミックな脆弱性を特定すること。
• フラッシュローン攻撃が露呈する弱みを示唆することで、将来のプロトコル設計を支援し、流動性およびリスク管理の最適化を促進すること。

提案手法

• Flashotは、フラッシュローン取引の標準化された可視化図を生成するプロトタイプシステムであり、1つのアトミックトランザクション内で複数のスマートコントラクトをまたがるアセットフローを捉える。
• このツールは、1つのブロックチェーン取引ブロック内で、借り入れからアービタージュ実行、返済までのフラッシュローンのライフサイクルをモデル化する。
• スマートコントラクト相互作用の形式化された表現を用いて、資金がDeFiプロトコル間、特にAMMおよびレンディングプールを介してどのように移動するかをマッピングする。
• このフレームワークは、bZxポンプ攻撃などの実際の攻撃事例に適用され、流動性が低いプールが価格オラクルの操作によってどのように悪用されるかを説明する。
• Flashotは、AMM内の資産準備金の操作が攻撃の主要なベクトルとなることを可視化することで、状態変更の正確なタイミングと順序を特定可能にする。
• 今後の自動化されたリスクおよび利益検出を支援するため、システム分析の定量的かつ視覚的基盤を提供するように設計されている。

実験結果

リサーチクエスチョン

• RQ1 スマートコントラクト相互作用およびアセットフローのレベルで、フラッシュローン攻撃を体系的に可視化し、理解することはどのように可能か？
• RQ2 特にAMMベースのDeFiプロトコルにおいて、フラッシュローン攻撃で共通して用いられるパターンとメカニズムは何か？
• RQ3 流動性が低いプールは、フラッシュローンイベント中にどのように操作の対象となり得るのか。また、価格オラクルはそのような攻撃において果たす役割は何か？
• RQ4 フラッシュローン攻撃は、DeFiプロトコル設計および流動性管理におけるシステミックな弱みをどの程度露呈するのか？
• RQ5 標準化された可視化ツール（例：Flashot）は、より強固で効率的なDeFiシステムの開発にどのように貢献できるか？

主な発見

• Flashotは、フラッシュローン取引中の正確なアセット移動の順序とスマートコントラクト相互作用を捉える、標準的かつ透明な図を効果的に生成した。
• bZxポンプ攻撃の事例から、攻撃者は流動性が低いAMMプールのリザーブレシオを操作することで、顕著な価格歪みを引き起こし、利益を抽出できることを示した。
• フラッシュローン攻撃は、通常、AMM内の1つの資産のリザーブを変更することで価格オラクルを操作することに依存しており、これにより取引ペアの認識価格が直接的に影響を受ける。
• 本研究は、フラッシュローンが「時間の拡張（time dilation）」イベントとして機能することを確認した。すなわち、取引が極めて迅速に実行されるため、ブロックチェーンの状態が凍結しているように見える。これにより、検知されない状態変更が可能になる。
• 流動性が不十分なプロトコルは、こうした攻撃に対して極めて脆弱である。これは、流動性の深さが、フラッシュローン攻撃に対する実質的な「護岸（moat）」の役割を果たすことを示唆している。
• フラッシュローン攻撃の出現は、正のフィードバックループを生み出した。攻撃が脆弱性を露呈し、その結果、プロトコルの改善、流動性の統合、エコシステムの成熟が促進された。