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
Background: View-change in partially sync BFT
For liveness, the leader must hear from
the honest replicas
However, the first
$ n - f
messages does not always include all the honest replicas
Therefore, we must wait until the network delay upper bound
to hear from all the honest replicas