Ця публікація в блозі досліджує теорію того, як облігації включаються в гру Суперечка про помилку стека ОП, щоб стимулювати як участь, так і чесну поведінку.
У Системі захисту від збоїв стеку OP ігри суперечок є ключовим механізмом децентралізованого виявлення збоїв, що використовує модульну архітектуру системи для покращення сумісності та уможливлення паралельних оновлень. Ці ігри, що є основою протоколу суперечок, пропонують структурований підхід до перевірки інформації за допомогою механізмів сумісності та вирішення суперечок, сприяючи справедливості та точності.
Існує два стимули, які повинні надавати ігри-суперечки:
-
Зробити так, щоб було вигідно діяти чесно
-
Зробити так, щоб у них було цікаво брати участь
Чесна поведінка необхідна для запобігання недійсним результатам, що у випадку стеку ОП означає запобігання недійсним вилученням з мосту. Однак цього стимулу недостатньо. Нам ще потрібно заохотити чесних гравців до участі. І тут на допомогу приходять облігації.
Заохочення за облігаціями
Облігації слугують для інкапсуляції витрат, пов'язаних з поданням позовів, що є важливим аспектом ігор у суперечках. Вартість претензій зумовлена кількома факторами. По-перше, нечесні претензії вимагають додаткового часу та зусиль від чесних гравців у грі. Оскільки не одразу видно, які вимоги є чесними, всі вимоги повинні бути пов'язані між собою, щоб запобігти поданню несерйозних вимог. Крім того, необхідна система винагород, яка б заохочувала чесних гравців оскаржувати претензії. Цінність цього фонду винагород визначається процесом подання претензій.
Хоча внутрішня вартість цих компонентів залишається незмінною, вартість облігації може коливатися через зміну ціни на газ. Тому дуже важливо сприяти справедливості, гарантуючи, що вартість участі є однаковою для всіх гравців. Якщо нечесні гравці можуть витрачати більше, ніж чесні, система стає викривленою, дозволяючи нечесним гравцям задовольняти свої вимоги безперешкодно. Це особливо проблематично у випадку, коли вартість участі для чесних гравців значно вища, ніж для нечесних, що створює серйозні перешкоди для чесної участі. Цю проблему ми називаємо проблемою забезпечення.
Більше того, в інтересах гри - мінімізувати вимогу про внесення застави. Таким чином ми розширюємо коло потенційних чесних гравців, які володіють необхідним капіталом для участі.
Міркування щодо дизайну облігацій
Є кілька речей, про які ми пам'ятаємо, коли досліджуємо дизайн облігацій. Це обмежує наш простір пошуку дизайнами, сумісними з механікою гри з розбором дефектів (FDG).
Ізоляція впливу недостатнього забезпечення
Недостатня застава повинна залишатися обмеженою окремою вимогою, до якої вона відноситься, і не повинна поширюватися на інші підгрупи. Якщо бути відвертим, то забезпечення облігацій повинно бути ізольованим актом, відокремленим від будь-яких командних міркувань.
Обґрунтування: У переглянутому протоколі розв'язання та наборі правил для претендентів у грі про дефекти стеку ОП (FDG) існує стимул підтримувати "недійсний шлях" з метою покарання учасників, які наживаються на халяві. Цей стимул повинен зберігатися незалежно від того, чи є вимоги батьків або бабусь і дідусів належним чином забезпеченими. Отже, будь-яка структура облігацій повинна виключати колективний або груповий характер застави. По суті, забезпечення облігацій повинно бути локалізоване в конкретній підгрі, з якою воно пов'язане.
Відокремлення результатів підгри від забезпечення
Як продовження вищезазначеного обмеження, вимоги з недостатнім забезпеченням не повинні впливати на результати вирішеної підгри. Штраф за недостатнє забезпечення повинен обмежуватися стимулюванням облігацій (включаючи втрату виплат за облігаціями).
Обґрунтування: Обмежуючи наслідки недостатнього забезпечення виплатами за облігаціями, ми гарантуємо, що фундаментальна динаміка гри в суперечку про вину залишається незмінною. Це зберігає структуру стимулів, яка заохочує чесну поведінку, водночас караючи нечесних або недостатньо капіталізованих гравців. Це також зберігає простоту вирішення - гарантуючи, що протокол залишається надійним з додаванням облігацій.
Наведені вище міркування допомагають гарантувати, що наш дизайн облігацій не порушує механіку гри в суперечки. Пам'ятаючи про ці цілі дизайну, ми спрощуємо аналіз гри в суперечки. Це також дозволяє нам вносити зміни до дизайну облігацій без повторного аудиту всієї гри в суперечку. По суті, облігації стають "модом", який додається до гри, що створює фінансові стимули для участі в ній.
Інтеграція облігацій у гру з вирішення спорів про вину (Fault Dispute Game - FDG)
Є дві сфери, в яких облігації відіграють важливу роль у FDG:
-
Переміщення
-
Роздільна здатність підгри
Участь у FDG вимагає внесення застави. Зокрема, переміщення тепер вимагають внесення застави. Існує мінімальна сума застави, необхідна для здійснення переїзду. Однак точну суму застави можна абстрагуватися від основної суми FDG.
Якщо корінь підгри вирішив неправильно, то його облігації розподіляються між крайніми лівими претендентами, які подали проти нього вимогу, а облігації розподіляються між претендентами, які подали проти неї. При максимальній глибині гри, коли заявник зустрічає пов'язану вимогу викликом step(), облігації розподіляються між обліковими записами, які успішно викликали step(),
Таким чином, єдина проблема, яку має вирішити дизайн облігацій стеку OP, - це визначення мінімальної вимоги до облігацій, щоб рухатись у FDG:
function getRequiredBond(Position _gamePosition) public pure
returns (uint256 requiredBond_)
Big Bonds ™ - Великі Облігації
Початковий дизайн облігацій, який ми додамо до FDG, - це Big Bonds™. Це, по суті, великі облігації, деноміновані в ETH, необхідні для всіх ходів у грі в суперечці. Ціна облігації залежить від двох факторів: газу, необхідного для протидії претензії, до якої вона прив'язана, і глибини претензії.
Ціна облігації встановлюється відповідно до газу, щоб гарантувати, що винагорода чесного гравця покриває вартість газу, використаного в грі. Ціна на газ включає фіксовану базову плату, зазвичай значно більшу, ніж середня базова плата, щоб врахувати потенційне зростання. Цей мультиплікатор базової плати слугує стримуючим фактором проти спаму.
Переміщення на максимальній ігровій глибині є найдорожчими, оскільки вони можуть вимагати взаємодії з ВМ і, можливо, з PreimageOracle. Тому облігації з ціною на газ при MAX_DEPTH - 1 значно дешевші, ніж їхні аналоги при MAX_DEPTH. Зловмисник може використати цю диспропорцію, щоб переграти чесних гравців, створюючи фальшиві заяви на MAX_DEPTH-1. Щоб протидіяти цьому, облігації масштабуються на коефіцієнт, що базується на глибині вимоги, щоб згладити значне зростання ціни облігації на газ на MAX_DEPTH. Такий підхід допомагає мінімізувати фінансову вигоду для гравців, які заявляють вимоги на рівні MAX_DEPTH-1.
Масштабний коефіцієнт x можна обчислити за наступною формулою:
Застосовуючи цей масштабний коефіцієнт до зв'язку з газовою ціною на глибині d, ціна газу обчислюється як i * x^d.
Враховуючи ці фактори, якщо g дорівнює 200M газу, i - 400K, а глибина гри - 73, то застава, необхідна для кореневої заявки, становить 0,08 ETH при базовій винагороді в 200gwei.
Big Bonds™ - це простий дизайн, який не відрізняється високою капітальною ефективністю. Тим не менш, її мета - створити стимули, які гарантують точне вирішення гри. Модульність гри Fault Dispute дозволяє згодом безпечно перейти до покращеного дизайну облігацій.
Переклад статті: Romko.eth
Оригінальна стаття від 6 березня 2024 року:
评论 (0)