Роллапсы — оптимистические и zk: как это работает

Роллапы (rollups) — это решения уровня L2, которые исполняют транзакции вне L1, но публикуют их данные и/или доказательства на базовом блокчейне (например, Ethereum). Цель — увеличить пропускную способность и снизить комиссии, сохраняя безопасность за счёт привязки к L1 и верифицируемых переходов состояния.

Зачем это нужно

  • L1 обладает ограниченной пропускной способностью и высокими комиссиями в периоды нагрузки.
  • Роллапы переносят исполнение на L2, а L1 используют как «уровень доверия» и хранилище доступности данных.
  • В отличие от сайдчейнов и каналов платежей, роллапы опираются на проверку состояния/данных в L1 и могут предоставлять «безопасные выходы» обратно в L1 при сбоях L2.

Архитектура / компоненты

Sequencer (сиквенсер) — упорядочивает транзакции L2, формирует батчи.

Контракты L1 — «мост»/инбокс-оутбокс, валидация корней состояния, хранение данных батчей и управление выходами.

Доказательства — механизм подтверждения корректности перехода состояния:

  • в optimistic rollups — fraud proofs (оспаривание в окне вызова);
  • в zk-rollups — validity proofs (криптодоказательства корректности).

Доступность данных (DA) — публикация calldata/блобов на L1 (безопаснее, дороже) или вынесение данных в сторонние хранилища (validium/гибридные режимы), что снижает стоимость, но добавляет доверительные допущения.

Мост/бридж — контракт L1, фиксирующий депозиты/выводы между L1 и L2.

Виды роллапов (сравнение)

Критерий Optimistic rollups ZK-rollups
Проверка корректности Предполагается корректность, с окном оспаривания (challenge period). Краткие доказательства (SNARK/STARK) подтверждают корректность.
Время финализации Финализация после окна оспаривания (медленнее выводы). Быстрая финализация после верификации доказательства.
Стоимость верификации на L1 Ниже (нет тяжёлых доказательств), но дороже при спорах. Выше вычислительная стоимость генерации/верификации доказательств.
Совместимость с EVM Как правило, проще достичь EVM-совместимости. Полная EVM-эквивалентность сложнее, но быстро развивается.
UX выводов Выводы могут занимать дни (до конца challenge). Выводы обычно быстрее за счёт мгновенной верификации.

Как это работает (по шагам)

  1. Пользователь отправляет транзакцию в сеть L2 (через кошелёк/RPC).
  2. Сиквенсер добавляет транзакцию в очередь, формирует блок/батч L2 и публикации.
  3. Для optimistic: батч/снимок состояния публикуется на L1; при подозрении на некорректность подаётся fraud proof — спор решается на L1.
  4. Для zk: к батчу прилагается криптодоказательство; L1 контракт проверяет доказательство и принимает новый корень состояния.

Вывод средств совершается через мост:

  • optimistic — после окна оспаривания;
  • zk — после подтверждения доказательства.

При сбоях сиквенсера должны работать механизмы «форс-выходов» (возможность вывести средства напрямую через L1-контракт).

Плюсы / риски

Аспект Плюсы Риски/ограничения
Масштабирование Выше TPS, ниже комиссии относительно L1. DA на L1 удорожает батчи; DA вне L1 — доверительные допущения.
Безопасность Якорение в L1, проверяемость состояния/данных. Централизация сиквенсера/админ-ключей, риски апгрейдов.
UX Быстрые подтверждения в L2, дешёвые операции для dApp. Время выводов (optimistic), сложность интероперабельности между L2.
Совместимость Поддержка EVM-среды упрощает миграцию dApp. Полная эквивалентность EVM в zk-подходе — сложная задача.

Практика внедрения / чек-лист

  • Мост/контракты L1. Используйте «канонический» мост роллапа, проверьте адреса и логику вывода/входа.
  • Доступность данных. Понимайте, где хранятся данные батчей: L1 (надёжнее) или внешнее DA-решение (дешевле, но есть доверие).
  • Форс-выходы. Убедитесь в наличии механизмов выхода без участия сиквенсера.
  • Админ-права и апгрейды. Проверьте, кто может обновлять протокол и с какими задержками/таймлоками.
  • Комиссии. Закладывайте бюджеты на L2-газ и публикацию данных; при планировании UX учитывайте всплески нагрузки.
  • Наблюдаемость. Мониторьте состояние мостов, задержки, статус доказательств, очереди на вывод.

Частые вопросы (FAQ)

Роллап — это сайдчейн?

Нет. Роллап опирается на проверяемость в L1 (доказательства/данные), а сайдчейн — отдельная сеть с собственной валидаторской безопасностью.

Почему вывод из optimistic-роллапа такой долгий?

Из-за окна оспаривания. Оно нужно, чтобы успеть выявить и наказать некорректный батч.

Если сиквенсер упал, я потеряю средства?

Средства защищены контрактами L1. При корректном дизайне доступны «форс-выходы», но UX может ухудшиться.

ZK-роллапы всегда лучше?

У них быстрее финализация и сильные гарантии корректности, но генерация/верификация доказательств дороже и технически сложнее. Выбор зависит от приоритетов проекта.

Нужны ли мне специальные кошельки для L2?

Большинство EVM-совместимых L2 поддерживаются стандартными кошельками (Кошелёк — базовое понятие и виды хранения), но добавьте правильную сеть/RPC и учитывайте формат адресов/мосты.

См. также

Layer-2

Шардинг

Блокчейн

Смарт-контракты

Ethereum (ETH)

Комиссии (fees)

Ликвидность

Волатильность

Account Abstraction

Оракулы

Task Runner