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

В большинстве роллапов по истечении 1-3 минут секвенсор собирает транзакции, обработанные на данный момент, и отправляет их на нижележащий Layer 1 с помощью calldata, которые, по сути, остаются на чейне, но не являются частью глобального состояния счета Layer 1 и, следовательно, не могут быть доступны другим контрактам. Транзакция Layer 2 теперь имеет ту же завершенность, что и блок Layer 1, который включил ее в пакет, и это называется "жесткой завершенностью".

В дополнение к данным транзакций секвенсор также представляет старые (состояние до пакетных транзакций) и новые (состояние после выполнения пакетных транзакций) корни состояний, которые необходимы для доказательства достоверности изменений состояний.

После того как секвенсор отправляет пакет, контракт проверяет, совпадает ли корень предварительного состояния с существующим корнем состояния. Если они совпадают, контракт отбрасывает старый корень состояния и сохраняет новый, предложенный секвенсором.

Обратите внимание, что на данном этапе Layer 1 имеет все транзакции, которые, как утверждает секвенсор, должны привести к созданию нового корня состояния. Однако нет никакой гарантии, что утверждение секвенсора и его обязательства относительно корня состояния верны. Именно поэтому в оптимистичных роллапах есть период вывода, чтобы любой мог оспорить утверждения секвенсора.

AltLayer улучшает это двумя способами. Во-первых, поскольку сеть секвенсоров децентрализована через SQUAD, секвенсоры потенциально могут запускать протокол консенсуса, маловероятно, что сеть секвенсоров будет генерировать недействительные или неправильные корни состояний.

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

Доказательство подлинности: Состояние роллапа хранится в дереве Меркла. Например, ключом может быть идентификатор аккаунта, а значением - количество токенов, которые он контролирует.

В AltLayer сеть роллапов генерирует доказательство корректного перехода состояния, называемое доказательством подлинности, которое позволяет операторам VITAL проверять переход состояния для роллапа, не имея доступа ко всему состоянию. Фактически, им нужны только:

• Блок (список переходов состояния),

• Значения в базе данных состояний, которые изменяет блок, и

• Хэши незатронутых точек в дереве Меркла.

С их помощью операторы VITAL могут сгенерировать новый корень состояния и сравнить, совпадает ли корень состояния, заявленный секвенсорами, с тем, который они сгенерировали сами. В результате VITAL выступает в роли децентрализованной сети лайтклиентов без статусов роллапа.

Сеть роллапов генерирует доказательство подлинности и периодически (каждые 6 блоков роллапов) отправляет его в VITAL в специальном блоке, называемом PoV-блоком. Для того чтобы иметь возможность верификации доказательства подлинности, полученного от сети роллапов, операторы VITAL реализуют функцию проверки переходов состояний (STVF), веб-код которой является частью времени исполнения валидатора. STVF принимает на вход блок PoV и выдает доказательство подлинности этого блока. Если доказательство действительно, VITAL передает пакет транзакций и корни состояний до и после на Layer 1. Обратите внимание, что в существующих роллапах это делается непосредственно секвенсорами, в то время как в случае AltLayer за это отвечают операторы VITAL.

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