HotStuff: BFT Consensus in the Lens of Blockchain
Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta, and Ittai Abraham
Cornell University, VMware Research, UNC-Chapel Hill
BFT in Lens of Blockchain Ted Yin
Dahlia's blog posts:
What is the difference between PBFT, Tendermint, SBFT and HotStuff?
by Ittai Abraham
HotStuff, a new protocol whose proposer incurs linear communication complexity (Linearity), and does not need to wait the maximal network delay (Optimistic Responsiveness).
A casting DLS, PBFT, Tendermint, Casper and HotStuff in the same framework.
Model checking by SPIN
View-change VS Tendermint
Tendermint does not need "view-change" if the previous round succeeded
However, without "wait-for-∆", network failure or malicious leader can lock some validator slightly before the timout
Point: We cannot guarantee the existence of a set of
$ 2f + 1
validators (which intersects with the honest validator set) that keep the newly ceritified block as its view candidate
This figure is originally from
In Chained-Hotstuff, replicas send votes to the
Leader, and the leader includes QC on in proposal
Message complexity becomes
(authenticator complexity is still
State Machine Replication in the Libra Blockchain
Flexible Byzantine Fault Tolerance