Rollup (Роллап) (L2) — это подход к масштабированию блокчейнов (чаще всего L2 над Ethereum), при котором транзакции исполняются вне L1, а на базовую сеть публикуются сжатые данные и/или криптодоказательства корректности. Состояние L2 «якорится» на L1, что позволяет наследовать безопасность базы и при этом повышать пропускную способность. Существуют две основные модели: optimistic rollup (основан на fraud proofs) и zk-rollup (основан на validity/ZK proofs).
Базовые моменты
- Отделение исполнения от доступности данных. Исполнение — off-chain/на L2; данные для проверки и восстановления публикуются на L1 либо в специализированном DA-слое (см. Data Availability).
- Две линии безопасности. Optimistic-подход полагается на период оспаривания и fraud proofs; ZK-подход — на краткие validity proofs (доказательства корректности), что ускоряет финализацию.
- Секвенсер. Упорядочивает транзакции, формирует батчи и публикует их на L1; при цензуре/простоях есть механизмы «force inclusion» через L1-инбокс.
- EIP-4844. Ввёл «блобы» данных и отдельный рынок комиссий, резко удешевив публикацию данных для роллапов.
Optimistic vs ZK (краткое сравнение)
| Критерий | Optimistic rollup | ZK-rollup |
|---|---|---|
| Доказательства | Fraud proofs по вызову в период оспаривания | Validity/ZK proofs при каждой публикации |
| Финальность | С задержкой на окно оспаривания | Быстрее (после проверки доказательства) |
| Издержки публикации | Ниже без доказательств, но с периодом ожидания | Стоимость генерации ZK-доказательства компенсируется быстрой верификацией |
| Применимость | Универсально, зрелая экосистема | Активно растёт; особенно выгодно при массовых вычислениях |
Подробные объяснения механик доступны в руководствах Ethereum и образовательных материалах по zk-/optimistic-роллапам.
Как это работает (по шагам)
- Отправка на L2. Пользователь подписывает транзакцию и отправляет её секвенсеру L2 (см. Sequencer). Секвенсер возвращает «мягкое» подтверждение.
- Формирование батча. Секвенсер упорядочивает транзакции и формирует L2-блок(и)/батч.
- Публикация на L1. Публикуются данные (calldata/блобы) и/или доказательства (fraud/validity). Это обеспечивает проверяемость и возможность восстановления состояния.
Финализация.
В optimistic-модели: по истечении окна оспаривания, если fraud proof не предъявлен.
В ZK-модели: после верификации validity proof контрактом L1.
Защита от цензуры. Если секвенсер недоступен/цензурирует, пользователь может принудительно включить сообщение через L1-инбокс («force inclusion») по правилам сети.
Плюсы и ограничения роллапов
| Аспект | Плюсы | Ограничения/риски |
|---|---|---|
| Масштабирование | Существенно увеличивают пропускную способность при низких комиссиях. | Зависимость от публикации данных и параметров L1 (комиссии, пропускная способность). |
| Безопасность | Наследуют безопасность L1; данные доступны для верификации и выхода. | Риск отказа в доступности при неверной DA-модели; необходимость корректных force inclusion путей. |
| UX и финальность | Быстрые «мягкие» подтверждения; у ZK — быстрая экономическая финальность. | В optimistic есть задержка (challenge window); ZK требуют ресурсоёмкой генерации доказательств. |
| Экономика данных | EIP-4844 снижает стоимость публикации (blob-gas). | Рынок blob-gas волатилен при пиках спроса; блобы краткоживущие. |
Практика / чек-лист пользователя
- Уточняйте модель безопасности сети L2: optimistic (окно оспаривания) или ZK (валидити-доказательства).
- Знайте путь обхода секвенсера (L1-инбокс/force inclusion) и комиссионные требования на L1.
- Планируйте вывод средств: в optimistic-роллапах выход на L1 может занимать время окна оспаривания.
- Отслеживайте компоненты комиссии: gas L1/L2 и, где применимо, blob-gas.
Частые вопросы (FAQ)
Роллап — это сайдчейн? Нет. Роллап публикует данные/коммиты на L1 и наследует его безопасность; сайдчейн полагается на собственный консенсус (см. Sidechain).
Можно ли обойти секвенсер? Да, через механизмы L1-инбокса/force inclusion, предусмотренные протоколом конкретного роллапа.
Правда ли, что после EIP-4844 комиссии в L2 снизились? Да, поскольку публикация данных вынесена в блобы с отдельным рынком комиссий (blob-gas), что существенно удешевляет DA для роллапов.
Что быстрее финализируется: optimistic или ZK? Как правило, ZK-роллапы достигают экономической финальности быстрее (после проверки validity proof), тогда как optimistic ждут окончания периода оспаривания.