概率最终性和确定性最终性有什么区别？两种“改不了”的规则

结论先说

区块链里“这笔交易改不了了”有两套完全不同的语言。概率最终性说：这个区块被淹没得越深，推翻它需要的算力越多、概率越小，但这个概率永远不是零。确定性最终性说：一旦足够多的验证者按协议规则为它签名，任何推翻行为都会在协议内被直接惩罚，规则上不存在合法的替代历史。比特币的“六个确认”属于前者，多数 BFT 系权益证明链（包括以太坊 Casper FFG 组件提供的最终性）属于后者。两者的风险不是“谁更牢靠”，而是各自在什么假设下失效。

概率最终性：风险随深度衰减

工作量证明链上，区块的最终程度等于“竞争对手追上一条更长链需要多少算力”。诚实算力占绝对多数时，六层确认后的翻盘概率在实际操作中微乎其微；但如果一个持有 majority 算力的一方决定重写最近几个区块，协议本身没有能力阻止，它只需要在私有分支上重新执行交易。所以这类链上所有“到账标准”本质上都是风险定价：确认数是一个各服务方自行设定的阈值，写得再笃定，也只是把长尾风险折算进了等待时间，而不是协议层面的不可撤销承诺。评估方法也因此简单：谁可能愿意为一笔交易付出超过其价值的算力成本？

确定性最终性：规则先惩罚，再谈概率

BFT 型协议反过来：一个区块要收集到超过三分之二投票权的预提交签名才获得最终性，而按协议同时为两个冲突区块投票是密码学可证明的违规行为，会触发罚没。攻击者要制造两条都“已最终化”的历史，得先烧毁巨额质押，这正是最终性保证的经济内容。以太坊实际上运行着混合体：分叉选择规则处理头部的概率性竞争，Casper FFG 最终性组件每隔一段时间把一段历史敲成确定性的。ethereum.org 弱主观性页面（页面自注更新于 2026 年 2 月 26 日）同时给出了这类体系的边界：新上线或长期离线的节点无法单靠自己判断哪条链正确，需要一个近期的检查点作为信任起点；检查点之间的间隔必须小于验证者提取质押所需的时间，否则退出的验证者可能在旧分支上安全地投票，这就是所谓长程攻击被检查点机制中和的原理。

用户视角的四项检查

第一，确认你用的链属于哪一类：有明确“最终化”事件可订阅（如信标链的最终检查点），还是只有不断增长的确认数。第二，看服务方的阈值逻辑：交易所给比特币设确认数、给权益证明链等最终性事件，说明它清楚两套语言不可互换。第三，跨链与轻客户端场景，放行信号应选最终性信号而非链尖，否则重组会把已中继的资产暴露回概率区间。第四，确定性不等于无信任：BFT 链假设验证者集合公开且三分之二诚实，检查点本身要从一个可信来源获取——最终性叙事变了，信任没有被消灭，只是搬家了。

小结

两种最终性回答的是同一个问题：“在什么假设下，历史不会被改写？”概率型把答案押在算力分布上，确定型押在签名规则、罚没参数与检查点同步上。评估任何一条链的“安全”时，先问它用的是哪种语言，再看该语言对应的假设当前是否成立；两类系统都还共享另一个更朴素的前提——绝大多数节点运行的是诚实软件、客户端本身没有后门，这层软件信任与共识层的最终性假设同样需要纳入评估清单。本文只做机制解释，不构成任何投资建议。