Liveness checking of Streamlined Blockchain Consensus

Byzantine consensus protocols are designed to build resilient systems to achieve consensus under Byzantine settings, maintaining safety guarantees under any network synchrony model and providing liveness in partially or fully synchronous networks.<br/>However, several Byzantine consensus protocols have been shown to violate liveness properties...