[論文レビュー] SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols

Jiahua Xu, Krzysztof Paruch+2 more|RePEc: Research Papers in Economics|Mar 23, 2021

Blockchain Technology Applications and Security被引用数 7

ひとこと要約

本論文は、自動市場メイカー（AMM）プロトコルを用いた分散型為替市場（DEX）に関する、初めての知識体系的整理（SoK）を提示する。形式的状態空間フレームワークを導入し、AMMのメカニズムをモデル化し、保存関数の比較およびスリッページと分散損失の分析を可能にする。本論文は、AMMベースのDEXにおけるセキュリティおよびプライバシー問題について包括的なサーベイを実施し、DeFi分野における今後の研究およびプロトコル開発の基盤となる分類法を確立する。

ABSTRACT

As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges (DEXs) with automated market maker (AMM) protocols have gained massive traction with the recently revived interest in blockchain and distributed ledger technology (DLT) in general. Instead of matching the buy and sell sides, automated market makers (AMMs) employ a peer-to-pool method and determine asset price algorithmically through a so-called conservation function. To facilitate the improvement and development of automated market maker (AMM)-based decentralized exchanges (DEXs), we create the first systematization of knowledge in this area. We first establish a general automated market maker (AMM) framework describing the economics and formalizing the system's state-space representation. We then employ our framework to systematically compare the top automated market maker (AMM) protocols' mechanics, illustrating their conservation functions, as well as slippage and divergence loss functions. We further discuss security and privacy concerns, how they are enabled by automated market maker (AMM)-based decentralized exchanges (DEXs)' inherent properties, and explore mitigating solutions. Finally, we conduct a comprehensive literature review on related work covering both decentralized finance (DeFi) and conventional market microstructure.

研究の動機と目的

• 状態空間表現と保存関数を用いて、AMMベースのDEXを形式的かつ一般的にモデル化するフレームワークを構築すること。
• 保存関数、スリッページ、分散損失の特性を分析することで、主要なAMMプロトコルを体系的に比較すること。
• プロトコル設計および運用特性に起因する、AMMベースのDEXに内在するセキュリティおよびプライバシーリスクを特定・分析すること。
• AMMプロトコル、DeFi市場マイクロ構造、および関連セキュリティ脅威に関する既存の研究をサーベイし、分類すること。
• 断片的な知見を統合した一貫性のある知識体系としての基盤を提供し、分散金融分野における今後の研究開発を支援すること。

提案手法

• 状態空間表現に基づく一般化されたAMMフレームワークを提案し、保存関数を用いてシステムの状態とダイナミクスをモデル化する。
• 定数積、加重型、対数的市場スコアリングルールなどの保存関数の数学的形式化を採用し、プロトコルのメカニズムを比較する。
• スリッページおよび分散損失関数を導出し、AMMプロトコルの主要な経済的パフォーマンス指標として分析する。
• DeFi、市場マイクロ構造、セキュリティ脅威（MEV、フロントランニング、ブロックチェーンDoS攻撃など）をカバーする包括的な文献レビューを実施する。
• 実世界の状況下でのプロトコル行動を評価するために、実証的研究、シミュレーション、事例研究の知見を統合する。
• 分類に基づくアプローチを用い、AMMの変種、セキュリティ脆弱性、および緩和戦略を分類する。

実験結果

リサーチクエスチョン

• RQ1 AMMベースのDEXは、統一された状態空間フレームワークを用いてどのように形式的にモデル化可能か？ これにより、経済的および機械的行動を捉えることができるか？
• RQ2 主要なAMMプロトコル間における保存関数の主な差異は何か？ また、それらは価格発見、スリッページ、不完全損失にどのように影響を与えるか？
• RQ3 AMMベースのDEXに内在する主なセキュリティおよびプライバシー脅威は何か？ それらはプロトコル設計およびブロックチェーンの特性に起因するものか？
• RQ4 経済的効率性、リスク露出、市場および悪意ある状況に対するレジリエンスの観点から、既存のAMMプロトコルはどのように比較可能か？
• RQ5 AMMベースのDEXの設計および分析における主要な研究ギャップと未解決課題は何か？ そして、それらを体系的に解決するにはどうすればよいか？

主な発見

• 提示された状態空間フレームワークは、多様なAMMプロトコルのメカニズムを的確に抽象化・形式化し、保存関数間の体系的比較を可能にした。
• 定数関数市場メイカー（CFMM）— たとえば定数積モデル— は現在のAMM市場を支配しているが、価格変動が激しい場合には顕著なスリッページと分散損失を示す。
• 分散損失は、価格変動と初期流動性割り当ての関数として形式的に定量化され、資産価格が初期値から乖離する際、流動性提供者（LP）がそのリスクを負うことが明確になった。
• MEV、フロントランニング、L7 DDoS攻撃などのセキュリティ脅威は、ブロックチェーンの公開的かつ確率的な取引順序付けの性質に起因し、AMM設計によって悪化する。
• プライバシーリスクは、ブロックチェーン上の取引の透明性に起因し、LPのポジションや取引パターンの追跡が可能であり、現行のプロトコルでは緩和策が限定的である。
• 文献レビューにより、MEVやフロントランニングを中心にAMMセキュリティに関する研究が急増していることが判明したが、経済的およびセキュリティ分析のための統一的で形式的なモデルの欠如が指摘された。