断言由网络本身强制执行。 不是由可能会宕机的监控服务。 不是由可能会遗漏某些内容的仪表板。 不是由可能会猜错的人工智能模型。 而是由验证每笔交易的共识机制。保护数十亿价值的同一验证者。一个从未成功被攻击的网络。 当你的断言说“这个不变式必须成立”时，网络会强制执行。就这样。 如果一笔交易会违反你的安全属性，它不会收到警告。它不会被标记以供审查。 它不会执行。 网络本身就是你的安全层。