Optimistic rollups (оптимистичные роллапы) — это класс решений Layer-2, которые масштабируют Ethereum за счёт вынесения исполнения транзакций в отдельную L2-цепь. Состояние L2 «якорится» в L1, а корректность считается верной «по умолчанию», пока никто не докажет обратное через механизмы fraud-proof в течение challenge-периода.
Крупные сети на optimistic-роллапах: Arbitrum, Optimism (OP), часть сетей на OP Stack (например, Base).
Принцип работы optimistic rollups
На высоком уровне optimistic-роллап работает так:
- транзакции пользователей отправляются не в L1, а в L2-цепь;
- L2-узлы (sequencer/валидаторы) исполняют транзакции off-chain, обновляя состояние L2;
- периодически состояние агрегируется в батчи и публикуется в L1:
- коммит состояния (root),
- сжатые данные транзакций для Data Availability;
- L1 «предполагает», что состояние верно, пока никто не оспорит его в challenge-период;
- если кто-то обнаруживает ошибку/мошенничество, он запускает fraud-proof — спор, который доказывает некорректность конкретного батча;
- при успешном доказательстве batч откатывается, а злоумышленник теряет залог (slashing).
Эта модель называется «оптимистичной», потому что сеть оптимистично считает все батчи честными, если нет явного доказательства обратного.
Challenge-период и fraud-proof
Challenge-период — это окно времени, в течение которого любой участник может оспорить опубликованное L2-состояние:
- длительность задаётся протоколом (от нескольких часов до нескольких дней);
- пока окно не истекло, вывод средств с L2 на L1 обычно считается «условным»;
- быстрые выводы реализуются через ликвидити-мосты, которые берут на себя риск ожидания.
Fraud-proof — это механизм оспаривания:
- участник находит батч с ошибкой (неверные переходы состояния, нарушенные инварианты);
- инициирует спор в смарт-контрактах L1;
- протокол «разбивает» вычисление на шаги (игра с бивалентным поиском, интерактивный proof);
- если ошибка подтверждается, батч отклоняется:
- состояние L2 корректируется,
- инициатор некорректного состояния может быть наказан (слэшинг стейка, потеря залога).
Идея: не нужно доказывать корректность каждого батча заранее, достаточно дать стимулы тем, кто заметит и докажет ошибку.
Отличия optimistic rollups от ZK-rollups
В паре с optimistic-роллапами часто упоминают ZK-роллап. Ключевые различия:
| Аспект | Optimistic rollup | ZK-rollup (validity rollup) |
|---|---|---|
| Подход к корректности | Состояние считается корректным «по умолчанию», пока его не оспорили (fraud-proof). | Каждому батчу сопутствует криптографическое доказательство корректности (validity proof). |
| Финальность | Финальность после истечения challenge-периода (если не было успешного спора). | Финальность после проверки proof на L1 (обычно предсказуемое время). |
| Логика споров | Fraud-proof и интерактивные игры для доказательства ошибки. | Проверка zk-доказательства: либо верно, либо нет. |
| Затраты | Проще prover, больше фокус на DA и механиках споров. | Дороже вычисления proof, но лучше масштабируются с ростом числа транзакций. |
| UX вывода | Стандартный вывод долго ждёт challenge-периода; быстрый вывод — через ликвидити-мосты. | Вывод можно финализировать быстрее после проверки proof. |
Плюсы и минусы optimistic rollups
Преимущества:
- Относительная простота реализации.
Не требуется сложная zk-криптография; легче стартовать сеть и развивать экосистему.
- Высокая совместимость с EVM.
Многие optimistic-L2 реализованы как EVM-совместимые сети, куда легко портировать контракты Ethereum.
- Низкие комиссии и высокая пропускная способность.
Исполнение переносится на L2, а в L1 попадают только агрегированные данные.
Ограничения и риски:
- Challenge-период и вывод средств.
Обычный вывод может занимать дни — нужно дождаться, пока истечёт окно для споров. Для пользователя это менее удобно, чем быстрый вывод.
- Зависимость от активности «надзорных» участников.
Без достаточного числа игроков, готовых запускать fraud-proof, модель безопасности ослабляется.
- Сложность мостов и UX.
Быстрые мосты добавляют свою доверительную модель и риски (см. кросс-чейн мост и риски мостов).
- Риски секвенсера и DA.
Как и другие L2, optimistic-роллап зависит от:
- поведения sequencer’а,
- режима Data Availability,
- апгрейдов и админ-ключей (см. модель рисков L2).
Практическое значение optimistic rollups
Для пользователей:
- optimistic-L2 дают:
- более низкие комиссии по сравнению с L1,
- быстрые L2-подтверждения,
- привычный EVM-опыт (кошельки, инструменты).
- важно учитывать:
- как работает вывод на L1,
- какие мосты используются,
- что происходит в случае спора по состоянию.
Для разработчиков:
- оптимистичные роллап-сети — удобная площадка для DeFi, NFT и игр:
- можно перенести существующие контракты Ethereum;
- проще тестировать новые модели.
- нужно закладывать в дизайн dApp:
- задержки вывода,
- возможные споры и откаты,
- риски секвенсера и DA.
Частые вопросы (FAQ)
Почему выводу из optimistic-роллапа нужно ждать несколько дней? Потому что протокол даёт время участникам, чтобы оспорить некорректное состояние. Пока challenge-период не истёк, протокол не считает состояние окончательно безопасным для вывода средств на L1.
Кто запускает fraud-proof и зачем это делать? Любой участник, который нашёл ошибочный батч. За успешное доказательство обычно предусмотрено вознаграждение, а отправитель некорректного батча несёт экономическое наказание (слэшинг, потеря залога).
Что будет, если никто не проверяет корректность батчей? Теоретически злоумышленник мог бы протолкнуть неправильное состояние, если его никто не оспорит. Поэтому важны:
- децентрализация и стимулы для «надзорных» игроков,
- открытые и простые для запуска fraud-proof-клиенты.
Optimistic rollup — это то же самое, что сайдчейн? Нет. Сайдчейн — это отдельная сеть со своей безопасностью. Optimistic-роллап:
- публикует данные и состояние в L1,
- полагается на безопасность Ethereum и механизм fraud-proof,
- считается решением слоя 2, а не отдельным L1.