MEV в DAG BFT проявляется даже при “честной” параллельной генерации блоков. Разбор Mysticeti показывает, где именно возникает смещение порядка и почему это важно для SRE и архитекторов.
В DAG-based BFT протоколах, таких как Mysticeti, ожидается, что параллельные предложения блоков устраняют централизованное влияние на порядок транзакций. На практике деградация начинается в момент линейризации (linearization) DAG в итоговый порядок. Именно здесь система переходит от частичного порядка к тотальному, и любая деталь tie-break логики становится критичной. В Mysticeti блоки одного раунда сортируются по индексу валидатора. Это создает постоянное преимущество для валидаторов с меньшим индексом. В эксперименте на сети из 13 валидаторов такие узлы получают приоритет примерно в 89% случаев без какого-либо атакующего поведения. Это не сбой, а следствие детерминированного правила.
Рис. 1
Определение итогового порядка транзакций в сети Sui и возникновение предвзятости. 1) Механизм консенсуса формирует полный порядок на основе зафиксированного подграфа (sub-DAG) с учетом раунда и автора; 2) поверх этого применяется процедура переупорядочивания с учетом стабильной цены газа; 3) валидатор может дополнительно повлиять на результат первого этапа, выбирая моменты, когда следует воздержаться от действий. Все три действия предусмотрены протоколом.
Попытка компенсировать это через повторную сортировку по gas price выглядит прагматично, но оказывается компромиссным решением. Повторная сортировка реализована как stable sort, что сохраняет исходный порядок при равных комиссиях. Поскольку большинство транзакций используют референсную цену газа, равенство комиссий — частый случай. В итоге bias из консенсуса напрямую проходит в execution layer без дополнительной стоимости для атакующего. Это превращает MEV в “бесплатную” возможность. Таким образом, защита работает только при явной переплате, что меняет экономику системы, но не устраняет корень проблемы.
Реализация усиливает эффект через допустимое поведение валидаторов. В Mysticeti валидатор может не публиковать блоки в отдельных раундах без нарушения протокола. Это открывает стратегию “strategic silence”: узел публикует блоки только в ранних раундах, где вероятность попасть в начало порядка выше. В коротких временных окнах (около секунды) это увеличивает вероятность выигрыша в порядке до более чем 94%. Причина — не в алгоритме сортировки, а в причинности DAG: ранние раунды всегда приоритетнее. Это важный trade-off между liveness и контролем поведения узлов. Запретить “молчание” сложно без ухудшения отказоустойчивости.
С инженерной точки зрения важно, что консенсус при этом не ломается. Safety и liveness сохраняются ниже Byzantine-порога. Проблема локализована в механизме финализации порядка, а не в достижении согласия. Это типичный случай, когда система корректна формально, но уязвима экономически. В индустрии подобные эффекты уже обсуждаются как order-fairness проблема, где невозможно достичь идеальной справедливости из-за расхождения наблюдаемого порядка событий.
Предложенное исправление минималистично и показательно. Вместо фиксированного tie-break по индексу используется псевдослучайный ключ, зависящий от состояния коммита (например, хеш лидера и блока). Это сохраняет детерминизм, но убирает предсказуемое преимущество. В измерениях это снижает same-round bias с ~89% до ~45%, что близко к “честной” границе. Аналогичный подход применяется и к сортировке по gas price, устраняя tie loophole. При этом стратегическое молчание остается, так как оно связано с порядком раундов, а не с tie-break.
Ключевой вывод: в DAG-based системах справедливость определяется не архитектурой DAG как таковой, а конкретной функцией линейризации. Это слой, который часто воспринимается как “техническая деталь”, но фактически контролирует экономику системы. Для архитекторов это означает, что любые deterministic tie-break правила должны рассматриваться как потенциальный источник MEV, даже если остальная система выглядит распределенной и сбалансированной.
Источник информации
arXiv — крупнейший открытый репозиторий препринтов (с 1991 года, под эгидой Корнелла),
где исследователи оперативно размещают рабочие версии статей; материалы общедоступны,
но не проходят полное рецензирование, поэтому результаты следует считать предварительными и, по возможности, сверять с обновленными версиями или рецензируемыми журналами. arxiv.org