Kaspa 没有孤块。在比特币里,两个矿工几乎同时出块,注定有一个成为被丢弃的”孤块”,算力白费、交易要重排队。Kaspa 用 GHOSTDAG 协议把这种浪费收编:所有通过工作量验证的区块都被装进一个有向无环图(blockDAG),谁也不被删除——但协议给每个区块上色,“蓝色”的进入主序列优先排序,“红色”的虽然保留在图中却几乎不享受待遇。整个共识的问题因此从”选一条链”变成”在网里决定谁算数”。
蓝与红:连通性决定身份
GHOSTDAG 的判据是可查的几何关系,不是主观判断。每个区块背后有一组它没看见、同时并发产生的区块,术语叫反锥(anticone)。协议设定一个参数 k,规定一个”k-cluster”:其中任何区块在集合内的蓝色反锥都不超过 k 个。蓝色集合就是这个约束下最大、且彼此连通良好的子集——它对应”诚实矿工正常协作时网络自然长出的形状”:诚实矿工看到什么就引用什么,区块天然互相连通。蓝色块在排序与计分上获得优先权;红色块虽然 PoW 有效、被合并进 DAG,但在待遇上被降级,官方归档文档写明部分变体会完全忽略红块。惩罚的逻辑由此清晰:藏块攻击造出的区块看不到同期诚实块、反锥过大,天然被判红。
从 NP 难到贪心:GHOSTDAG 与 PHANTOM 的关系

值得精确交代版本事实:GHOSTDAG 是论文《Phantom/GHOSTDAG》(2018 年提交 IACR 密码学文献库、2021 年正式发表)为 Kaspa 给出的可实现变体。原始协议 PHANTOM 要求解”最大 k-cluster 子图”问题,这是 NP 难问题,无法在持续生长的 DAG 上精确求解;GHOSTDAG 改用贪心算法近似——新区块继承最佳.tip 的蓝色集合,再把它反锥中满足 k 约束的块逐步染蓝。论文强调,继承规则本身诱导出一条骨干链:从最佳 tip 沿 selected parent 一路回到创世,这就是 DAG 里的”最长链”替身。把 GHOSTDAG 说成与 PHANTOM 完全等价的协议是不准确的:它是捕获后者的工程近似。
区块和交易怎么定序
结构合法还不够,双花必须有唯一裁决。GHOSTDAG 给出拓扑序:每个块先继承 selected parent 的排序,再按蓝色分数升序(同分按哈希)插入新染蓝的并发块。交易集的重放式合并按这个顺序进行——先被定序的交易先花掉输出,后来者若冲突即无效。这样,“两个块几乎同时打包了同一笔钱”不再需要任何一方被作废,协议用顺序本身裁决归属。确认统计也随之改变:衡量安全不再数”链上盖了几层”,而是看蓝色分数与蓝色工作量(past 中全部蓝块的难度累计),红块的算力被结构性排除。
边界与风险面
如实画出这套设计的代价与假设。其一,安全论证沿用 Nakamoto 式工作量假设的推广版本,攻击者阈值与参数 k、出块率、网络传播共同决定,论文给出的结论是安全与吞吐不再像比特币那样必须二选一,但”k 调多大”永远是具体部署的参数决定,不是普适常数。其二,红色块的处理在不同变体中并不一致,官方归档文档明确说明不同变体对红块的处理可选、实现某一阶段选择完全忽略红块——对使用者的含义是:落在红块里的交易可能不被计入,依赖出块者保持良好连通。其三,块速提高到秒级甚至毫秒级后,钱包与交易所的”确认数”语义需要按蓝块重定义,照搬比特币习惯会误判状态。这些都属于协议文档公开承认的机制边界,不是猜测。
小结
GHOSTDAG 的实质是把”丢弃并发”改写成”给并发定价”:连通性好的块拿分、藏私的块降级,浪费的算力变成了排序信号。它适合的场景是希望保留工作量证明开放性、又无法接受出块率被传播延迟卡死的资产网络;要盯的风险则集中在参数选择、红块待遇与确认语义三处。读任何 DAG 类公链时值得用同一组问题:并发块怎么排序、无效块怎么定价、确认计数以什么为准。本文只解释共识机制,不构成任何投资建议。
发表评论
还没有评论,来说两句吧。
评论区为展示样式,提交不会被处理。