Блокчейн

Что такое based rollup и кто упорядочивает его транзакции

Как based rollup передаёт sequencing базовой сети, какую роль играют proposer и builder Ethereum, зачем нужны preconfirmations и какие остаются риски.

Что такое based rollup и кто упорядочивает его транзакции

Based rollup – rollup, в котором порядок L2-блоков задаётся базовой сетью. В случае Ethereum следующий L1 proposer может вместе с поисковиками и builders без разрешения включить очередной блок rollup в свой L1-блок. Отдельный постоянный централизованный sequencer для канонического порядка не нужен.

Такая схема наследует liveness и децентрализацию базовой сети, но не переносит на Ethereum всю работу rollup. L2 по-прежнему отдельно исполняет транзакции, публикует необходимые данные, доказывает корректность состояния и обслуживает мост. Based относится прежде всего к sequencing – тому, кто выбирает порядок.

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

В большинстве современных rollups пользователь отправляет транзакцию серверу оператора. Sequencer ставит операции в очередь, формирует L2-блок, даёт быстрое предварительное подтверждение и позже публикует данные или обязательство в Ethereum. Это обеспечивает короткую задержку, но даёт одному оператору власть временно остановить, цензурировать или переупорядочить поток.

Корректность состояния обычно защищается отдельно. Optimistic rollup допускает оспаривание неправильного результата, а ZK-rollup проверяет validity proof. Даже честное доказательство не заставляет централизованный sequencer быстро включить конкретную транзакцию. Для этого нужны forced inclusion и аварийный путь через L1.

Многоступенчатость хорошо видна в материале о подтверждении L2 и финальности Ethereum. Сообщение интерфейса о приёме операции, L2-порядок, публикация данных и расчётное состояние являются разными событиями.

Кто задаёт порядок в based rollup

Канонический порядок привязан к последовательности блоков L1. Кандидаты строят L2-блоки и предлагают включить их в следующий Ethereum-блок. L1 builder собирает наиболее выгодный блок из транзакций и пакетов, а назначенный proposer публикует выбранный результат. Контракт rollup принимает предложение согласно своим правилам.

Короткий ответ на вопрос «кто sequencer» – текущий proposer базового слоя и связанная с ним открытая цепочка builders и поисковиков. Роль меняется от слота к слоту вместе с Ethereum. Никто не получает постоянное исключительное право только потому, что команда rollup выдала ему ключ.

Однако фраза «валидаторы Ethereum упорядочивают L2» является упрощением. На практике proposer часто выбирает готовый блок от builder через рынок построения блоков. Значительная часть вычислений и извлечения MEV может концентрироваться у нескольких builders и relays. Протокол остаётся permissionless на уровне включения, но фактический рынок требует отдельного наблюдения.

Как проходит транзакция

  1. Пользователь передаёт подписанную L2-транзакцию в доступный канал распространения.
  2. Независимые строители собирают допустимые операции в кандидат L2-блока и рассчитывают его состояние.
  3. Кандидат попадает в предложение для ближайшего блока Ethereum вместе с платой за включение.
  4. L1 builder формирует Ethereum-блок, а proposer публикует его.
  5. Контракт rollup определяет канонический L2-блок по порядку данных в L1.
  6. Узлы L2 исполняют блок, а доказательная система подтверждает или позволяет оспорить результат.

Конкретный протокол может объединять или менять шаги. Например, доказательство появляется позже, а данные могут размещаться в blobs Ethereum или в другом слое доступности. Определение based не требует, чтобы rollup был именно optimistic или ZK.

Почему схема наследует liveness L1

Если один строитель исчез, другой может предложить следующий L2-блок. Если текущий proposer Ethereum не включает rollup, право переходит к proposer следующего слота. Для восстановления не нужно ждать, пока управляющий совет заменит ключ централизованного sequencer или пока закончится длительный аварийный таймер.

Цензуроустойчивость также опирается на сменяемость proposers. Злоумышленник должен контролировать последовательность базовых слотов или рынок включения, а не один постоянный сервер L2. Транзакция, размещённая по предусмотренному L1-пути, может стать обязательной для следующего допустимого порядка без отдельного долгого escape hatch.

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

Преимущества based sequencing

Нет отдельного доверенного sequencer. Rollup повторно использует proposer-builder-инфраструктуру Ethereum и не создаёт ещё один постоянный центр цензуры.

Простая аварийная модель. Liveness следует за L1, поэтому меньше зависимостей от специального набора валидаторов, внешнего proof-of-stake или административного переключателя.

Экономическое согласование. Доход от порядка и часть MEV естественно участвуют в рынке блоков Ethereum. Это усиливает связь rollup с базовой сетью, хотя сам L2 может по-прежнему получать базовые комиссии.

Совместимость с L1. Общий производственный конвейер потенциально облегчает атомарное взаимодействие между Ethereum и L2. Но такая композиция требует специальных правил исполнения и не появляется автоматически из одного названия based.

Задержка и preconfirmations

Чистый based rollup ориентируется на ритм блоков Ethereum. Пользователь не получает мгновенную подпись постоянного L2-sequencer, поэтому раннее подтверждение может ждать ближайшего L1-блока. Для платежей и торговли это заметно медленнее привычного ответа централизованного оператора.

Preconfirmation пытается закрыть разрыв. Будущий proposer или назначенный им preconfer заранее обещает включить транзакцию и определённый результат. Если обещание обеспечено залогом и проверяемыми условиями наказания, приложение может показать быстрый статус до публикации L1-блока.

Но дополнительный preconfer создаёт новую точку отказа и рынок делегирования. Чем больше канонический порядок зависит от отдельного предварительного сервиса, тем слабее исходные свойства based. Быстрое обещание и окончательное включение нужно обозначать разными статусами.

Based rollup не равен shared sequencer

Shared sequencer – отдельная сеть, которая упорядочивает транзакции нескольких rollups. Она может быть децентрализованной, но имеет собственный консенсус, набор операторов и условия отказа. Based rollup использует порядок базового L1 и не обязан создавать такой внешний слой.

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

Что остаётся вне sequencing

Исполнение. Ethereum proposer не обязан выполнять каждую L2-транзакцию как обычную транзакцию Ethereum. Узлы rollup применяют собственную функцию изменения состояния.

Доказательства. ZK-система или механизм оспаривания определяет, можно ли принять итоговый state root. Ошибка prover, verifier или challenge-механизма не исправляется одним правильным порядком.

Доступность данных. Пользователь должен иметь данные для восстановления состояния. Если протокол использует внешний DA, его риски остаются отдельными.

Мост. Вывод активов зависит от контрактов, доказанного состояния, пауз и административных прав. Для optimistic схем сохраняется многоэтапный процесс, описанный в материале о выводе из optimistic rollup.

Taiko как практический пример

Taiko Alethia называет себя general-purpose based rollup без централизованного sequencer. Предложение L2-блоков открыто, а порядок опирается на Ethereum. При этом Taiko использует собственные контракты, доказательства, токен управления и набор экономических стимулов.

Пример показывает, почему based не означает «всё делает Ethereum». У проекта остаются prover-рынок, комиссии L2, governance и обновления. Детальная архитектура разобрана в обзоре Taiko.

Основные риски

  • Задержка L1. Без дополнительного обещания пользователь ждёт порядок, связанный со слотом Ethereum.
  • Стоимость включения. Перегрузка L1 и конкуренция builders влияют на экономику L2-блока.
  • Концентрация построения. Небольшое число крупных builders и relays может влиять на фактический порядок и цензуру.
  • MEV. Ценность порядка перетекает в рынок L1 и может стимулировать сложные междоменные стратегии.
  • Preconfirmation. Делегированный preconfer возвращает часть операционной зависимости, от которой based-схема пыталась уйти.
  • Доказательная система. Ошибка verifier или механизма оспаривания угрожает состоянию независимо от честного sequencing.
  • Доступность данных. Отдельный DA способен остановиться или скрыть данные.
  • Контракты и управление. Обновляемый мост, пауза или административный ключ остаются самостоятельными рисками.

Итог

В based rollup канонический порядок L2-блоков задаёт базовая сеть: на Ethereum это сменяемый L1 proposer вместе с открытым рынком builders и поисковиков. Модель убирает постоянный централизованный sequencer и наследует liveness L1, но платит задержкой и зависимостью от рынка построения блоков. Preconfirmations способны ускорить интерфейс, одновременно добавляя новые роли. Оценивать такой rollup нужно целиком – порядок, данные, исполнение, доказательства, мост и управление.