2019/01/22 by Roberto Saltini, Saltini, Roberto, Hyland-Wood, David · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.1901.07160
openalex publication_date 2019/01/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we analyse the correctness of Istanbul BFT (IBFT), which is a Byzantine-fault-tolerant (BFT) proof-of-authority (PoA) blockchain consensus protocol that ensures immediate finality. We show that the IBFT protocol does not guarantee Byzantine-fault-tolerant consistency and liveness when operating in an eventually synchronous network, and we propose modifications to the protocol to ensure both Byzantine-fault-tolerant consistency and liveness in eventually synchronous settings.