Перейти к содержанию
Financial Context Wiki

Роллапы

Как роллапы исполняют транзакции, публикуют данные и обязательства, проверяют переходы состояния, проводят расчет на базовом уровне и создают особые операционные риски.

Обновлено

Только в образовательных целях; это не финансовая, инвестиционная, мостовая или информационно-безопасностная рекомендация. Гарантии роллапа зависят от развернутых контрактов, системы доказательств, доступности данных, прав оператора, управления и базового уровня; все это может измениться.

Прямой ответ

Роллап — схема масштабирования блокчейна, которая исполняет транзакции вне базового уровня, но использует его для публикации заданных протоколом данных или обязательств и расчета по оспоренным либо доказанным переходам состояния. Множество транзакций делят стоимость данных и расчета. Поэтому роллап — не просто сжатие, а один корень состояния не содержит данных, нужных для восстановления цепочки.

Оптимистические роллапы обычно принимают утверждения о состоянии, если успешное оспаривание с доказательством ошибки не показывает недействительность перехода. ZK-роллапы подают доказательства корректности, проверяемые расчетным контрактом. Эти названия описывают принятие переходов, но не дают общей гарантии децентрализации секвенсора, хранения, управления обновлениями, комиссий или времени вывода.

Как это работает

  • Упорядочение и исполнение. Секвенсор или иной механизм выбирает и упорядочивает транзакции, затем вычисляет состояние. Пользователь может получить быструю квитанцию до подтверждения базовым уровнем.
  • Публикация данных. Система публикует достаточно входных данных, обычно как calldata или блобы, на базовом уровне либо использует отдельную доступность данных. От нее зависит независимое восстановление и проверка состояния.
  • Обязательство состояния. Роллап публикует корни состояния или другие обязательства, связывающие его с результатом исполнения. Обязательство компактно, но не является историей транзакций.
  • Проверка переходов. Оптимистическая схема зависит от окна оспаривания и развернутой процедуры доказательства ошибки; ZK — от доказательства корректности и ончейн-верификатора. Ошибки, права и работоспособность важны в обеих.
  • Расчет и вывод. Контракты базового уровня определяют принятие и финализацию сообщений и активов. Канонический вывод может задерживаться доказательством, оспариванием или финальностью; быстрый мост добавляет поставщика ликвидности и риск контрагента.
  • Обновление и восстановление. Управление, советы безопасности, хранители или администраторы могут приостанавливать и обновлять контракты. Таймлок, путь выхода и принудительное включение проверяют для конкретного развертывания.

Пример

Пусть пакет содержит 1,000 транзакций. Пользователи вместе платят 0.8 ETH, данные базового уровня стоят 0.5 ETH, а исполнение роллапа — 0.2 ETH. Необъясненный остаток равен 0.8 - 0.5 - 0.2 = 0.1 ETH, или 0.1 / 1,000 = 0.0001 ETH на транзакцию до создания доказательств, инфраструктуры, неудачных пакетов, стоимости капитала и возвратов. Это сверка затрат, не прибыль оператора.

До признания пакета финальным проверьте, подтверждена ли квитанция только секвенсором, дошли ли данные и обязательство до базового уровня, закончилось ли окно доказательства ошибки или принято доказательство корректности, и стало ли сообщение вывода отдельно исполнимым.

Риски

  • Централизованный секвенсор может цензурировать, переупорядочивать или временно останавливать транзакции.
  • Отсутствие или недоступность данных пакета может помешать независимому восстановлению и выходу.
  • Программы доказательства ошибки, схемы корректности, верификаторы или клиенты могут содержать ошибки.
  • Оспаривающие или создатели доказательств могут быть офлайн, подвергаться цензуре, не иметь средств или прав.
  • Перегрузка, реорганизация или сбой базового уровня может задержать публикацию, доказательство и расчет.
  • Ключи обновления, хранители или управление могут изменить код, параметры или работу моста.
  • Канонические мосты и сопоставление токенов могут отказать при правильном исполнении роллапа.
  • Комиссии, время доказательства и задержки вывода различаются и могут меняться после обновлений.

Распространенные заблуждения

  • Все роллапы навсегда хранят все на базовом уровне. Форматы публикации и гарантии архива различаются; блобы не являются постоянным хранилищем.
  • Квитанция секвенсора — окончательный расчет. Это может быть лишь раннее обещание порядка.
  • ZK означает приватность. Доказательства корректности подтверждают вычисление; приватность транзакций — отдельное решение.
  • Оптимистический означает отсутствие проверки. Нужны воспроизводимые данные, рабочая система доказательств ошибок и способные оспаривать участники.
  • Низкая средняя комиссия устраняет операционный риск. Общий расчет может снизить затраты, но зависимости от секвенсора, доказательств, управления, моста и данных остаются.

Связанные темы

Источники

Навигация

Поиск по вики...