Plug for my work: if you're interested in BFT consensus protocols, look at "Simplex Consensus."
Website: https://simplex.blog