很多人一提"最终性"，脑子里想的都是"过了多少个块就不能改了"，一刀切的概念。看完Dusk的rolling finality设计，发现这个想法太粗糙了。

它把区块状态拆成四档：accepted、attested、confirmed、final，一层层往上爬，不是非黑即白。低轮次的区块如果没能凑够"失败证明"，是可以被后面的区块替换掉的，但随着确认区块越叠越多,分叉概率呈指数级下降，最后锁进不可逆的final状态。这套设计本质是把"要多久才能放心"这件事量化成了一条曲线，而不是一个固定数字。

我比较在意的是它怎么防止投机——比如有人故意让自己那轮流拍，等着捡后面轮次的出块奖励。协议里专门设计了投票奖励、额外积分、剔除下一轮出块资格这几层反制，外加迭代次数上限，等于把博弈论层面的漏洞一个个堵上，而不是简单靠罚没了事。

不过越往细节看越犯嘀咕：这套机制建立在委员会规模足够大、网络通信足够快的前提上。如果哪天网络分区、消息传播延迟拉长，"确认区块快速累积"这个假设本身会不会先垮掉？秒级最终性和极端网络条件下的鲁棒性，这俩到底能不能兼得，我目前没看到让我完全放心的答案。

@Dusk_Foundation #dusk $DUSK