编辑“Avalanche（AVAX）”（章节）

==== '''安全性和活性属性''' ====
Snow 家族概括了在基于法定人数的协议中遇到的典型安全性和活性定义。具体而言，对于 Avalanche，这些属性是：

* '''一致性（或安全性）'''：如果任何节点（或机器）最终确定一个值 v，则没有其他节点将最终确定与 v 冲突的另一个值 u，其概率高于 ε。
* '''终止（或活性）'''：如果网络恢复同步操作，则所有节点将达成一致。

与其他异步网络一样，Avalanche 不能保证在异步期间终止，因此没有活性属性。与 Paxos 类似，Avalanche 的目标是确保容错性，并保证异步下的安全性，但不保证活性。这与中本聪共识形成对比，中本聪共识保证了异步下的活性，但不保证安全性。