IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks

09/23/2019
by   Roberto Saltini, et al.
0

In this work, we present IBFT 2.0 (Istanbul BFT 2.0), which is a Proof-of-Authority (PoA) Byzantine-fault-tolerant (BFT) blockchain consensus protocols that (i) ensures immediate finality, (ii) is robust in an eventually synchronous network model and (iii) features a dynamic validator set. IBFT 2.0, as the name suggests, builds upon the IBFT blockchain consensus protocol retaining all of the original features while addressing the safety and liveness limitations described in one of our previous works. In this paper, we present a high-level description of the IBFT 2.0 protocol and related robustness proof. Formal specification of the protocol and related formal proofs will be subject of a separate body of work. We also envision a separate work that will provide detailed implementation specifications for IBFT 2.0.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/22/2019

Correctness Analysis of IBFT

In this paper we analyse the correctness of Istanbul BFT (IBFT), which i...
research
07/03/2020

GRANDPA: a Byzantine Finality Gadget

Classic Byzantine fault-tolerant consensus protocols forfeit liveness in...
research
01/31/2020

Tenderbake – Classical BFT Style Consensus for Public Blockchains

Our work has been originally motivated by Tezos, a public blockchain whi...
research
09/03/2019

A Generic Sharding Scheme for Blockchain Protocols

This thesis introduces a formal general framework for scaling blockchain...
research
07/30/2019

Blockguard: Adaptive Blockchain Security

We consider the problem of varying the security of blockchain transactio...
research
05/22/2018

Correctness and Fairness of Tendermint-core Blockchains

Tendermint-core blockchains offer strong consistency (no forks) in an op...
research
09/20/2020

A General Framework for the Security Analysis of Blockchain Protocols

Blockchain protocols differ in fundamental ways, including the mechanics...

Please sign up or login with your details

Forgot password? Click here to reset