Определение: что такое Rollup и зачем он нужен
Rollup (роллап) — это решение масштабирования второго уровня (Layer 2), которое выполняет сотни или тысячи транзакций вне основного блокчейна (Layer 1, например, Ethereum), сжимает их в единый пакет данных и передает подтверждение обратно в базовую сеть. Главное отличие между двумя доминирующими семействами технологий — Optimistic Rollups и ZK-Rollups — заключается в методе проверки корректности этих данных: Optimistic предполагают честность транзакций по умолчанию и проверяют их только при подозрении на атаку, тогда как ZK-Rollups математически доказывают валидность каждой транзакции перед ее утверждением в Layer 1.
Технический механизм: как устроены обе технологии под капотом
Для понимания архитектурных компромиссов необходимо рассмотреть изолированный рабочий цикл каждой системы.
1. Optimistic Rollups (Arbitrum, Optimism, Base)
Optimistic Rollups опираются на предположение честности («optimistic» — оптимистичный). Секвенсор принимает транзакции пользователей, упорядочивает их, локально исполняет и отправляет агрегированное состояние (State Root) вместе с исходными данными транзакций (calldata или L1 Blobs) в смарт-контракт Layer 1.
- Механизм защиты (Fraud Proofs / Доказательства мошенничества): Транзакция считается валидной сразу после отправки, но система активирует окно спора (Challenge Period), стандартная длительность которого составляет 7 дней.
- Спорный протокол: Любой валидатор (Watcher) может загрузить состояние L2 и перепроверить расчеты. Если обнаружено несовпадение балансов или нелегитимный переход состояний, валидатор инициирует процедуру доказательства мошенничества (интерактивный бинарный поиск спорного шага виртуальной машины).
- Штрафы: Если секвенсор попытался добавить некорректную транзакцию, смарт-контракт на Layer 1 откатывает состояние до момента ошибки и конфискует залог (стейк) секвенсора, вознаграждая честного валидатора.
2. ZK-Rollups (zkSync Era, Starknet, Scroll, Linea)
Zero-Knowledge Rollups функционируют на базе криптографии с нулевым разглашением (Zero-Knowledge Cryptography). Они не полагаются на экономические стимулы честности секвенсора, а исключают вероятность ошибки на уровне математики.
- Механизм защиты (Validity Proofs / Доказательства валидности): Секвенсор исполняет транзакции и передает вычислительный след (trace) специализированной ноде — Пруверу (Prover).
- Генерация криптографического доказательства: Прувер генерирует компактное криптографическое доказательство — SNARK (Succinct Non-Interactive Argument of Knowledge) или STARK (Scalable Transparent Argument of Knowledge). Это доказательство подтверждает: все транзакции в пакете были подписаны реальными владельцами, балансы рассчитаны точно, двойных трат нет.
- Верификация на L1: Смарт-контракт валидации на Layer 1 проверяет доказательство за несколько миллисекунд. Как только математическое доказательство подтверждено, состояние L2 признается окончательным (Finalized).
Практический пример: вывод 10 ETH из L2 в Ethereum L1
Разница архитектур проявляется наиболее ощутимо при операциях моста между уровнями.
Представим, что трейдер выводит 10 ETH обратно в сеть Ethereum:
- В Optimistic Rollup (например, через нативный мост Arbitrum One): Пользователь инициирует транзакцию вывода. Из-за механизма Fraud Proofs протокол удерживает средства ровно 7 дней (604 800 секунд). Средства становятся доступны на кошельке в Ethereum только по истечении этого срока, так как сеть обязана предоставить валидаторам время на выявление возможного мошенничества. Для быстрого вывода приходится использовать сторонние пулы ликвидности (например, Across), отдавая комиссию протоколу в размере 0,05–0,2% от суммы заемных средств.
- В ZK-Rollup (например, через нативный мост Starknet): Пользователь отправляет запрос на вывод. Прувер объединяет эту транзакцию в ближайший пакет, формирует STARK-доказательство и отправляет его в контракт Ethereum. Через от 15 до 60 минут (время генерации доказательства и финализации блока L1) контракт на Ethereum верифицирует доказательство, и 10 ETH становятся доступны на балансе без необходимости ждать 7 дней и без выплаты комиссий сторонним кредитным пулам.
Сравнительный анализ: плюсы и минусы технологий
Optimistic Rollups
- Плюсы:
- Полная совместимость с EVM (EVM-эквивалентность): Разработчикам не нужно переписывать смарт-контракты с Solidity на специализированные языки; весь стек инструментов (Foundry, Hardhat) работает без модификаций.
- Низкие вычислительные затраты на стороне L2: Секвенсорам не требуются дорогостоящие видеокарты (GPU) или чипы FPGA/ASIC для расчета криптографических доказательств.
- Минусы:
- 7-дневный период вывода средств: Длительная задержка капитала при использовании нативных мостов.
- Большой объем публикуемых данных: Для возможности проверки мошенничества в L1 необходимо публиковать полные данные транзакций, а не только результирующее состояние, что расходует газ.
ZK-Rollups
- Плюсы:
- Мгновенная криптографическая финализация: Завершение транзакций на L1 происходит сразу после верификации доказательства; нет задержки на споры.
- Максимальное сжатие данных: В L1 отправляется только финальный баланс и короткое доказательство, что теоретически дает бесконечное масштабирование по пропускной способности.
- Минусы:
- Высокая вычислительная сложность пруверов: Для генерации ZK-доказательств в масштабах тысяч транзакций требуются вычислительные кластеры корпоративного уровня.
- Сложность интеграции с EVM: Реализация zkEVM сопряжена с колоссальными математическими сложностями; многие ZK-сети используют специфические виртуальные машины (например, Cairo VM в Starknet).
Часто задаваемые вопросы (FAQ)
1. Почему Optimistic Rollups удерживают больше ликвидности (TVL), если ZK-Rollups совершеннее технологически?
Optimistic Rollups стартовали раньше и первыми достигли полной совместимости с кодовой базой Ethereum Virtual Machine. Проекты вроде Uniswap, Aave и Curve смогли перенести свой существующий код в Arbitrum и Optimism за считанные дни. ZK-Rollups долгое время не поддерживали EVM и потребовали создания zkEVM с нуля, что отсрочило приток ликвидности и разработчиков.
2. Что изменило обновление Ethereum Dencun (EIP-4844) для Rollups?
EIP-4844 ввел временные контейнеры данных — «блобы» (Blobs). Ранее L2 публиковали данные в постоянной памяти смарт-контрактов (calldata), конкурируя за обычный газ Ethereum. Блобы хранят данные L2 вне основного состояния Ethereum около 18 дней, что снизило комиссии пользователей внутри обоих типов Rollup-сетей в 10–50 раз.
3. Безопаснее ли ZK-Rollups, чем Optimistic Rollups?
С теоретической точки зрения — да. Безопасность ZK-Rollups опирается на фундаментальные законы криптографии и математики: некорректная транзакция не может быть принята L1 физически. Безопасность Optimistic Rollups опирается на предположение «хотя бы один честный валидатор онлайн» (1-of-N honest party assumption), что в редких экстремальных сценариях (например, сговор валидаторов и цензура L1) теоретически несет вектор риска.