Dusk 的最终性逻辑有点特殊。它不是传统意义的时间概念，而是跟交易证明直接绑定的结果。

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

Консенсусные узлы подтверждают не факт "кто-то отправил транзакцию", а "в рамках текущих правил это состояние было доказано как законное". Если проверка доказательства не прошла? Тогда эта транзакция вообще не попадет в рамки окончательного обсуждения.

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

Именно поэтому Dusk может рассматривать окончательность как базовое условие для соответствующих транзакций, а не просто как показатель производительности. Объект механизма подтверждения очень четко определен — только для состояний, уже подтвержденных по правилам, а не для самой транзакционной заявки. Ключ к системной целостности цепочки — в этом: действует ли окончательность только на подтвержденных как законные состояниях. Если этот порядок не нарушается, механизм подтверждения перестает быть универсальным PoS и становится специально разработанным для обеспечения исполнения регулируемых транзакций.