要解决的是什么问题
一条权益证明链如果每秒都在出块,用户对”这笔交易还会不会被撤销”的判断就很尴尬:等太久没有意义,不等又可能被重组。经典最长链规则靠累计权重慢慢拉开差距,确认时间随要求的安全性线性增长;两两投票的 BFT 类共识能敲定,但每轮通信和轮次开销对高频出块的链太重。NEAR 在 2019 年末发表的 Doomslug 论文给出的答案是:把”最终性”拆成两层,一层用最小的通信代价快速给出实用结论,另一层用完整 BFT 投票补上强保证。按 NEAR 官方博客《Doomslug 与其他共识的最终性对比》的表述,实用最终性(doomslug finality)的含义是:区块不可撤销,除非至少一个参与人被罚没。
背书与跳过:机制怎么转
NEAR 的出块人按排班轮流出块。高度 h 的区块被收到后,验证者们不再广播专门的投票轮,而是把背书消息直接发给被指派出 h+1 区块的人;这些背书会被打包进下一个区块。如果超过约定时限,h+1 还没出块,发过背书的人就转而对 h+2 的出块人发出跳过建议,表明”我们建议跳过 h+1”。这样即使有出块人不作为,链也不会停摆:论文给出的活性论证是,无论网络多慢、消息怎么延迟,包含过半出块人背书的区块总会在某个高度出现。
安全性押在背书规则上:一个出块人如果给同一高度的两个不同区块背书,就构成可判定的协议违规。于是”含高度 h 过半背书的区块”满足:想撤销高度 h,必须找到至少一个已经签过两个冲突区块的出块人并罚没其质押,否则任何竞争历史都无法同时携带那半数的有效背书。
两层最终性怎么配合
光有”被罚没才可调转”对跨链桥还不够,NEAR 再叠一层最终性组件:按官方对比博客的说明,第二轮投票补上完整 BFT 最终性,撤销代价是罚没至少三分之一的总质押。博客给出的典型链式情形是:当 h+1 出块、高度 h 具备 doomslug 最终性时,h-1 就拿到了完整 BFT 最终性。两层的安全性质都不假设网络快慢——Doomslug 与最终性组件的安全性都在异步网络假设下成立,网络状况只影响推进速度,不影响”两个冲突历史同时安全”的可能性。
接入方该怎么理解
对应用而言,这意味着要区分”被包含""接近最终""已最终”三档状态:交易进块只是第一步,其派生的跨分片回执还要在后续区块里继续执行,多合约调用链的最终确认可能比单个区块再多等若干个块。开发侧通常建议:展示余额和状态可以用较低档,动钱、发凭证、跨桥则等 BFT 最终档,并处理回执部分失败的情形。这些分档语义以 NEAR 官方文档对交易状态与最终性的描述为准。
与其他方案的取舍
和以太坊以检查点为界的路线相比,Doomslug 把快速最终性做进了出块路径本身:背书搭便车随区块传播,不额外增加一轮全网广播,代价是快速层只给”罚没条件式”保证,强保证仍要等下一层投票。与纯 BFT 相比,它容忍出块人不作为而不进入视图切换,代价是最终性不再由单一投票轮一锤定音。阅读任何”几秒最终”的表述时,都应当追问这个数字对应的是哪一层保证——实用最终、BFT 最终,还是仅仅进了块。
边界与风险
Doomslug 不改变质押集中度带来的信任结构:背书门槛是”过半出块人”,如果排班里 Stake 高度集中,撤销所需的合谋集合也相应变小;跳过机制保证的是协议不停摆,不保证指定出块人不被审查时交易立刻被包含。任何涉及资产的场景都应核对质押分布、罚没参数与自身业务的重组暴露窗口,本文机制描述以 NEAR 官方论文与文档为准。本文不构成任何投资建议。
发表评论
还没有评论,来说两句吧。
评论区为展示样式,提交不会被处理。