Борьба за масштабируемость Layer-2: Оптимистичный Rollup против нулевых знаний Rollup, кто из них будущее?

Блокчейн стал жертвой пробок. Газовые сборы в десятки долларов на Ethereum отпугивают розничных инвесторов, и на свет появились решения по масштабированию Layer-2. Две наиболее обсуждаемые ветви — оптимистичный Rollup и Rollup с нулевым знанием (zk Rollup) — ведут ожесточенную борьбу за господство.

Как работают два плана

Простыми словами, Rollup — это “упаковка грузов”: собрать кучу транзакций и обработать их вне цепочки, а затем вернуть только сжатый результат на основную цепочку. Преимущества в том, что пропускная способность может увеличиться в 10-100 раз, а стоимость Газ значительно снижается.

Но логика верификации двух решений совершенно различна:

Логика оптимистичного Роллапа: сначала предполагаем, что все транзакции верны (отсюда и “оптимистичный”), ждем, пока кто-то оспорит. Если трейдер обнаружит ошибку и подаст возражение в течение “периода оспаривания” (обычно 7 дней), протокол повторно выполнит транзакцию и накажет нарушителя. Эта система немного напоминает “предположить невиновность, пока не появятся доказательства обвинения”.

Логика нулевых знаний Rollup: При отправке каждой партии транзакций оператор одновременно генерирует математическое доказательство (доказательство нулевых знаний), подтверждающее “Я проверил, что эти транзакции правильные”, не раскрывая при этом конкретное содержание транзакций. Проверяющему достаточно проверить это доказательство, чтобы быть уверенным в действительности транзакций.

В чем основные различия

Окончательность сделок: zk Rollup сразу становится окончательным, как только доказательство проверки проходит, пользователи могут выводить средства мгновенно. Оптимистичный Rollup должен ждать окончания 7-дневного периода подтверждения, чтобы быть на 100% уверенным, вывод средств занимает много времени — это самое большое различие в пользовательском опыте.

Объем данных в Блокчейне: Оптимистичный Rollup должен записывать все данные транзакций в Блокчейн для проверки, занимая ценное пространство в блоке. zk Rollup требует лишь записи компактного доказательства с нулевым раскрытием, объем данных может сократиться в десятки раз, Газ-расходы, естественно, будут дешевле.

Безопасные предположения: Оптимистичный Rollup основывается на предположении, что “по крайней мере, один честный участник наблюдает за сетью” — если никто не обнаружит злоупотребления, плохие транзакции пройдут. Безопасность zk Rollup основана на самой математике, операторы не могут злоупотреблять, пользователи не должны беспокоиться о предательстве.

Техническая сложность: Оптимистичный Rollup имеет простую логику и уже был успешно протестирован в таких проектах, как Arbitrum и Optimism. zk Rollup требует сложной криптографии, высокие вычислительные затраты, и в настоящее время быстро оптимизируется (zkSync, Starkware и другие активно работают над этим).

Почему все еще используют

Оптимистичные Rollup, благодаря раннему запуску, зрелой технологии и наиболее полной экосистеме, в настоящее время лидируют по TVL. Однако zk Rollup привлекает большое количество высокочастотных трейдеров и пользователей, чувствительных к затратам, благодаря более быстрой окончательности транзакций и более низкому газу.

Будущее, скорее всего, будет характеризоваться сосуществованием: разные сценарии применения выбирают разные решения. Для платежей и транзакций используется zk для достижения скорости и снижения затрат, в то время как для сложных контрактных взаимодействий применяется оптимистичный подход, поскольку экосистема более зрелая.

Минимум: Оба варианта не являются идеальными, война за масштабирование Блокчейна только начинается.