编辑“Kaspa（KAS）”（章节）

=== GhostDAG ===
GhostDAG 是 Kaspa 目前使用的共识机制，是对 PHANTOM 共识的改进。PHANTOM 需要解决一个 NP 难题，本身并不适合实际应用。相反，我们利用 PHANTOM 背后的直觉设计了一种贪婪算法 GHOSTDAG，它可以更有效地实现。我们正式证明 GHOSTDAG 是安全的，也就是说，随着时间的推移，其区块的排序变得越来越难以逆转。GHOSTDAG 的主要成就可以总结如下：给定两个在某个时间点发布并嵌入到区块有向无环图中的交易 tx1、tx2，随着时间的推移，GHOSTDAG 中 tx1 和 tx2 之间的顺序发生变化的概率会随着时间呈指数级下降，即使在相对于网络传播延迟不可忽略的高区块生成率下，假设大部分计算能力由诚实节点持有<ref>[https://kaspa.org/features/ Features] - Kaspa</ref>。 

与 PHANTOM 类似，GHOSTDAG 协议选择一个 k 簇，这会导致区块的着色为蓝色（所选簇中的区块）和红色（簇外的区块）。然而，GHOSTDAG 不是寻找最大的 k 簇，而是使用贪婪算法找到一个 k 簇。该算法通过首先继承最佳顶点 Bmax（即过去具有最大蓝色集的顶点）的蓝色集来构建 DAG 的蓝色集，然后以保持 k 簇属性的方式将 Bmax 过去之外的区块添加到蓝色集中。 请注意，这种贪婪继承规则诱导了一条链：链的最后一个区块是 G 的选定顶点 Bmax；链中的下一个区块是 DAG 过去（Bmax）的选定顶点；依此类推直到创世区块。我们将这条链表示为 Chn(G) =（创世区块 = Chn0(G)，Chn1(G)，...，Chnh(G)）。在 GHOSTDAG 中，所有区块的最终顺序遵循与着色过程类似的路径：我们首先继承 Bmax 在过去（Bmax）区块上的顺序来对区块有向无环图进行排序，然后将 Bmax 本身添加到顺序中，最后根据某种拓扑排序添加过去（Bmax）之外的区块。因此，本质上，随着着色过程，区块的顺序变得稳健。