IBFT Liveness Analysis
Roberto Saltini · 2019
Istanbul Byzantine Fault Tolerance (IBFT) is one of a family of proof-of-authority (PoA) blockchain consensus protocols designed to ensure immediate finality. We partially analyse the correctness of IBFT and show that the protocol does not guarantee Byzantine-fault-tolerant liveness when operating on a partially synchronous network.