Что такое Rollups и в чем их отличие
Rollups — это протоколы масштабирования второго уровня (Layer 2), которые выполняют транзакции вне основной сети (Layer 1), упаковывают их в пакеты и отправляют сжатые данные обратно в базовый блокчейн для хранения и финализации. Фундаментальное различие между ZK-Rollups и Optimistic Rollups сводится к принципу верификации данных: первые опираются на математическую истинность через криптографические доказательства, а вторые используют экономические стимулы и презумпцию честности с периодом оспаривания.
Технический механизм: как устроены технологии под капотом
Optimistic Rollups
Optimistic Rollups работают по принципу презумпции невиновности: сеть предполагает, что все предложенные транзакции валидны по умолчанию. Секвенсор собирает транзакции, вычисляет новое состояние сети и публикует сжатые данные вместе с корнем состояния (State Root) в смарт-контракт на Layer 1 без немедленной проверки корректности вычислений.
Для защиты от мошенничества применяется механизм Fraud Proofs (доказательства мошенничества). После публикации данных открывается окно оспаривания, которое обычно длится 7 дней. Если кто-либо из участников сети (наблюдателей) замечает некорректный переход состояния, он отправляет доказательство мошенничества в смарт-контракт на Layer 1. В этот момент базовая сеть исполняет спорную транзакцию на своей виртуальной машине, отменяет неверные изменения и наказывает недобросовестного валидатора списанием его залога (слешинг).
ZK-Rollups (Zero-Knowledge Rollups)
ZK-Rollups используют презумпцию недоверия: ни одно изменение состояния не принимается смарт-контрактом Layer 1 без строгого математического подтверждения. Секвенсор выполняет транзакции вне чейна, а специализированные узлы (пруверы) генерируют криптографическое доказательство валидности (Validity Proof) с использованием протоколов zk-SNARK или zk-STARK.
Это компактное доказательство отправляется на Layer 1 вместе со сводкой транзакций. Верификационный смарт-контракт на Ethereum проверяет математическую формулу. Процесс проверки доказательства занимает фиксированное количество вычислительных ресурсов вне зависимости от того, сколько тысяч транзакций упаковано внутри пакета. Как только контракт подтверждает корректность формулы, состояние мгновенно признается окончательным.
Практический пример: перевод и вывод средств
Представим сценарий, в котором пользователь отправляет 10 000 USDT внутри сети Layer 2, а затем выводит их на базовый уровень Ethereum (Layer 1).
В сети на базе Optimistic Rollups (например, Arbitrum One) отправка 10 000 USDT внутри сети подтверждается за доли секунды и стоит в среднем 0,02–0,05 доллара за счет низких затрат на вычисления. Однако при попытке вывести средства через официальный нативный мост пользователю придется ждать ровно 7 суток (168 часов). Этот период задержки заложен в архитектуру для того, чтобы любой наблюдатель успел подать Fraud Proof в случае компрометации данных секвенсором.
В сети на базе ZK-Rollups (например, zkSync Era) аналогичный перевод внутри сети обойдется примерно в 0,05–0,10 доллара из-за потребности в оплате генерации доказательства прувером. Однако обратный вывод 10 000 USDT на Layer 1 занимает от 15 минут до 3 часов — ровно столько времени требуется пруверу, чтобы сформировать ZK-доказательство, отправить его на Ethereum и дождаться подтверждения блока смарт-контрактом. Никакого окна ожидания в 7 дней здесь нет.
Преимущества и недостатки подходов
Optimistic Rollups
- Совместимость: полная и нативная эквивалентность с Ethereum Virtual Machine (EVM), что позволяет разворачивать существующие смарт-контракты без изменений.
- Энергоэффективность: отсутствие потребности в тяжелых вычислениях для генерации математических доказательств снижает требования к оборудованию узлов.
- Задержка: длительный семидневный период ожидания при выводе активов через нативный мост создает неудобства для пользователей.
- Наблюдатели: безопасность системы напрямую зависит от присутствия честных узлов, непрерывно проверяющих транзакции.
ZK-Rollups
- Финализация: мгновенное признание транзакций окончательными сразу после проверки прува на первом уровне.
- Безопасность: математическая гарантия корректности исключает человеческий фактор и необходимость ожидания потенциальных споров.
- Ресурсоемкость: генерация криптографических доказательств требует дорогостоящего серверного оборудования и мощных графических процессоров.
- Сложность: реализация полноценных сред выполнения смарт-контрактов (zkEVM) требует сложной инженерной адаптации.
Часто задаваемые вопросы (FAQ)
Почему пользователи Optimistic Rollups могут выводить средства быстрее 7 дней?
Быстрый вывод доступен только через сторонние мосты ликвидности. В этом случае сторонний сервис выдает пользователю свои средства на Layer 1 сразу, забирая небольшую комиссию и принимая на себя семидневный риск ожидания средств из сети Layer 2 через нативный контракт.
Какая технология обеспечивает меньший размер комиссий?
Исторически комиссии в Optimistic Rollups были ниже из-за отсутствия затрат на пруверы. Однако по мере роста объема транзакций ZK-Rollups становятся дешевле, так как математическое доказательство позволяет значительно сильнее сжимать данные, публикуемые на Layer 1.
Может ли секвенсор в ZK-Rollup украсть средства пользователей?
Нет, секвенсор не способен сгенерировать валидное криптографическое доказательство для транзакции, которая нарушает правила сети или пытается украсть активы. Смарт-контракт Layer 1 математически отклонит некорректный блок.