VITAL для децентрализованной верификации

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

Vital также может работать в режиме, при котором операторы Vital требуют от операторов SQUAD создать оптимистическое ZK-доказательство для оспариваемого корня состояния вместо участия в протоколе бисекций. Другим режимом работы может быть проверка промежуточных доказательств, которые не требуют использования L1. Vital очень важен, так как Mach AVS использует его для обеспечения быстрого уровня финализации.

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