Certifying Blockchain Byzantine Fault Tolerance

09/16/2019
by   Pierre Tholoniat, et al.
0

To implement a blockchain, the trend is now to integrate a non-trivial Byzantine fault tolerant consensus algorithm instead of the seminal idea of waiting to receive blocks to decide upon the longest branch. After a decade of existence, blockchains trade now large amounts of valuable assets and a simple disagreement could lead to disastrous losses. Unfortunately, Byzantine consensus solutions used in blockchains are at best proved correct "by hand” as we are not aware of any of them having been certified. In this paper, we propose two contributions: (i) we illustrate the severity of the problem by listing six vulnerabilities of blockchain consensus including two new counter-examples; (ii) we then certify two Byzantine fault tolerant components of Red Belly Blockchain using the ByMC model checker: First, we specify a simple broadcast primitive in 116 lines that is certified in 40 seconds on a 2-core Intel machine and a blockchain consensus algorithm written in 309 lines of code and certified, using MPI, in 17 minutes on a 64-core AMD machine. To conclude, we argue that it has now become both relatively simple and crucial to certify the correctness of blockchain consensus protocols.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/16/2019

Formal Verification of Blockchain Byzantine Fault Tolerance

To implement a blockchain, the trend is now to integrate a non-trivial B...
research
12/31/2018

Evaluating the Red Belly Blockchain

In this paper, we present the most extensive evaluation of blockchain sy...
research
08/03/2021

Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains

Fault tolerance of a blockchain is often characterized by the fraction f...
research
05/18/2022

SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments

Byzantine fault-tolerant agreement (BFT) in a partially synchronous syst...
research
02/26/2019

The Attack of the Clones against Proof-of-Authority

In this paper, we explore vulnerabilities and countermeasures of the rec...
research
05/22/2023

Lessons from HotStuff

This article will take you on a journey to the core of blockchains, thei...
research
06/09/2022

Holistic Verification of Blockchain Consensus

Blockchain has recently attracted the attention of the industry due, in ...

Please sign up or login with your details

Forgot password? Click here to reset