Блокчейн

Что такое shared sequencer и какие риски он переносит между rollups

Как одна сеть sequencers упорядочивает транзакции нескольких rollups, чем soft confirmation отличается от settlement и почему общий слой создаёт общий риск.

Что такое shared sequencer и какие риски он переносит между rollups

Shared sequencer – общий слой, который принимает и упорядочивает транзакции сразу для нескольких rollups. Вместо отдельного оператора у каждой L2 несколько сетей подключаются к одному набору sequencer nodes и получают согласованный порядок данных. Исполнение при этом остаётся у самих rollups.

Общий sequencer может уменьшить зависимость от единственного сервера команды и дать быстрые подтверждения на основе BFT-консенсуса. Но он создаёт новую общую точку отказа: проблема в одном sequencing layer одновременно затрагивает все подключённые сети.

Что делает обычный sequencer

Пользователь отправляет транзакцию в RPC или mempool rollup. Sequencer выбирает операции, задаёт порядок, формирует блок и передаёт данные дальше. Быстрый статус появляется до того, как batch попадёт в data availability layer и состояние будет окончательно принято расчётным слоем.

Централизованный sequencer способен цензурировать, задерживать или переупорядочивать операции. Даже если пользователь имеет forced-inclusion путь через L1, он обычно медленнее и сложнее. Поэтому быстрый UX и сильная финальность являются разными свойствами. Разницу объясняет материал о подтверждении в L2 и финальности Ethereum.

Sequencer не доказывает правильность исполнения. Optimistic rollup полагается на период оспаривания, а ZK-rollup – на validity proof. Канонический мост принимает состояние по правилам конкретного rollup, а не просто потому, что sequencer поставил транзакцию в очередь.

Как устроен общий слой

Транзакция получает идентификатор или namespace своего rollup и передаётся в общую сеть. Validators sequencing layer достигают консенсуса по одному meta-block, внутри которого находятся отдельные упорядоченные потоки. Узел каждого rollup фильтрует свой поток, проверяет commitment и передаёт данные собственной виртуальной машине.

В lazy sequencing общий слой не знает функцию изменения состояния подключённых сетей. Он упорядочивает произвольные bytes, но не решает, валидна ли транзакция для EVM, SVM или другой VM. Ошибка исполнения может привести к revert уже после корректного общего порядка.

Astria использует CometBFT и публикует sequenced data в Celestia. Espresso применяет консенсус HotShot и предоставляет rollups подтверждение порядка до settlement в Ethereum. Эти реализации отличаются, поэтому термин shared sequencer не задаёт единого протокола, validator set или уровня безопасности.

Soft, firm и settlement confirmation

В общем конвейере бывает несколько подтверждений. Soft commitment может прийти от proposer или раннего потока данных. Firm commitment появляется после консенсуса sequencing network либо публикации в DA. Settlement confirmation зависит от L1 и доказательства состояния конкретного rollup.

Названия не стандартизированы. Например, один проект считает порядок окончательным после BFT-консенсуса, другой – после попадания batch в Celestia, третий использует общий слой лишь как preconfirmation. Пользователь должен выяснить, что именно обещает экран кошелька и может ли rollup законно проигнорировать общий порядок.

Даже сильное подтверждение порядка не гарантирует перевод через мост. Нужно дождаться корректного исполнения и принятия state root. Для optimistic системы к этому добавляется механизм оспаривания, из-за которого вывод проходит несколько стадий.

Преимущества shared sequencer

Первое преимущество – децентрализация ordering без запуска отдельного validator set для каждой небольшой L2. Rollup получает готовую сеть, ротацию proposers и наблюдаемый консенсус. Это может сделать быстрые подтверждения устойчивее, чем подпись единственного сервера.

Второе – совместное пакетирование данных. Общий слой собирает потоки нескольких сетей и может эффективнее использовать DA. Однако экономия зависит от загрузки, формата batch и тарифов нижележащего слоя, поэтому не гарантирует одинаково низкую комиссию каждому rollup.

Третье – согласованный порядок для межсетевых приложений. Теоретически он помогает построить атомарные bundles и снизить неопределённость между двумя rollups. Но общий sequencer сам по себе не создаёт мост, общую ликвидность или синхронное исполнение. Даже документация Espresso отделяет текущие подтверждения от будущих механизмов сложной cross-chain композиции.

Какие риски становятся общими

Остановка. Если validator set теряет кворум, сеть перестаёт финализировать новый порядок. Несколько rollups одновременно теряют быстрые подтверждения. Дальнейшая работа зависит от их fallback: локального sequencer, прямой публикации в DA или forced inclusion.

Цензура. Общий набор validators и правила mempool могут исключать одного пользователя, приложение или целый rollup. Децентрализация снижает власть одного оператора, но не исключает сговор, governance capture и регуляторное давление.

Ошибочная интеграция. Composer, relayer или conductor должен правильно маркировать, доставлять и фильтровать данные. Ошибка namespace способна пропустить блоки, нарушить derivation или заставить разные узлы получить несовпадающий поток.

Data availability. Консенсус по commitment не помогает, если сами bytes недоступны. Нужно понимать, где публикуется data, кто оплачивает blobs и как rollup доказывает соответствие. Основы этого слоя разобраны в обзоре Celestia.

Обновления и ключи. Bridge contracts, light clients и интеграционные proxy могут оставаться обновляемыми. Компрометация общего admin влияет на несколько сетей, даже если у каждой есть отдельный execution client.

MEV между несколькими rollups

Тот, кто видит общий поток, получает информацию о намерениях в разных сетях. Это открывает возможность cross-domain arbitrage и согласованных bundles. При прозрачных правилах часть MEV можно распределять между пользователями, приложениями и validators.

Обратная сторона – концентрация order flow у builders и relays. Если один builder доминирует в нескольких rollups, он видит больше сделок и способен извлекать value из межсетевой задержки. Шифрование mempool, fair ordering и proposer-builder separation уменьшают отдельные риски, но добавляют новые протоколы и ключи.

Обычный sequencer revenue уже показывает экономическую ценность порядка, что видно на примере модели Mode Network. В shared-системе нужно дополнительно выяснить, кому достаётся доход от общего порядка и имеют ли подключённые rollups право задавать собственные правила.

Что проверить у конкретной системы

  • кто входит в validator set и как меняется его состав;
  • какой порог нужен для safety и какой – для liveness;
  • где публикуются полные данные, а не только commitments;
  • может ли rollup отказаться от подтверждённого общего порядка;
  • какой fallback включается при остановке sequencing network;
  • кто контролирует upgrades, light client и интеграционные контракты;
  • как распределяются комиссии и MEV;
  • что именно означает fast, soft или firm confirmation в интерфейсе.

Shared sequencer меняет место, где сосредоточена власть над порядком. Он способен заменить один сервер более широким консенсусом и упростить связь rollups, но переносит отказ, цензуру и ошибки интеграции на общий уровень. Безопасность конкретной L2 определяется не названием технологии, а полной цепочкой от mempool и общего порядка до DA, исполнения, доказательства и settlement.