Hotstuff
Resources
Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta, and Ittai Abraham
Cornell University, VMware Research, UNC-Chapel Hill
Overview
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 all the honest replicas
However, the first$ n - fmessages does not always include all the honest replicas
Therefore, we must wait until the network delay upper bound$ \Deltato hear from all the honest replicas
LibraBFT