Embedding a Deterministic BFT Protocol in a Block DAG

02/18/2021
by   Maria A. Schett, et al.
0

This work formalizes the structure and protocols underlying recent distributed systems leveraging block DAGs, which are essentially encoding Lamport's happened-before relations between blocks, as their core network primitives. We then present an embedding of any deterministic Byzantine fault tolerant protocol 𝒫 to employ a block DAG for interpreting interactions between servers. Our main theorem proves that this embedding maintains all safety and liveness properties of 𝒫. Technically, our theorem is based on the insight that a block DAG merely acts as an efficient reliable point-to-point channel between instances of P while also using 𝒫 for efficient message compression.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/11/2021

Strengthened Fault Tolerance in Byzantine Fault Tolerant Replication

Byzantine fault tolerant (BFT) state machine replication (SMR) is an imp...
10/26/2020

The Checkpointed Longest Chain: User-dependent Adaptivity and Finality

Longest-chain protocols such as the one invented by Nakamoto for Bitcoin...
08/05/2019

The fault-tolerant cluster-sending problem

The development of fault-tolerant distributed systems that can tolerate ...
03/07/2022

Simulating Authenticated Broadcast in Networks of Bounded Degree

The authenticated broadcast is simulated in the bounded-degree networks ...
02/04/2022

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance

Traditional Byzantine Fault Tolerance (BFT) state machine replication pr...
07/11/2019

StakeCube: Combining Sharding and Proof-of-Stake to build Fork-free Secure Permissionless Distributed Ledgers

Our work focuses on the design of a scalable permissionless blockchain i...
04/22/2020

Twins: White-Glove Approach for BFT Testing

Byzantine Fault Tolerant (BFT) systems have seen extensive study for mor...