Casper Highway Protocol

In the previous post on Casper CBC, we saw the foundation of a consensus protocol framework of “correct-by-construction” consensus protocols that each shared the same proof of Byzantine-fault-tolerant consensus safety, allowing refinements and improvements without needing to re-prove safety each time. The issue of liveness was not addressed however. The development of the Casper Highway Protocol by CasperLabs provided Strong…