image2 Published July 12, 2019 at 1874 × 89 in On LibraBFT’s use of broadcasts ← Previous Next → HotStuff’s liveness theorem