Что такое Rollups простыми словами
Rollups (роллапы) — это решения масштабирования второго уровня (Layer 2), которые выносят вычисления и хранение состояния за пределы базового блокчейна (Layer 1, чаще всего Ethereum), объединяя сотни транзакций в один пакет и отправляя сжатые данные обратно в основную сеть. Ключевое различие между двумя доминирующими типами роллапов — Optimistic Rollups и Zero-Knowledge (ZK) Rollups — заключается в методе подтверждения корректности этих транзакций: доверие с возможностью оспаривания против строгой криптографической верификации.
Технический механизм: как устроены роллапы под капотом
Оба типа протоколов используют специальный узел — секвенсор (sequencer), который принимает пользовательские транзакции, упорядочивает их, выполняет локально и формирует пакеты (batches). Однако путь валидации этих данных кардинально различается.
Optimistic Rollups: презумпция невиновности и Fraud Proofs
Optimistic Rollups (Arbitrum, Optimism) работают по принципу презумпции невиновности: базовый смарт-контракт на Layer 1 предполагает, что все переданные секвенсором транзакции и обновленные состояния верны по умолчанию.
- Период оспаривания (Challenge Period): После публикации состояния открывается окно длительностью, как правило, 7 дней. В течение этого времени любой независимый узел (верификатор) может проверить расчеты.
- Доказательства мошенничества (Fraud Proofs): Если верификатор обнаруживает недопустимое состояние (например, двойную трату), он инициирует процедуру доказательства мошенничества. Спорная транзакция пошагово воспроизводится на виртуальной машине Layer 1. Если факт ошибки подтверждается, некорректное состояние отменяется, балансы восстанавливаются, а депозит недобросовестного секвенсора конфискуется (слешинг).
ZK-Rollups: математическая достоверность и Validity Proofs
ZK-Rollups (zkSync Era, Starknet, Linea, Scroll) не полагаются на предположение о честности. Они сопровождают каждый пакет транзакций криптографическим доказательством валидности (Validity Proof), созданным на базе алгоритмов SNARK или STARK.
- Генерация доказательства (Prover): Специализированный вычислительный модуль генерирует сжатое математическое доказательство того, что цепочка изменений балансов и состояний строго соответствует правилам сети без раскрытия самих исходных данных.
- Мгновенная верификация: Смарт-контракт на Layer 1 запускает алгоритм верификации доказательства. Это требует фиксированного количества вычислительных ресурсов (gas) вне зависимости от того, сколько тысяч транзакций упаковано в пакет. Как только смарт-контракт принимает доказательство, состояние считается окончательно зафиксированным (финальным).
Практический пример: вывод средств и транзакционные издержки
Разница архитектур напрямую влияет на пользовательский опыт. Рассмотрим сценарий вывода 10 ETH из Layer 2 обратно в основную сеть Ethereum через официальный нативный мост.
- Через Optimistic Rollup (например, Arbitrum One): Пользователь инициирует транзакцию вывода. Комиссия за отправку минимальна ($0.02–$0.05), однако средства блокируются на Layer 1 ровно на 7 суток. Этот срок необходим, чтобы гарантировать отсутствие попыток вывода чужих средств через недостоверное состояние. Для мгновенного вывода приходится использовать сторонние ликвидные протоколы с комиссией 0.1–0.5% от суммы.
- Через ZK-Rollup (например, zkSync Era): Пользователь отправляет запрос на вывод. Транзакция попадает в блок, генератор пруфов формирует ZK-доказательство и отправляет его в смарт-контракт Ethereum. Средства становятся доступны на Layer 1 через 15–60 минут (время, необходимое для генерации и верификации пачки доказательств). Никаких семидневных задержек нет.
- Пропускная способность и сжатие: ZK-роллапы передают на L1 только итоговые изменения балансов (state diffs), а Optimistic роллапы обязаны публиковать полные входные данные транзакций (calldata/blobs), что делает ZK-системы потенциально более масштабируемыми при экстремальных нагрузках.
Сравнение преимуществ и недостатков
Optimistic Rollups
- Плюсы: Полная эквивалентность EVM (Ethereum Virtual Machine) «из коробки», упрощенная миграция существующих смарт-контрактов на Solidity, низкие вычислительные требования к оборудованию секвенсоров.
- Минусы: Длительный период вывода средств (7 дней через нативный мост), риск цензуры транзакций оспаривания при перегрузке базового блокчейна.
ZK-Rollups
- Плюсы: Математическая гарантия безопасности без периода ожидания, быстрый вывод капитала на Layer 1, высокая степень сжатия данных, повышенная криптографическая приватность (в специализированных архитектурах).
- Минусы: Экстремально высокая вычислительная сложность генерации доказательств (требуются мощные кластеры серверов), более сложная реализация совместимости с EVM (zkEVM), повышенная базовая стоимость одного пакета транзакций.
Часто задаваемые вопросы (FAQ)
1. Почему нельзя сократить 7-дневный период в Optimistic Rollups до нескольких часов?
Семидневный срок выбран для защиты от скоординированных атак. Если сеть Ethereum подвергнется спам-атаке, резкому росту комиссий (gas spike) или сговору валидаторов, честным узлам может потребоваться несколько дней, чтобы успешно протолкнуть транзакцию с Fraud Proof в блок Layer 1 и предотвратить кражу средств.
2. Какая технология победит в долгосрочной перспективе?
Консенсус среди исследователей масштабирования Ethereum (включая Виталика Бутерина) сводится к тому, что Optimistic Rollups доминируют в краткосрочной и среднесрочной перспективе из-за простоты интеграции существующих DeFi-протоколов. В долгосрочной перспективе ZK-Rollups превзойдут Optimistic благодаря отсутствию задержек вывода и более совершенному сжатию данных по мере удешевления аппаратной генерации доказательств.
3. Безопаснее ли хранить активы в L2, чем на самом Ethereum?
Нет. Безопасность любого Layer 2 не может превышать безопасность Layer 1. В роллапах присутствуют дополнительные векторы атак: централизация секвенсоров (риск временной приостановки работы сети), баги в криптографии схем zk-доказательств или кодовой базе Fraud Proofs, а также наличие административных ключей обновления смарт-контрактов на ранних стадиях развития сетей.