Interesting discussion on BFT protocols

My collaborator (Haoyun Qin) and I have a series of interesting discussions on several BFT protocols, covering their subtle details. These interpretations are recorded here: PBFT, Zyzzyva, … Kudos to Haoyun!