Твердження забезпечуються самою мережею. А не службою моніторингу, яка може вийти з ладу. Не панеллю приладів, яка може щось пропустити. Не моделлю штучного інтелекту, яка може вгадати неправильно. За допомогою того ж механізму консенсусу, який перевіряє кожну транзакцію. Ті самі валідатори, які забезпечують мільярдну вартість. Та сама мережа, яка ніколи не піддавалася успішним атакам. Коли ваше твердження говорить, що «цей інваріант повинен спрацювати», мережа застосовує його. Період. Якщо транзакція порушить вашу охоронну власність, вона не отримує попередження. Він не позначається для перевірки. Він не виконується. Сама мережа є вашим рівнем безпеки.