Утверждения применяются самой сетью. А не службой мониторинга, которая может выйти из строя. А не приборной панелью, которая может что-то пропустить. Не моделью искусственного интеллекта, которая может ошибаться. С помощью того же механизма консенсуса, который проверяет каждую транзакцию. Те же валидаторы, которые обеспечивают себе миллиарды стоимости. Та самая сеть, которая никогда не подвергалась успешным атакам. Когда ваше утверждение говорит, что «этот инвариант должен выполняться», сеть применяет его. Период. Если транзакция нарушит свойство безопасности, она не получит предупреждение. Он не помечается для проверки. Он не выполняется. Сеть сама по себе является вашим уровнем безопасности.