两分钟的结算确定性:Peras 怎么用投票证书压住回滚概率 图 1
两分钟的结算确定性:Peras 怎么用投票证书压住回滚概率 · 图 1

在概率结算的链上,交易所通常用等多少个区块来表达谨慎:CIP-0140 的原文就举了这个例子,主流中心化交易所在多数常见链上普遍要求至少等五分钟,有的要十五个确认。等待的本质是给回滚概率时间衰减。Cardano 的这份提案 Ouroboros Peras 想把这段等待压缩成两分钟量级:给正常出块叠一层投票,凑齐法定人数票的区块获得权重加持,让被背书区块与其祖先的回滚概率更快地塌下去。提案状态同样是 Proposed,本文只讲机制。

先分清两种结算概率

CIP 在进入协议细节前做了一次概念切分,值得每个用链的人记住。一种是事前概率:我刚提交的这笔交易将来被回滚的可能性有多大——适合没有重提机会的场景,比如一手交钱一手交货的线下交易。另一种是事后概率:交易提交若干秒仍未被回滚,此后被回滚的可能性有多大——适合有基础设施盯着链、可以等窗口结束再行动、被回滚还能重提的场景,比如跨链桥和合伙人链。Peras 优化的正是事后概率:在预定义的等待时长之后,给参与者压倒性的确定性。这个区分决定了一个协议对谁有用,也决定了评估口径不该只盯一个平均确认时间。

投票层怎么搭

协议结构在 CIP 摘要里三句话说完:每轮通过抽签选出一个投票委员会;委员会成员对偏好链历史上的某个区块投票;同一轮内针对同一区块的法定人数票被凝结成一张证书(certificate)。证书通常不在区块里逐条记录——绝大多数证书只在网络里扩散,节点据此调整对各条链的权重评估;只有在冷却期进出边界等关键位置,证书引用才会被写进区块作为存证。对手控制不超过四分之一的质押时,协议提供快速结算;超过这个比例时,协议退回 Praos 式行为,安全性不降级,只是不再快。这种能力叫自适应:快是默认,慢是保险。

示意:证书加持的链权重与冷却期边界

冷却期与自愈

投票不是无条件的信任加速器。当对手阻止投票达到法定人数、或链本身质量恶化时,协议进入冷却期:暂停投票,回到纯 Praos 节奏。CIP 摘要明确写出冷却期离开的三个条件——链愈合、达到链质量(chain quality)、重新满足共同前缀——并且在冷却期进入和退出的位置各记录一次证书引用作为记号。原文还给出了实现代价的清单:需要一个专门的投票扩散层、聚合选票的证书结构、以及区块内容的一处小改动。与靠检查点做最终性的方案相比,Peras 不动区块骨架,只在权重公式里加项;与需要固定轮次的经典 BFT 相比,它保留了 VRF 私有抽签与动态参与的性质。

对使用方意味着什么

第一,两分钟这个数字有严格限定:它描述的是现实参数设置下、事后视角的高置信结算窗口,不是协议给每笔交易签发的不可撤销承诺,实际表现与质押集中度、网络状况相关。第二,投票层不改变账本内容规则,被证书加持的区块和普通常规区块执行同一套账本逻辑,证书只影响分叉世界里的相对权重。第三,对桥和合伙人链这类下游系统,CIP 把 Peras 定位为可以立即受益的用户——它们本就有固定窗口监控回滚的手段,缺的正是短窗口内更高的确定性。第四,证书绝大多数时候不落块,这意味着普通观察者无法像查检查点那样直接在链上数证书,需要部署自己的节点跟踪投票扩散流,或者信任提供这类数据的中间服务——这一点在设计信任边界时经常被忽略。评估此类提案时,状态以 CIP 仓库和实现进度为准,主网部署与参数取值都不在本文假设之内;本文不构成投资建议,也不对未来任何升级的时间表作预测。