Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma

09/10/2020
by   Joachim Neu, et al.
0

The CAP theorem says that no blockchain can be live under dynamic participation and safe under temporary network partitions. To resolve this availability-finality dilemma, we formulate a new class of flexible consensus protocols, ebb-and-flow protocols, which support a full dynamically available ledger in conjunction with a finalized prefix ledger. The finalized ledger falls behind the full ledger when the network partitions but catches up when the network heals. Gasper, the current candidate protocol for Ethereum 2.0's beacon chain, combines the finality gadget Casper FFG with the LMD GHOST fork choice rule and aims to achieve this property. However, we discovered an attack in the standard synchronous network model, highlighting a general difficulty with existing finality-gadget-based designs. We present a construction of provably secure ebb-and-flow protocols with optimal resilience. Nodes run an off-the-shelf dynamically available protocol, take snapshots of the growing available ledger, and input them into a separate off-the-shelf BFT protocol to finalize a prefix. We explore connections with flexible BFT and improve upon the state-of-the-art for that problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/20/2020

Snap-and-Chat Protocols: System Aspects

The availability-finality dilemma says that blockchain protocols cannot ...
research
02/24/2023

A Simple Single Slot Finality Protocol For Ethereum

The implemented consensus protocol of Ethereum, Gasper, has an hybrid de...
research
10/23/2019

On decentralized oracles for data availability

Nakamoto consensus, the protocol underlying Bitcoin, has the potential t...
research
05/13/2021

The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets

Byzantine fault tolerant (BFT) consensus protocols are traditionally dev...
research
02/22/2023

Recent Latest Message Driven GHOST: Balancing Dynamic Availability With Asynchrony Resilience

Dynamic participation has recently become a key requirement to devise pe...
research
09/11/2023

Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols

Dynamically available total-order broadcast (TOB) protocols are essentia...
research
08/09/2023

Optimal Flexible Consensus and its Application to Ethereum

Classic BFT consensus protocols guarantee safety and liveness for all cl...

Please sign up or login with your details

Forgot password? Click here to reset