Cryptoeconomic Security for Data Availability Committees

by   Ertem Nusret Tas, et al.

Layer 2 systems have received increasing attention due to their potential to scale the throughput of L1 blockchains. To avoid the cost of putting data on chain, these systems increasingly turn to off-chain data availability solutions such as data availability commitees (DACs). However, placing trust on DACs conflicts with the goal of obtaining an L2 architecture whose security relies solely on the L1 chain. To eliminate such trust assumptions, we propose a DAC protocol that provides financial incentives to deter the DAC nodes from adversarial behavior. We then analyze the interaction of rational DAC nodes and clients as a dynamic game, with a Byzantine adversary that can corrupt and bribe the participants. We also define a notion of optimality for the DAC protocols, inspired by fairness and economic feasibility. Our main result shows that our protocol is optimal and guarantees security with the highest possible probability under reasonable assumptions on the adversary.


page 1

page 2

page 3

page 4


PoSAT: Proof-of-Work Availability andUnpredictability, without the Work

An important feature of Proof-of-Work (PoW) blockchains is full dynamic ...

The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets

Byzantine fault tolerant (BFT) consensus protocols are traditionally dev...

Rational Threshold Cryptosystems

We propose a framework for threshold cryptosystems under a permissionles...

TaiJi: Longest Chain Availability with BFT Fast Confirmation

Most state machine replication protocols are either based on the 40-year...

Enhancing Security via Deliberate Unpredictability of Solutions in Optimisation

The main aim of decision support systems is to find solutions that satis...

Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities

Light clients, also known as Simple Payment Verification (SPV) clients, ...

VAPOR: a Value-Centric Blockchain that is Scale-out, Decentralized, and Flexible by Design

Blockchains are a special type of distributed systems operating in unsaf...