再读PBFT算法

本文深入探讨PBFT共识算法,解释为什么节点数需要满足3f+1的条件,并详细解析PBFT的共识协议、checkpoint协议和viewchange协议,阐述在实际工程中的应用和重要性。
摘要由CSDN通过智能技术生成

背景

从事区块链相关研发几年了,共识这一块接触过pbft\kafka\raft,当然还有最经典的比特币的工作量证明,这个在上一篇比特币原理一文有讲述。对pbft一开始从fabric0.6开始,论文也看了几遍,后来共识换成了kafka\raft。pbft就没有继续研究下去,最近接触一个区块链底层平台,采用pbft。因此这里又把论文读了一遍,总结一下心得体会,对一些比较难理解的地方进行梳理。

PBFT算法

为什么是3f+1?

关于分布式系统里能够容拜占庭错误的节点数n>3f+1,这个结论早在1982年图灵奖得主lamport《The Byzantine Generals Problem》已经证明过:当将军总数大于3f时,叛徒数小于等于f时,忠诚将军能够达成一致,其算法复杂度为指数O(n^(f+1))。

图灵奖得主Barbara Liskov和其学生Miguel Castro在1999年发表的论文《Practical Byzantine Fault Tolerance》中首次提出pbft算法,该算法容错数量也满足3f+1<=n,算法复杂度为O(n^2)让容拜占庭错误的共识算法可用于工程实践。

下面是自己的一些理解及简单证明,至于详细的证明论述可以参考Lamport论文。例如A、B、C三位将军,忠诚将军应该执行进攻命令;A是叛徒,向B发送撤退指令,向C发送进攻指令。这时对于B将军来讲,他分不清A是叛徒还是C是叛徒。

证明

设总结点数为N,作恶的拜占庭节点数为 f,法定人数为Q。

  • 要满足live

  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值