Overview
Syllabus
Intro
BFT State Machine Replication: Why?
BFT State Machine Replication: Definition
Model & Known Solutions Deterministic termination + "Probability of 1"
Nakamoto Consensus '08
BFT Consensus: Why Another Protocol?
HotStuff '19 (Partially Sync Protocol)
BFT Consensus: Why Synchronous?
Sync Hot Stuff: Contributions
Sync HotStuff: Practical Performance
Sync HotStuff: Data Structure
Sync HotStuff: Quorum Certificate (QC) Proof of the existence of f+1 votes
Votes, QCs and Blocks
Sync HotStuff: Steady State Protocol
Sync HotStuff: View Change Protocol
Taught by
IEEE Symposium on Security and Privacy