共识协议共识算法分类

Posted 2022-02-14 thefist11

1. 分类

1.1 概率性共识（弱一致性）

区块数据以一定概率达成一致, 随着时间推移概率逐渐提高, 不能保证区块数据将来不可更改, eg, 比特币

• 持久性(persistence)
  衡量区块链数据的一致性. 如果某区块在节点的本地区块链中拥有k个区块的深度, 该区块在其他节点的本地区块链中(极大概率)也拥有k个区块的深度.由于网络传播等限制, 各个节点的本地区块链可能暂时不一致, 但k个区块之前的数据(极大概率)是一致的.

• 活性(liveness)
  衡量系统可用性.活性指诚实节点发起的交易最终被打包进节点区块链中, 并满足持久性.（可以接受并且执行非拜占庭客户端的请求，不会被任何因素影响而导致非拜占庭客户端的请求不能执行）

1.2 确定性共识（强一致性）

概率性共识中确定性共识中一旦区块数据达成一致便不可更改.

• 安全性safety
  衡量区块链数据的一致性，即各节点在同一高度拥有相同区块.

• 活性

2. 3种网络模型

• 同步模型（Synchronous Model）
  消息总是在发送后的某个时间 T 内传递，所有参与者都知道这一点。
• 部分异步模型（Partial Asynchronous Model）
  网络当中传送的消息的延迟小于某一个值，即消息一定能够在某个确定的时间之后传送到，但是这个值分布式节点不知道
• 异步模型（Asynchronous Model）
  信息传送的时间可以无限大，消息最终被传递。