PBFT算法流程

最新推荐文章于 2022-12-30 17:22:22 发布

社小雪

最新推荐文章于 2022-12-30 17:22:22 发布

阅读量1.2k

点赞数

文章标签：算法分布式数据库 python java

本文链接：https://blog.csdn.net/qq_40965639/article/details/116731742

版权

转载原址：https://my.oschina.net/u/3620978/blog/3142775

1. 系统模型

本部分介绍PBFT算法运行的系统模型。

1.1 网络

PBFT工作在异步的分布式系统中，系统中各个节点彼此通过网络连接。系统运行时，消息的传递允许出现下列情形：不能正确发送、延迟、重复、乱序

1.2 拜占庭错误节点

系统允许错误节点也就是拜占庭节点表现出任意行为，但是需要附加一个限定条件：节点失效彼此应相互独立，从而大部分或全部节点不会同时失效。
在有恶意攻击存在的情况下，可以采取类似于下列措施来保证这个限制的成立：各节点运行的服务程序和操作系统的版本尽可能多样化；各节点的管理员帐号和密码不同。

1.3 消息加密属性

1.3.1 使用加密技术的目的

防止身份欺骗、重播攻击；监测错误消息

1.3.2 具体使用的加密技术

公钥签名：用于验证消息发送者身份，PBFT中，实际上只用于view-change和new-view消息，以及出现错误的情况。其他消息都采用下面将会提到的MAC(消息认证码)进行认证。这是算法设计中提出的一种优化措施，用于提升算法性能。MAC：即消息认证码，用于算法正常操作流程中的消息认证消息摘要：用于检测错误消息

1.4 敌手特性

算法限定敌手(adversary)可以：串通拜占庭节点；延迟通信或正常节点。
同时，敌手不可以：无限延迟正常节点的通信；伪造正常节点签名；从消息摘要反推原始消息；让不同消息产生相同摘要。

2. 服务属性

本部分介绍运行PBFT算法的系统的服务属性。

2.1 关于副本复制服务

PBFT算法可用于实现确定性的副本复制服务(Replicated service)。副本复制服务拥有状态(state)和操作(operation)。
客户端(client)向服务发起请求，以执行操作，并等待响应。
服务由 n个节点组成。操作可以执行任何计算，只要这些计算始终产生确定性的结果。
节点和客户端如果遵循算法的预定步骤执行操作，则被称为正常节点或客户端。

2.2 关于Safety和Liveness

只要系统中失效节点的个数不超过容错数，系统就能提供safety和liveness。

2.2.1 Safety

Safety的提供，是系统能保证客户端请求的线性一致性(linearizability)，即请求按顺序一次一条地被执行。
PBFT相对于之前的算法如Rampart等的一个显著的不同在于，其Safety不依赖于同步假设。
算法不需限定客户端一定是正常的，允许其发送不合法的请求，原因是各正常节点可以一致性地监测客户端请求的各种操作。并且算法可以通过权限控制的方式对客户端进行限制。

2.2.2 Liveness

由于算法不依赖于同步提供 Safety，因此必须通过同步假设来提供 Liveness。
这里的同步假设是，客户端的请求最终总能在有限的时间内被系统接收到。
客户端可能会通过多次重传的方式，发送请求到服务，确保其被服务接收到。
PBFT所依赖的同步假设其实是比较弱的假设，原因是在真实的系统中，网络错误最终总可以修复。

2.3 关于算法弹性

PBFT的算法弹性(resiliency)是最优的：假定系统中失效节点最大个数为f，则系统最少只需要 3f+1 个节点就可以保证Safety和Liveness。

简单证明：
考虑到最不理想的情况，系统有最大数量的失效节点，即f个。(总节点数为n) 客户端此时可以接收到的回复个数最坏情况是 n-f，因为失效节点可能都不会回复。但是，由于网络等原因，客户端接收到的 n-f 个请求中，实际上有可能包含有失效节点的回复(有可能是错误的)，而另外一些正常节点的回复还未及时收到。这其中，最坏的情况是，n-f个结果中，有f个是失效节点发送的。按照PBFT算法的定义，客户端需要收到 f+1 个相同的回复，才被当作是正确的结果。因此 n-f 个结果中，出去f个失效节点的结果，即 n-f-f = n-2f 至少要是f+1, 即 n-2f = f+1，也就是说 n=3f+1是最少需要的节点数量。