Correctness Analysis of IBFT

Abstract

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.

Cited by in corpus (5)

• The Istanbul BFT Consensus Algorithm
• IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks
• Efficient Cross-Shard Transaction Execution in Sharded Blockchains
• THEMIS: Decentralized and Trustless Ad Platform with Reporting Integrity
• THEMIS: A Decentralized Privacy-Preserving Ad Platform with Reporting Integrity