Liveness Checking of the HotStuff Protocol Family

Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou

Byzantine consensus protocols aim at maintaining safety guarantees under any network synchrony model and at providing liveness in partially or fully synchronous networks. However,…