В этом блоге рассматривается теория, лежащая в основе того, как облигации включаются в игру по разрешению споров OP Stack, чтобы стимулировать как участие, так и честное поведение.

В системе Fault Proof System OP Stack игры со спорами являются ключевым механизмом децентрализованного обнаружения ошибок, который использует модульную архитектуру системы для улучшения компонуемости и обеспечения возможности параллельных обновлений. Эти игры, лежащие в основе протокола разрешения споров, предлагают структурированный подход к проверке информации посредством механизмов совместимости стимулов и разрешения споров, обеспечивая справедливость и точность.

Есть два стимула, которые должны обеспечивать спорные игры:

1. Сделайте так, чтобы поступать честно было выгодно

2. Сделайте участие выгодным

Честное поведение необходимо для предотвращения недействительных результатов, что в случае с OP Stack означает предотвращение недействительного вывода средств с моста. Однако этого стимула недостаточно. Нам все еще нужно поощрять честных игроков к реальному участию. Здесь на помощь приходят облигации.

Облигации служат для покрытия затрат, связанных с предъявлением претензий, что является важным аспектом спорных игр. Стоимость претензий обусловлена ​​несколькими факторами. Во-первых, нечестные заявления требуют дополнительного времени и усилий со стороны честных игроков. Поскольку не сразу видно, какие претензии являются честными, все претензии должны быть связаны между собой, что предотвращает необоснованные претензии. Далее, необходима система вознаграждений, которая бы стимулировала честных игроков оспаривать претензии. Стоимость этого пула вознаграждений определяется процессом подачи претензий.

Хотя внутренняя стоимость этих компонентов остается постоянной, стоимость облигации может колебаться из-за изменения платы за газ. Поэтому крайне важно обеспечить справедливость, гарантируя, что стоимость участия будет одинаковой для всех игроков. Если нечестные игроки могут тратить больше, чем честные, система становится искаженной, позволяя нечестным заявлениям оставаться неоспоримыми. Это особенно проблематично в сценарии, где цена для честных игроков значительно выше, чем для нечестных, что создает серьезное препятствие для честного участия. Эту проблему мы называем проблемой обеспечения.

Более того, в интересах игры свести к минимуму требования к связи. Тем самым мы расширяем круг потенциальных честных игроков, обладающих необходимым капиталом для участия.

При изучении дизайна облигаций мы учитываем несколько вещей. Это ограничивает наше пространство поиска проектами, совместимыми с механикой игры со спором о вине (FDG).

Недостаточное обеспечение должно оставаться ограниченным индивидуальным требованием, к которому оно относится, и не должно распространяться на другие подигры. Проще говоря, обеспечение облигациями должно быть изолированным действием, отдельным от любых коллективных соображений.

Обоснование: В пересмотренном протоколе разрешения и наборе правил претендентов для игры по разрешению ошибок стека OP (FDG) существует стимул поддерживать «недействительный путь» с целью наказания участников, занимающихся халявной загрузкой. Этот стимул должен сохраняться независимо от того, обеспечены ли требования материнского или прародительского капитала адекватным обеспечением. Следовательно, любая конструкция облигаций должна исключать коллективный или командный характер обеспечения. По сути, обеспечение облигациями должно быть локализовано в конкретной подигре, с которой оно связано.

В дополнение к вышеуказанному ограничению требования, недостаточно обеспеченные залогом, не должны изменять результаты решенной подигры. Наказание за недостаточное обеспечение должно быть ограничено стимулами по облигациям (включая конфискацию выплат по облигациям).

Обоснование: Ограничивая последствия недостаточного обеспечения выплатами по облигациям, мы гарантируем, что фундаментальная динамика игры по разрешению споров останется незатронутой. Это сохраняет структуры стимулов, которые поощряют честное поведение, но при этом наказывают нечестных или недостаточно капитализированных игроков. Это также сохраняет простоту решения - гарантируя, что протокол останется работоспособным с добавлением облигаций.

Вышеизложенные соображения помогают гарантировать, что наша конструкция облигаций не нарушит механику спорной игры. Помня об этих целях дизайна, мы упрощаем анализ спорной игры. Это также позволяет нам вносить изменения в структуру облигаций без повторного аудита всей игры по спорам. По сути, облигации становятся «модом», добавленным к игре в споры, который создает финансовые стимулы для участия.

В ФДГ облигации играют роль в двух областях:

• Ходы

• Разрешение подигры

Участие в ФДГ требует залога. В частности, ходы теперь требуют залоговых исков. Для переезда требуется минимальный залог. Однако точную необходимую сумму можно выделить из основной ФДГ.

Если во время разрешения подигры корень подигры разрешается неправильно, то его связь передается крайний левый истец, который возражал против этого. При максимальной глубине игры, когда истец парирует связанное требование, вызывая step(), вместо этого облигация распределяется на счет, который успешно вызвал step().

Таким образом, единственная проблема, которую должен решить дизайн облигаций OP Stack, - это определение минимальных требований к облигациям для перемещения в FDG.:

function getRequiredBond(Position _gamePosition) public pure 
    returns (uint256 requiredBond_)

Первоначальный дизайн облигаций, который мы добавим в FDG, — это Big Bonds™. По сути, это требование к крупному залогу, выраженному в ETH, для всех ходов в спорной игре. Цена облигаций зависит от двух факторов; газ, необходимый для противодействия иску, к которому он прикреплен, и глубина иска.

Цена облигации зависит от газа, чтобы гарантировать, что вознаграждения честного игрока покроют стоимость газа, использованного в игре. Цена на газ включает фиксированную базовую плату, которая обычно значительно превышает среднюю базовую плату, чтобы учесть потенциальное увеличение. Этот множитель базовой платы служит сдерживающим фактором против жалоб на спам.

Ходы на максимальной глубине игры являются наиболее затратными, поскольку могут потребовать взаимодействия с виртуальной машиной и, возможно, с PreimageOracle. Таким образом, облигации с ценой газа на уровне MAX_DEPTH - 1 значительно дешевле, чем их аналоги с ценой MAX_DEPTH. Злоумышленник может воспользоваться этим неравенством, чтобы превзойти честных игроков, создав ложные заявления на уровне MAX_DEPTH-1. Чтобы противодействовать этому, облигации масштабируются с помощью коэффициента, основанного на глубине требования, чтобы сгладить существенное увеличение облигации с ценой на бензин на уровне MAX_DEPTH. Такой подход помогает минимизировать финансовую выгоду для игроков, предъявляющих претензии на уровне MAX_DEPTH.-1.

Масштабный коэффициент x можно рассчитать по следующей формуле:

Применяя этот коэффициент масштабирования к облигациям с ценой на газ на глубине d, Цена на газ рассчитывается как i * x^d.

Учитывая эти факторы, если г соответствует 200 млн газа, i составляет 400 КБ, а глубина игры — 73, тогда залог, необходимый для получения root-прав, составляет 0,08 ETH при базовой комиссии 200gwei.

Big Bonds™ — это простая схема, которая не отличается высокой капиталоэффективностью. Тем не менее, его цель — создать стимулы, гарантирующие точное разрешение игры. Модульность игры Fault Dispute Game позволяет позднее безопасно перейти на улучшенную конструкцию облигаций.

Ссылка на оригинал статьи:

https://blog.oplabs.co/dispute-game-bond-design/