image4 Published July 12, 2019 at 1745 × 146 in On LibraBFT’s use of broadcasts ← Previous Next → LibraBFT’s liveness theorem