An Analysis of Blockchain Consistency in Asynchronous Networks: Deriving a Neat Bound

09/14/2019
by   Jun Zhao, et al.
0

Formal analyses of blockchain protocols have received much attention recently. Consistency results of Nakamoto's blockchain protocol are often expressed in a quantity c, which denotes the expected number of network delays before some block is mined. With μ (resp., ν) denoting the fraction of computational power controlled by benign miners (resp., the adversary), where μ + ν = 1, we prove for the first time that to ensure the consistency property of Nakamoto's blockchain protocol in an asynchronous network, it suffices to have c to be just slightly greater than 2μ/ln (μ/ν). Such a result is both neater and stronger than existing ones. In the proof, we formulate novel Markov chains which characterize the numbers of mined blocks in different rounds.

READ FULL TEXT

page 4

page 5

page 7

page 9

page 10

page 11

page 12

page 13

research
05/08/2020

Deterministic Blockchain BFT Protocol XP for Complete Asynchronous Networks

Ethereum Research team has proposed a family of Casper blockchain consen...
research
07/11/2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq

The Algorand blockchain is a secure and decentralized public ledger base...
research
01/15/2020

Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders

We improve the fundamental security threshold of Proof-of-Stake (PoS) bl...
research
02/09/2020

Network-Agnostic State Machine Replication

We study the problem of state machine replication (SMR) – the underlying...
research
07/22/2021

Improving Blockchain Consistency by Assigning Weights to Random Blocks

Blockchains based on the celebrated Nakamoto consensus protocol have sho...
research
03/21/2019

Impact of network delays on Hyperledger Fabric

Blockchain has become one of the most attractive technologies for applic...
research
10/25/2021

Formal Guarantees of Timely Progress for Distributed Knowledge Propagation

Autonomous air traffic management (ATM) operations for urban air mobilit...

Please sign up or login with your details

Forgot password? Click here to reset