Lesson 4 — HotStuff and HyperBFT — the single-leader BFT family