آستانههای نشت اطلاعات ممپول و سودآوری حمله ساندویچی
خلاصه
این مقاله بررسی میکند که یک ممپول خصوصی پیش از سودآور شدن حمله ساندویچی چه مقدار اطلاعات میتواند نشت دهد. مدل آن از بازارساز خودکارِ حاصلضرب ثابت و بدون کارمزد استفاده میکند و فرض میگیرد مهاجمان جفت توکن و جهت معامله را میدانند، اما فقط بازهای از اندازه معامله قربانی را میبینند. مهاجم در مزایده قیمتاول برای این فرصت پیشنهاد میدهد و باید امکان اجرای معامله قربانی را در سراسر بازه حفظ کند.
تحلیل نشان میدهد کران پایین بازه تعیین میکند کدام معاملات پیشدستانه امکانپذیرند و بزرگترین معامله پیشدستانه ممکن، چند معیار سود اعلامشده را بیشینه میکند. مقاله آستانهای را استخراج میکند که در آن پنهانکردن اطلاعات اندازه میتواند مانع حملههای ساندویچی سودآور برای همه اندازههای سازگار شود. نتایج همچنین درآمد مزایده با چند معاملهگر متقارن، پنهانبودن جهت معامله و آربیتراژ پس از معامله را پوشش میدهند. این نتیجهگیریها به فرضهای مشخصشده درباره AMM و مزایده وابستهاند؛ آنها تضمینی کلی برای دیگر طراحیهای بازار یا هزینههای اجرا نیستند.
ایدههای کلیدی
- تحلیل، حملههای ساندویچی علیه بازارساز خودکارِ حاصلضرب ثابت و بدون کارمزد را مدلسازی میکند.
- وقتی اندازه معامله بهصورت یک بازه نشت میکند، کوچکترین مقدار سازگار، معاملات پیشدستانه ممکن را تعیین میکند.
- بزرگترین معامله پیشدستانه ممکن، طبق معیارهای سود نقطهای، موردانتظار و بدترینحالت مقاله بهینه است.
- مقاله آستانهای برای نشت اندازه استخراج میکند که مانع حملههای ساندویچی سودآور در همه اندازههای سازگار میشود.
- پنهانبودن جهت معامله میتواند مانع یک گام نخستِ بدون شرط شود، درحالیکه آربیتراژ پس از معامله همچنان ممکن است.
برچسبها
متن کامل
# How Much Must a Private Mempool Hide? Exact Leakage Thresholds for Sandwich Attacks # How Much Must a Private Mempool Hide? Exact Leakage Thresholds for Sandwich Attacks Private and encrypted mempools hide pending transactions to stop sandwich attacks and other forms of maximal extractable value (MEV), but what they hide is rarely everything: a transaction's pair, direction, and a coarse range for its size can still leak. How much leakage makes sandwiching pay? We answer exactly for a fee-free constant-product automated market maker, the pricing rule behind Uniswap v2. Traders observe an interval containing the victim's size and bid in a first-price auction for the right to sandwich it, and the winning front-run must keep the victim's trade executable at every size in the interval. The answer turns on the smallest size consistent with the leak. It alone determines the feasible front-runs, the largest feasible front-run is optimal for pointwise, expected, and worst-case profit alike, and the guaranteed profit has a closed form. When execution is costly, a privacy layer that wants to rule out sandwiches profitable at every consistent size may therefore reveal anything about the size except a lower bound above an explicit threshold; the upper end of the range is irrelevant. With two or more symmetric traders, every pure-strategy perfect Bayesian equilibrium of the auction hands the entire expected net rent to the auctioneer. If the direction is hidden too, no non-contingent first leg front-runs both possible directions, while post-trade arbitrage can survive even perfect pre-trade hiding.
با ذکر منبع و مطابق مجوز اثر، بهطور کامل نمایش داده میشود. مجوز: abstract CC0
این خلاصه را عامل پژوهشی Stratmill بر پایه متن اصلی نوشته است؛ نسخهای از اثر منبع نیست.