参考资料：

Yin M, Malkhi D, Reiter M K, et al. HotStuff: BFT consensus in the lens of blockchain[J]. arXiv preprint arXiv:1803.05069, 2018.
Michael J. Fischer, Nancy A. Lynch, and Mike Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2):374–382, 1985.
实用拜占庭协议（PBFT 99）
HotStuff共识算法详解
25种区块链共识算法全面详解
深入理解异步拜占庭共识

文章目录

分布式系统
Basic HotStuff
- 思路
- 伪代码
- Safety, Liveness, and Complexity
Chained HotStuff
- 思路
- 伪代码
Event-driven HotStuff

分布式系统

在分布式系统里，并发指令（不是并行）的顺序需要被各个处理器所共识。否则，并发指令顺序错乱会导致处理器状态不一致。区块链是一种分布式系统，最根本的就是共识机制，而挖矿功能一点儿也不重要。

分布式系统的共识机制要满足如下两条要求：

安全性（Safety），所有正确的进程都认同同一个值。
活性（Liveness），分布式系统最终会认同某一个值。

区块链的共识机制有很多，著名的有：工作量证明（PoW，竞争计算 Hash 碰撞）、权益证明（PoS，持币量和持币时长）、委任权益证明（DPoS，持币人选举 leader 投票）、拜占庭容错（例如 PBFT）、分布式一致性协议（例如 Raft，无法容忍随机错误）、容量证明（PoC，竞争解决 Memory Hard Function）、烧钱证明（PoBurn，烧毁其他币种）。

HotStuff 是一种使用 BFT SMR（拜占庭容错的状态机复制）共识机制的区块链，它利用区块链的链式特性改进了 PBFT，使得 leader failure 的通信复杂度从 O(n3)O(n^3)O(n3) 降低到了 O(n)O(n)O(n) 的线性复杂度。

不可能定理（FLP 1985）：reaching consensus in full asynchrony with a single process crashing is impossible with a deterministic protocol，从理论上证明了在纯异步环境下不可能存在一种确定性的共识协议。为了绕过这个定理以达成共识，要么加强对网络的假设，要么引入随机源。

通信模型（communication model）：

Synchronous：网络中发出的消息可以在已知的时间 Δ\DeltaΔ 内抵达。
Partially Synchronous：正确进程在未知的 global stabilization time (GST) 之后的某时刻 ttt 发送消息，则消息可以在已知的延迟 Δ\DeltaΔ 内抵达。
Asynchronous：网络仅保证消息最终能抵达，不对到达时间做限制。

通信网络是点对点（point-to-point）、可认证（authenticated）、可靠的（reliable）： one correct replica receives a message from another correct replica if and only if the latter sent that message to the former.

我们说的广播（broadcast）：it involves the broadcaster, if correct, sending the same point-to-point messages to all replicas, including itself.

PBFT 是工作在 partially synchronous 网络上的 BFT SMR，要求 n≥3f+1n \ge 3f+1n≥3f+1，这里 nnn 是状态机数量，fff 是拜占庭错误状态机的数量上界。核心任务是对不断增长的客户指令请求的是否执行以及执行的顺序在所有 correct replica 上达成共识。

Basic HotStuff

思路

HotStuff 的工作环境和目标与 PBFT 一样，但 HotStuff 让状态机维护一颗树（而不是 log 日志）：

视图序号（viewNumber）不断递增，每个 view 上有唯一确定的 leader，任意 replica 都根据 LEADER(viewNumber)LEADER(viewNumber)LEADER(viewNumber) 计算当前 leader
每个 replica 都在本地维护一棵树（a tree of pending commands），每个 node 都恰好对应一个 viewNumber，由对应的 leader 提交一个关于此节点的提案
节点 node 包含：客户的（一批）指令、共识协议的元数据（matedata）、父指针（parent link）
分支 branch 是指，从一个节点 node 根据 parent link 一直返回到 root 的路径
分支 branch 单调增长，并在协议中经过 prepare、pre-commit、commit 三个阶段后被提交
在每个阶段里，leader 需要收集 a quorum of n−fn-fn−f replicas 的投票，来形成 quorum certificate（QC）
HotStuff 使用 (k,n)(k,\, n)(k,n) threshold signature scheme（门限签名），仅当收集到了 ∣I∣=k=2f+1|I| = k=2f+1∣I∣=k=2f+1 个 partial signature ρi←tsigni(m)\rho_i \leftarrow tsign_i(m)ρi←tsigni(m)，才可以组合出合法签名 σ←tcombine(m,{ρi}i∈I)\sigma \leftarrow tcombine(m,\{\rho_i\}_{i \in I})σ←tcombine(m,{ρi}i∈I)，使得它满足 tverify(m,σ)=1tverify(m,\sigma)=1tverify(m,σ)=1

与 PBFT 不同的是，HotStuff 每次结束三阶段，都会切换视图。它的 three phase 如下：

prepare phase：新的 leader 收集 n−fn-fn−f 个 NEW-VIEW 消息，找出其中有最高视图的 prepareQCprepareQCprepareQC，作为自己的 highQChighQChighQC，然后在对应的区块 node 上延长分支 createLEAFcreateLEAFcreateLEAF（叶子上包含客户指令），广播 prepare 消息（包括 leader 自己）以发布提案（Proposal）。各个 replica（包括 leader 自己）根据 safeNodesafeNodesafeNode 谓词，判断是否对此提案投赞同票（仅发消息给 leader）。
pre-commit phase：若 leader 收集到了 n−fn-fn−f 个 prepare votes，那么可以形成 prepareQCprepareQCprepareQC 证书，广播 pre-commit 消息。各个 replica 接收到后（此时可确认大多数 correct replica 赞同延长分支），设置本地状态 prepareQCprepareQCprepareQC，然后投票。
commit phase：若 leader 收集到了 n−fn-fn−f 个 pre-commit votes，那么可以形成 precommitQCprecommitQCprecommitQC 证书，广播 commit 消息。各个 replica 接收到后（此时可确认大多数 correct replica 都已知道“大多数 correct replica 赞同延长分支”这件事），设置本地状态 lockedQClockedQClockedQC，然后投票（同意提交提案）。
decide phase：若 leader 收集到了 n−fn-fn−f 个 commit votes，那么可以形成 commitQCcommitQCcommitQC 证书，广播 decide 消息。各个 replica 接收到后（此时确认大多数 correct replica 都同意提交这个提案，这个分支成为 committed branch），执行叶子上的客户指令。然后，各个 replica 执行视图切换。
nextView interrupt：如果等待超时，那么会执行视图切换中断（interrupt），直接切换视图。向下一视图的 leader 发送 new-view 消息，携带本地的 prepaeQC 以辅助 new leader 识别出当前最高视图的 prepare 区块。

为了达成共识，HotStuff 设置的 safeNode predicate 如下：

Safety rule: the branch of m.nodem.nodem.node extends from the currently locked node lockedQC.nodelockedQC.nodelockedQC.node（正确的 replica 仅认可在本地的已锁定节点的所在分支的链增长，敌手无法使系统共识另一条冲突的链）
Liveness rule: the replica will accept mmm if m.justifym.justifym.justify has a higher view than the current lockedQClockedQClockedQC（正确的 replica 仅接受比本地的已锁定节点的视图更高的证书，敌手无法使系统共识更短的链）

伪代码

一些基本的功能：

三阶段的共识协议：

每当 timer 超时，就会执行 new-view 中断，此时将等待时间翻倍。由于通信系统是部分同步的，因此总会使得等待时间足够长，足以接收到其他 replica 发出的消息。Leader(⋅)Leader(\cdot)Leader(⋅) 是任意的确定性算法，只要保证全部的 replica 都可以轮转成为 next leader。

Safety, Liveness, and Complexity

我们说两个 branch 是冲突的（conflicting），如果两者都不是对方的扩展（neither one is an extension of the other）。我们说两个 node 是冲突的，如果它们引导的 branch 是冲突的。

分布式系统中的 nnn 个 replica 各自维护本地的树，其中的 n−f=2f+1n-f=2f+1n−f=2f+1 个 correct replica 维护着基本相同（除了最后的若干格区块）的树。在三阶段协议中，correct replica 仅对存在于本地树上的拥有最高视图序号的 prepareQCprepareQCprepareQC 证书的节点的后继分支上的安全的叶子投赞同票。

Safety：
- 对于任意有效的 qc1,qc2qc_1,\, qc_2qc1,qc2，其中 qc1.type=qc2.typeqc_1.type = qc_2.typeqc1.type=qc2.type，并且 qc1.modeqc_1.modeqc1.mode 和 qc2.nodeqc_2.nodeqc2.node 冲突，那么必然有 qc1.viewNumber≠qc2.viewNumberqc_1.viewNumber \neq qc_2.viewNumberqc1.viewNumber=qc2.viewNumber
- 如果 w,bw,\, bw,b 是冲突的节点，那么在任何的 correct replica 上，它们不会被同时 commit
Liveness：
- 如果一个 correct replica 锁定在了 lockedQC=precommitQClockedQC = precommitQClockedQC=precommitQC 上，那么至少有 f+1f+1f+1 个 correct replica 对匹配 lockedQClockedQClockedQC 的一些 prepareQCprepareQCprepareQC 投了赞同票
- 在 GST 后，存在一个有界时间段（bounded time period）TfT_fTf，使得：如果所有的 correct replica 在时间段 TfT_fTf 中，都同时停留在视图 vvv 里，并且视图 vvv 的 leader 是正确的，那么将会达成 decision
- The protocol is Optimistically Responsive（最优响应性）
Complexity：
- 在 HotStuff 协议中，身份认证是最耗时的，replica 在每次投票时都需要附加上自己的签名。在每个阶段，需要 O(n)O(n)O(n) 次签名。
- 协议一共有常数阶段，因此总的复杂度为 O(n)O(n)O(n)

Chained HotStuff

思路

观察到 Basic HotStuff 中各个阶段的消息都十分相似。作者提出了链式的协议，在每个 prepare phase 都切换视图，从而每个提案都对应唯一属于自己的视图。这减少了消息类型，同时可以流水化作业。

在 Chained HotStuff 中，使用 genericQCgenericQCgenericQC 取代所有的其他证书，各个阶段度被 generic-phase 取代。因此，只需要两种类型的消息：new-view 消息、generic 消息。

在视图 vvv 上的 generic-phase，它对应于 Basic Hotstuff 里的：

视图 vvv 上提案的 prepare 阶段，genericQCgenericQCgenericQC 是其 highQChighQChighQC
视图 v−1v-1v−1 上提案的 pre-commit 阶段，genericQCgenericQCgenericQC 是其 prepareQCprepareQCprepareQC
视图 v−2v-2v−2 上提案的 commitcommitcommit 阶段，genericQCgenericQCgenericQC 是其 lockedQClockedQClockedQC
视图 v−3v-3v−3 上提案的 decide 阶段，genericQCgenericQCgenericQC 是其 commitQCcommitQCcommitQC

在 Chained HotStuff 中，节点 bbb 的高度被设置为对应提案的视图序号 vvv，它的 parent 是视图 v−1v-1v−1 的节点。如果视图 vvv 上的 leader 没能收集出 genericQCgenericQCgenericQC（提交的提案不安全、leader 崩溃、通信延迟），那么这个节点就成为了哑结点（Dummy nodes），使得 b.justify.node≠b.parentb.justify.node \neq b.parentb.justify.node=b.parent，也就是 prepareQCprepareQCprepareQC 并不指向它的 parent 节点。

上图中，b∗.justify.node=b∗.parent=b′′b^*.justify.node = b^*.parent = b''b∗.justify.node=b∗.parent=b′′，我们说 b∗b^*b∗ 形成了 One-Chain，此时要更新本地状态 genericQC←b∗.justifygenericQC \leftarrow b^*.justifygenericQC←b∗.justify（因为 b∗.justifyb^*.justifyb∗.justify 是节点 b′′b''b′′ 的提案的 prepareQCprepareQCprepareQC）

同时，b′′.justify.node=b′′.parent=b′b''.justify.node = b''.parent = b'b′′.justify.node=b′′.parent=b′，我们说 b∗b^*b∗ 形成了 Two-Chain，此时要更新本地状态 lockedQC←b′′.justifylockedQC \leftarrow b''.justifylockedQC←b′′.justify（因为 b′′.justifyb''.justifyb′′.justify 是节点 b′b'b′ 的提案的 precommitQCprecommitQCprecommitQC）

而且，b′.justify.node=b′.parent=bb'.justify.node = b'.parent = bb′.justify.node=b′.parent=b，我们说 b∗b^*b∗ 形成了 Three-Chain，此时要执行客户指令 b.cmdb.cmdb.cmd（因为 b′.justifyb'.justifyb′.justify 是节点 bbb 的提案的 commitQCcommitQCcommitQC）

伪代码

Event-driven HotStuff

文章中还将 Chained HotStuff 转化为了 event-driven-style（事件驱动风格）。就是添加了一个起搏器（Pacemaker），代替 next leader 在 generic phase 的最后等待和收集 genricQCgenricQCgenricQC

我没细看，但它不会单点失败么？比如起搏器 crash fault 了（非拜占庭错误），或者成为 corrupt 节点（随机错误）。

HotStuff：基于高效 BFT-SMR 共识的区块链相关推荐

直播预告 | 共识、区块链和全球一体化经济
大家好,又到了一周一期的[区块链技术公开课100讲]系列线上直播课啦. 作为国内最优质的区块链技术社区,一块链习已经先后邀请到Celer Network 创始人董沫.开源山寨币矿池 Gpool Cof ...
视频教程-区块链基础：共识算法-区块链
区块链基础:共识算法多年互联网从业经验: 有丰富的的企业网站.手游.APP开发经验: 曾担任上海益盟软件技术股份有限公司项目经理及产品经理: 参与项目有益盟私募工厂.睿妙影音家庭物联网设备.手游东方 ...
视频教程-区块链算法—共识算法-区块链
区块链算法-共识算法工科硕士,持有高校计算机教师资格证书,从事计算机科学少儿分级体系课程的教研与教学工作,先后开设计算思维.Scratch.Python等少儿编程课等. Gardener ¥498. ...
AIBlockChain：“知名博主独家讲授”人工智能创新应用竞赛【精选实战作品】之《基于计算机视觉、自然语言处理、区块链和爬虫技术的智能会议系统》软件系统案例的界面简介、功能介绍分享之二、会中智能
AI&BlockChain:"知名博主独家讲授"人工智能创新应用竞赛[精选实战作品]之<基于计算机视觉.自然语言处理.区块链和爬虫技术的智能会议系统>软件系统案 ...
AIBlockChain：“知名博主独家讲授”人工智能创新应用竞赛【精选实战作品】之《基于计算机视觉、自然语言处理、区块链和爬虫技术的智能会议系统》软件系统案例的界面简介、功能介绍分享之一、会前智能
AI&BlockChain:"知名博主独家讲授"人工智能创新应用竞赛[精选实战作品]之<基于计算机视觉.自然语言处理.区块链和爬虫技术的智能会议系统>软件系统案 ...
AIBlockChain：“知名博主独家讲授”人工智能创新应用竞赛【精选实战作品】之《基于计算机视觉、自然语言处理、区块链和爬虫技术的智能会议系统》软件系统案例的界面简介、功能介绍分享之总篇
AI&BlockChain:"知名博主独家讲授"人工智能创新应用竞赛[精选实战作品]之<基于计算机视觉.自然语言处理.区块链和爬虫技术的智能会议系统>软件系统案 ...
AIBlockChain：“知名博主独家讲授”人工智能创新应用竞赛【精选实战作品】之《基于计算机视觉、自然语言处理、区块链和爬虫技术的智能会议系统》软件系统案例的界面简介、功能介绍分享之四、数据挖掘
AI&BlockChain:"知名博主独家讲授"人工智能创新应用竞赛[精选实战作品]之<基于计算机视觉.自然语言处理.区块链和爬虫技术的智能会议系统>软件系统案 ...
从VAS公链上线看区块链共识与区块链技术发展
最近整个币圈链圈销圈盘圈从10月下旬开始一直被一个来自暗网的项目VAS刷屏,开始对这个项目并未在意,认为只是一个模式币而已,11月1日VAS官网上线暗网,各种消息开始满天飞,各种打call,到处都是首 ...
共识机制-区块链核心技术之一
id:BSN_2021 公众号:BSN研习社区块链是一种多项计算机技术的集成融合创新.在这众多来源中,最重要的一个是共识机制技术. 共识机制就是所有记账节点之间怎么达成共识,去认定一个记录的有效性, ...

HotStuff：基于高效 BFT-SMR 共识的区块链