Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Notes
- This paper has two SMR Protocols: one bounded synchronous protocol and another one in the mobile sluggish fault model
- It uses the standard safety-liveness definition.
- This protocol assumes a static adversary.
- This protocol is the mobile sluggish variant of the protocol.
References
Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, and Maofan Yin. 2020. “Sync HotStuff: Simple and Practical Synchronous State Machine Replication.” https://ieeexplore.ieee.org/document/9152792/.