Оптимистический роллап выполняет транзакции вне базового блокчейна, публикуя в нём данные для восстановления состояния. Предложенные утверждения о состоянии принимаются предварительно: каждое обновление не сопровождается доказательством валидности. Процедура оспаривания позволяет проверить неверные утверждения до их использования для защищённых действий, например вывода средств.
Зачем при оспаривании нужны данные
Независимые участники могут повторно выполнить опубликованные транзакции и сравнить результат с предложенным состоянием. При расхождении процедура fault proof или fraud proof разрешает спор о вычислении по правилам протокола. Успешное оспаривание аннулирует неверное утверждение, но не обязательно реорганизует историю транзакций роллапа.
Модель зависит от доступности данных, работоспособных контрактов разрешения споров и честного участника, способного оспорить утверждение вовремя. Права на предложения и оспаривания, залоги и чрезвычайные полномочия различаются между развёртываниями.
Подтверждение и вывод — разные этапы
Секвенсор может быстро подтвердить транзакцию до попадания её данных в базовую цепь. Финальность этих данных и срок ожидания вывода через мост — отдельные этапы.
Штатный вывод обычно предполагает задержку, связанную с оспариванием. Ускоренный выход за счёт ликвидности вносит собственные комиссии и зависимости. Оптимистическая модель не устраняет риски контрактов, обновлений и операторов. Отсутствие оспаривания само по себе не является криптографическим доказательством правильности вычисления.