ZK-Rollups или Optimistic Rollups: факты и перспективы
Два года назад любая статья про Ethereum-экосистему начиналась с неизбежной мантры: «L2 решит проблему газа, забудьте про переводы по 80 долларов, наступает светлое завтра».
Два мира доказательств: вера против математики
Главное различие между двумя семействами L2-решений лежит не в скорости и не в цене газа — оно зарыто глубже, в самом способе убедить базовый уровень Ethereum, что транзакции на втором уровне прошли честно.
Optimistic Rollups работают на принципе доверия с обратной проверкой. Сеть предполагает, что все свёрнутые в L1 транзакции валидны по умолчанию — «оптимистично». Если кто-то из валидаторов заметит подделку, он подаёт доказательство мошенничества (fraud proof), и нечестная транзакция откатывается. Это как пропускной пункт, где у всех закрывают глаза и ждут, не закричит ли кто-нибудь: «У него нож под плащом!».
ZK-Rollups действуют иначе. Каждый пакет транзакций сопровождается криптографическим доказательством корректности — ZK-SNARK или ZK-STARK. Это компактное математическое удостоверение, которое L1 проверяет за миллисекунды и безоговорочно принимает. Никакого окна доверия, никакой веры в порядочность секвенсера. Это как пропускной пункт с рентгеном, который физически не пропустит контрабанду.
ZK-Rollups — это когда сеть доказывает, что не обманула. Optimistic — когда сеть верит, что не обманула, и ждёт, пока кто-нибудь не докажет обратное.
Звучит как победа математики с разгромным счётом. Но если бы всё было так просто, разговор бы на этом заканчивался — а он, как известно, только начинается.
Семь дней — или почему ваш вывод превращается в квест
Главная головная боль Optimistic Rollups — период оспаривания. Стандартное окно ожидания вывода средств обратно в L1 составляет около семи дней. Это не баг и не забывчивость разработчиков — это фундаментальное свойство архитектуры: у валидаторов должно быть достаточно времени, чтобы заметить подделку и подать fraud proof.
Что это значит для пользователя на практике:
1. Вы «вывели» токены из Arbitrum или Optimism обратно в Ethereum L1 — и ждёте неделю, пока транзакция финализируется.
2. Срочно понадобились деньги — перевод заморожен, никакой кнопки «ускорить» не существует.
3. Чтобы не сидеть без ликвидности неделю, инфраструктура мостов предлагает «быстрый вывод» — за процент, через пулы ликвидности или сторонних провайдеров, которые по сути кредитуют вас под залог ещё не пришедших средств.
ZK-Rollups лишены этой проблемы в принципе. Как только L1 принимает validity proof, финализация мгновенна — перевод завершён математически, спорить не о чем. Никакого семидневного карантина, никаких ликвидаторов-прокладок между вами и базовым слоем.
Разница ощутима не только в мостах. Децентрализованные биржи и DeFi-протоколы на ZK получают преимущество: ликвидации позиций могут происходить в момент нарушения условий, без задержки на семь дней — критично для маржинальной торговли, где даже часовое опоздание означает потерю обеспечения.
zkEVM: когда вычислительный зверь наконец приручен
Долгое время ZK-Rollups не могли толком запустить полноценную совместимость с EVM — Ethereum Virtual Machine, средой исполнения смарт-контрактов. Причина прозаична: генерация ZK-доказательств для произвольной EVM-логики требовала чудовищных вычислительных ресурсов. А это значит — дорого, медленно и в очень ограниченном объёме.
Optimistic-лагерь воспользовался этим без колебаний. Arbitrum и Optimism запустили полноценные EVM-совместимые среды раньше, подтянули разработчиков, ликвидность, проекты — и построили экосистемы, пока ZK-команды чесали затылки над криптографическими оптимизациями. Получилась классическая история: кто первый встал, того и тапки — точнее, того и ликвидность.
2023 год стал переломным: появились работающие zkEVM-решения — Polygon zkEVM, zkSync Era. Не «почти совместимы», а реально исполняющие существующие контракты Ethereum без переписывания. Разработчики наконец получили возможность деплоить Solidity-код на ZK-Rollup так же, как на L1, без хирургического вмешательства в кодовую базу.
Это не значит, что инженерная проблема решена полностью. Генерация доказательств по-прежнему дороже, чем простая публикация транзакций у Optimistic-конкурентов, и оптимизации продолжаются — как по стоимости оборудования, так и по времени доказательства. Но разрыв в практической EVM-совместимости сократился с пропасти до рабочей дистанции, и это меняет расклад сил на рынке L2.
Когда два года назад ZK-Rollup отказывался запускать ваш контракт, ссылаясь на «несовместимость среды», это был не баг — это была архитектурная реальность. Сегодня это уже отговорка, которую всё реже удаётся произнести с чистой совестью.
Архитектурные компромиссы: что вы реально получаете
Сравнение двух подходов в табличной форме — без маркетинговой шелухи:
| Параметр | Optimistic Rollups | ZK-Rollups |
|---|---|---|
| Механизм доказательства | Fraud proofs (доказательства мошенничества) | Validity proofs (ZK-SNARK / ZK-STARK) |
| Время финализации вывода в L1 | Около 7 дней | Минуты после принятия доказательства L1 |
| Совместимость с EVM | Изначально высокая (Arbitrum, Optimism) | Исторически ограниченная, с 2023 года — zkEVM |
| Стоимость генерации доказательства | Низкая — нет криптографии на каждую транзакцию | Высокая — требуется мощное оборудование |
| Наследование безопасности L1 | Да | Да |
| Зависимость от честности секвенсера | Да — в течение окна оспаривания | Нет — доказательство валидно всегда |
| Зрелость экосистемы (DeFi, мосты, dApps) | Высокая | Растущая, отстаёт на 2–3 года |
| Риск цензуры транзакций секвенсером | Теоретический, в пределах окна оспаривания | Минимизирован криптографией |
| Стоимость газа для пользователя | Обычно ниже за счёт дешёвых доказательств | Чуть выше, разница сокращается |
Из таблицы видно: ни одно из решений не побеждает «в одну калитку». Optimistic отдал разработчикам простоту и быструю экосистему — в обмен на семидневный карантин для пользователя. ZK-Rollups выбрали математическую строгость и мгновенную финализацию — и заплатили за это годами инженерного труда, вычислительных расходов и отложенным запуском полноценной экосистемы.
Выбор между ними — это не выбор «что лучше». Это выбор «какой компромисс вы готовы нести», и ответ у каждого пользователя свой.
Безопасность: откуда ноги растут
Распространённое заблуждение — считать, что ZK-Rollups «безопаснее», потому что они «математические». Это некорректная формулировка, и её охотно тиражируют маркетологи, которым нужно продать технологию.
Оба типа решений наследуют безопасность базового уровня Ethereum L1. Ни ZK-, ни Optimistic-ролап не придумывает собственную модель консенсуса — данные транзакций публикуются в L1, и именно L1 выступает арбитром в любом споре. Разница — в механизме этого спора.
ZK-Rollups перекладывают спор на математику: если доказательство принято L1, оспорить его некому и незачем. Вопросов нет, потому что проверка автоматическая и однозначная.
Optimistic Rollups оставляют пространство для человеческого фактора: валидаторы наблюдают за секвенсером и могут оспорить подозрительную транзакцию в течение окна оспаривания. Если валидаторы не работают, выключены или тихо сговорились — в теории существует окно, когда нечестная транзакция может пройти.
На практике оба подхода считаются достаточно зрелыми для активов суммарной стоимостью в миллиарды долларов — это факт, а не пожелание. Но расслабляться рано: смарт-контракты мостов и самих ролапов — отдельный класс рисков, не зависящий от типа доказательств. Криптовалютная история знает десятки взломов мостов на сотни миллионов долларов, и тип ролапа там был вторичен — горели именно мостовые контракты.
Что выбрать, когда маркетинг молчит, а депозит требует действий
Никакой универсальной рекомендации в духе «покупайте только ZK» или «Optimistic — отстой» — не будет. И не потому что автор хитрит, а потому что её попросту не существует в природе.
Если вы трейдер с маржой и ликвидациями на кону — ZK-Rollups с мгновенной финализацией экономят вам нервы и обеспечение, потому что ваша позиция закроется ровно тогда, когда должна, а не через неделю после того, как цена прошла мимо. Если вы долгосрочный пользователь, который раз в месяц выводит зарплату из L2 и готов подождать — Arbitrum и Optimism остаются проверенным выбором с огромной ликвидностью и зрелой инфраструктурой.
Если вы разработчик, деплоящий смарт-контракт, — разница между Arbitrum и zkSync Era сегодня меньше, чем была два года назад. Совместимость с EVM есть у обоих, выбор сместился из плоскости «можно ли вообще» в плоскость «какой стек дешевле в эксплуатации и привычнее команде».
Если вы просто хотите перевести токены через мост и не попасть на комиссию в три стоимости самого перевода — читайте конкретные условия моста, а не абстрактные преимущества типа ролапа. Большинство пользователей теряют деньги не на выборе между ZK и Optimistic, а на мостах, обёрнутых в красивый интерфейс с комиссией 0,3%, которая в момент нагрузки сети вырастает до 5% и выше.
Не выбирайте ролап по названию. Выбирайте ролап по тому, как поведёт себя ваш конкретный перевод — и держите запасной маршрут на случай, если первый зависнет.
Главный совет, который автор даёт без иронии: диверсифицируйте не только портфель, но и маршруты вывода. Держите часть ликвидности в L1, часть в ZK-сети, часть в Optimistic — это не паранойя, а базовая гигиена для человека, который уже хотя бы раз наблюдал, как «быстрый мост» превращается в неделю ожидания и форумную ветку «кто-нибудь вообще вывел токены?».