Оптимистичные роллапы и ZK-роллапы
Ключевое различие между оптимистичными и ZK-роллапами в том, как Ethereum узнаёт, что пакет транзакций корректен. Оптимистичные роллапы считают пакет корректным и дают примерно неделю на оспаривание. ZK-роллапы прикрепляют криптографическое доказательство, которое Ethereum проверяет сразу. От этого выбора зависят сроки вывода средств, стоимость и сложность разработки.
Ключевое различие между оптимистичными и ZK-роллапами в том, как Ethereum узнаёт, что пакет транзакций корректен. Оптимистичные роллапы считают пакет корректным и дают примерно неделю, чтобы доказать обратное. ZK-роллапы прикрепляют криптографическое доказательство, которое Ethereum проверяет сразу. От этого выбора зависят сроки вывода средств, стоимость и сложность создания каждой системы.
Оптимистичные роллапы: невиновен, пока не доказано обратное
Оптимистичный роллап публикует свои пакеты в Ethereum без доказательства их корректности. Если кто-то считает, что пакет неверен, он подаёт доказательство мошенничества в течение периода оспаривания, примерно семь дней. Если оспаривание успешно, неверный пакет отменяется, а сторона, которая его опубликовала, несёт наказание. Поэтому безопасность зависит от того, что хотя бы один честный участник следит за сетью и может подать оспаривание.
ZK-роллапы: каждый раз доказано
ZK-роллап формирует доказательство корректности, короткий криптографический объект, который показывает, что пакет соответствует правилам, и публикует его вместе с данными. Контракт Ethereum проверяет доказательство. Если оно верно, пакет считается окончательным, и оспаривать его нечего. Наше руководство по доказательствам с нулевым разглашением объясняет лежащую в основе идею.
Рисунок: почему вывод средств через официальный мост занимает около недели в оптимистичных роллапах, но не в ZK-роллапах.
Сравнение в таблице
| Оптимистичные роллапы | ZK-роллапы | |
|---|---|---|
| Как обеспечивается корректность | Доказательства мошенничества в течение периода оспаривания | Доказательство корректности, проверяемое в Ethereum |
| Вывод через официальный мост | Через примерно 7 дней | После проверки доказательства |
| Стоимость за пакет | Ниже; доказательство не нужно формировать | Выше из-за вычислений для создания доказательств |
| Совместимость смарт-контрактов | Близка к совместимости с Ethereum, приложения легко переносятся | Исторически сложнее; ситуация улучшается |
| Главное допущение безопасности | Хотя бы один честный участник, оспаривающий пакеты | Корректная система доказательств и схемы |
| Сложность разработки | Ниже | Выше |
Вывод средств в каждом случае
Допустим, вы хотите перевести средства из роллапа обратно в Ethereum через официальный мост.
В оптимистичном роллапе вы начинаете вывод в самом роллапе, ждёте, пока пакет с вашей транзакцией будет опубликован в Ethereum, а затем ждёте окончания периода оспаривания примерно в семь дней, прежде чем получить средства в Ethereum. Эта неделя нужна, чтобы любой мог оспорить мошеннический пакет до того, как средства покинут сеть.
В ZK-роллапе вы начинаете вывод, ждёте, пока пакет будет доказан и доказательство проверено в Ethereum, а затем получаете средства. Время ожидания зависит от того, как часто роллап формирует доказательства, обычно это часы, а не дни, и после проверки дальнейшего периода оспаривания нет.
Для пользователей, которые редко выводят средства из роллапа, разница почти незаметна. Для компаний, которые часто переводят средства между уровнями, она может определить выбор решения.
Откуда берутся расходы
Две модели платят за безопасность в разных местах. Оптимистичный роллап избегает тяжёлых вычислений, необходимых для создания доказательств, поэтому каждый пакет дешевле в производстве. Но он должен публиковать достаточно данных, чтобы участники могли перепроверить всё, и поддерживать работу системы оспариваний. ZK-роллап тратит значительные вычислительные ресурсы на создание каждого доказательства, однако благодаря доказательству может публиковать менее подробные данные, а проверка в Ethereum относительно дешёвая. По мере ускорения аппаратного и программного обеспечения для доказательств разрыв в стоимости сокращается.
Когда лучше подходят оптимистичные роллапы
Оптимистичные роллапы появились на рынке первыми и запускали существующие приложения Ethereum почти без изменений, что помогло им собрать большую пользовательскую базу и глубокую ликвидность. Для пользователей, которые редко выводят средства обратно в Ethereum, семидневный вывод почти не имеет значения, а сторонние мосты предлагают более быстрый выход за комиссию.
Когда лучше подходят ZK-роллапы
ZK-роллапы подходят для задач, где важны быстрые и окончательные расчёты в Ethereum, например для бирж, которые переводят средства между уровнями, или для приложений, которым нужен быстрый вывод. Их доказательства также могут сжимать данные более эффективно, что полезно по мере роста активности.
Всегда ли ZK-роллап является более безопасным выбором?
«ZK-роллапы более безопасны» — распространённое мнение, но доказательство валидности ценно ровно настолько, насколько корректен код, который его определяет. Ошибка в схеме доказательства может пропустить некорректное состояние, а некоторые ZK-системы по-прежнему полагаются на обновляемые контракты или ограниченное число провер. Между тем оптимистичный роллап с работающей, открытой системой fraud proof и активными наблюдателями на практике может выдерживать нагрузку хорошо. Зрелость конкретного роллапа важнее, чем его семейство.
Кто следит за оптимистичным роллапом?
Безопасность оптимистичного роллапа зависит от того, что кто-то действительно проверяет его батчи и своевременно оспаривает некорректные. В зрелой архитектуре любой может запустить ПО, пересчитать состояние роллапа и отправить fraud proof, поэтому достаточно одного честного наблюдателя. В менее зрелых архитектурах оспаривать могут только одобренные стороны, либо система fraud proof ещё не запущена, и тогда доверие возвращается к команде роллапа. Поскольку наблюдение стоит денег, а большинство батчей честны, стимулы для независимых наблюдателей остаются открытым вопросом дизайна.
Архитектуры сближаются
Граница между двумя семействами размывается. Некоторые оптимистичные роллапы добавляют доказательства с нулевым разглашением, чтобы сократить время вывода средств, а некоторые проекты сочетают оба подхода: доказательства валидности там, где это практично, и fraud proofs в качестве запасного варианта. ZK-роллапы, в свою очередь, стали гораздо лучше совместимы с существующими приложениями Ethereum, чем были несколько лет назад. Для пользователей всё более полезным становится вопрос не о том, к какому семейству относится роллап, а о том, насколько зрела его система доказательств и сколько контроля сохраняет его команда.
Как понять, какой тип вы используете
Документация роллапа и независимые трекеры, которые оценивают сети второго уровня, указывают, какую систему доказательств использует сеть. Практическая подсказка — официальное время вывода средств: задержка около недели указывает на оптимистичную архитектуру, а задержка в несколько часов — на ZK-систему. Трекеры также показывают, полностью ли запущена система доказательств и открыта ли она для всех, может ли команда обновлять контракты без задержки и могут ли пользователи выйти самостоятельно. Вместе эти факты говорят о безопасности больше, чем ярлык на роллапе.
Риски, общие для обоих типов
Оба типа могут работать с одним секвенсором, у обоих есть контракты, которые команды могут обновлять, и оба зависят от Ethereum в части данных. Реальная безопасность роллапа определяется деталями: кто может его обновить, насколько быстро и могут ли пользователи выйти самостоятельно, если оператор исчезнет.
Об основах работы роллапов читайте в материале что такое роллапы Ethereum. Более широкую картину масштабирования см. в материалах уровень 1 против уровня 2 и что такое Ethereum.
Эта статья носит образовательный характер и не является финансовой, инвестиционной, юридической или налоговой консультацией. Цифровые активы волатильны, и вы можете потерять вложенную сумму.
Часто задаваемые вопросы
Каким типом чаще всего пользуются реальные пользователи?
Обе семьи поддерживают крупные, широко используемые сети. Для повседневного использования такие факторы, как комиссии, поддерживаемые приложения и зрелость механизмов контроля каждой сети, обычно важнее системы доказательств.
Может ли сторонний мост обойти семидневное ожидание?
Да. Поставщики ликвидности быстро выплатят вам средства в Ethereum в обмен на ваше право требования к роллапу, взимая плату за услугу. После этого вы зависите от этого поставщика и его контрактов, а не от официального моста.