Завершенность 3-го уровня

В этом состоянии данные транзакции и новое состояние фиксируются на Layer 1. Теперь система роллапов проходит период оспаривания.

Если предложение о состоянии не оспаривается в течение периода оспаривания, то оно считается завершенным, после чего смарт-контракты на Layer 1 могут спокойно принимать доказательства вывода о состоянии роллапа, основанные на этом предложении. Если предложение о состоянии успешно оспорено, то некорректная версия и те, что были опубликованы после нее, будут аннулированы, что вернет роллап к его старому состоянию. После этого протокол роллапа должен будет заново выполнить транзакции и соответствующим образом обновить состояние роллапа.

После окончания периода оспаривания наконец-то разрешается вывод средств с Layer 2 на Layer 1. Снятие средств - это междоменные транзакции, которые инициируются на Layer 2 и завершаются транзакцией, выполненной на Layer 1, например, перевод токенов со счета Layer 2 на счет Layer 1. Пользователю достаточно предоставить контракту роллапа доказательство Меркла (с использованием calldata), подтверждающее, что его транзакция была включена в корень состояний роллапа.