Loading...

Analysis and Investigation of Miner Extractable Value in Constant Product Market Makers with Random Ordering

Jadidi Amir Hossein | 2023

1555 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 56736 (05)
  4. University: Sharif University of Technology
  5. Department: Electrical Engineering
  6. Advisor(s): Maddah Ali, Mohammad Ali; Tefagh, Mojtaba
  7. Abstract:
  8. Blockchain technology presents a decentralized management structure designed to cater to various needs, such as decentralization and the elimination of single points of failure. With the evolution of blockchain technology, smart contracts have emerged as a remarkable platform for facilitating financial activities in a decentralized manner. Among the different types of smart contracts, decentralized exchanges stand out by their absence of a central authority overseeing user transactions. This lack of a central oversight exposes users of such exchanges to potential attacks from malicious entities. A key challenge faced by these exchanges is the concept of Miner Extractable Value. Miner extractable value pertains to the potential gain achieved through the manipulation of transactions, which includes actions like reordering, inserting, and excluding transactions. This manipulation benefits miners directly and other network participants (including both automated systems and users) indirectly. However, this issue doesn’t invariably undermine the network; in certain instances, it can even contribute to network stability. Hence, we categorize miner extractable value into two types: beneficial and harmful. In this thesis we first introduce a decentralized methodology accompanied by an implementation algorithm. This method focuses on randomizing the execution sequence of transactions within a block concerning a decentralized exchange. Subsequently, we provide a mathematical proof demonstrating how this randomized sequencing removes the incentive for executing harmful miner extractable value scenarios for miners, adversary robots, or users. Additionally, it encourages the execution of beneficial scenarios, ultimately fostering stability and equilibrium within the blockchain network
  9. Keywords:
  10. Randomization ; Decentralized Exchanges (DEX) ; Automated Market Makers (AMM) ; Sandwich Attack ; Miner Extractable Value (MEV) ; Random Oracle Model

 Digital Object List

 Bookmark

  • مقدمه
  • مرور ادبیات
    • بلاکچین و قراردادهای هوشمند
    • صرافی‌های غیرمتمرکز
    • بازارساز ضرب ثابت
      • الگوریتم بازارسازهای ضرب ثابت
      • لغزش
      • تامین‌کردن نقدینگی بازارسازهای ضرب ثابت
    • ارزش قابل استخراج ماینر
      • ارزش قابل استخراج ماینر مضر
        • پیش‌قراردادن
        • ‌پس‌قراردادن
        • ‌حمله ساندویچی توسط معامله‌گران
        • ‌حمله ساندویچی توسط تامین‌کنندگان نقدینگی
        • ‌حمله راهزن زمان
      • ارزش قابل استخراج ماینر مفید
        • رویه‌های وام‌دهی
        • آربیتراژ
  • مروری بر مقالات و کارهای قبلی و روش پیشنهادی
    • مقالاتی پیرامون برطرف کردن ارزش قابل استخراج ماینر در شبکه
    • ترتیب‌دهی تصادفی تراکنش‌های یک صرافی غیرمتمرکز
  • مدلسازی ریاضی مساله
    • فرضیات اولیه برای مدل‌سازی ریاضی مساله
    • پارامترهای لازم برای مدل‌سازی ریاضی
    • مفاهیم اختصاصی برای مدل‌سازی ریاضی مساله
      • روند Trend
      • استراتژی آربیتراژ آماری
      • استراتژی دنبال کردن عموم Following the Public Strategy
      • استراتژی حمله ساندویچی
  • تحلیل و بررسی مدل‌های مختلف حمله متخاصم به یک صرافی غیرمتمرکز با ترتیب‌دهی تصادفی
    • سناریو حمله با یک تراکنش
      • پارامترهای مورد نیاز در سناریو حمله با یک تراکنش
      • محاسبه سود متخاصم با مجموعه تراکنش ارسالی A
      • اثبات بخش اول قضیه 1
      • محاسبه سود متخاصم با مجموعه تراکنش ارسالی B
      • اثبات بخش دوم قضیه 1
    • سناریو حمله با دو تراکنش
      • پارامترهای مورد نیاز در سناریو حمله با دو تراکنش
      • محاسبه سود متخاصم با مجموعه تراکنش ارسالی AB
        • محاسبه سود متخاصم در رویداد موفق مجموعه تراکنش ارسالی AB
        • محاسبه سود متخاصم در رویداد ناموفق مجموعه تراکنش ارسالی AB
      • اثبات بخش اول قضیه 3
      • محاسبه سود متخاصم با مجموعه تراکنش ارسالی BA
        • محاسبه سود متخاصم در رویداد موفق مجموعه تراکنش ارسالی BA
        • محاسبه سود متخاصم در رویداد ناموفق مجموعه تراکنش ارسالی BA
      • اثبات بخش دوم قضیه 3
  • جمع‌بندی و کارهای آتی
  • مراجع
...see more