Table of Contents
Fetching ...

On the Viability of Open-Source Financial Rails: Economic Security of Permissionless Consensus

Jacob D. Leshno, Elaine Shi, Rafael Pass

TL;DR

This work constructs a protocol that guarantees economic security and preserves Bitcoin's permissionless design, and formalizes the role of the protocol's user community.

Abstract

Bitcoin demonstrated the possibility of a financial ledger that operates without the need for a trusted central authority. However, concerns persist regarding its security and considerable energy consumption. We assess the consensus protocols that underpin Bitcoin's functionality, questioning whether they can ensure economically meaningful security while maintaining a permissionless design that allows free entry of operators. We answer this affirmatively by constructing a protocol that guarantees economic security and preserves Bitcoin's permissionless design. This protocol's security does not depend on monetary payments to miners or immense electricity consumption, which our analysis suggests are ineffective. Our framework integrates economic theory with distributed systems theory, and formalizes the role of the protocol's user community.

On the Viability of Open-Source Financial Rails: Economic Security of Permissionless Consensus

TL;DR

This work constructs a protocol that guarantees economic security and preserves Bitcoin's permissionless design, and formalizes the role of the protocol's user community.

Abstract

Bitcoin demonstrated the possibility of a financial ledger that operates without the need for a trusted central authority. However, concerns persist regarding its security and considerable energy consumption. We assess the consensus protocols that underpin Bitcoin's functionality, questioning whether they can ensure economically meaningful security while maintaining a permissionless design that allows free entry of operators. We answer this affirmatively by constructing a protocol that guarantees economic security and preserves Bitcoin's permissionless design. This protocol's security does not depend on monetary payments to miners or immense electricity consumption, which our analysis suggests are ineffective. Our framework integrates economic theory with distributed systems theory, and formalizes the role of the protocol's user community.
Paper Structure (40 sections, 14 theorems, 9 equations, 1 table)

This paper contains 40 sections, 14 theorems, 9 equations, 1 table.

Key Result

Proposition 1

The economic security of Bitcoin's Nakamoto protocol in the rental model is zero; that is, the attacker can violate consistency and deceive a merchant at zero net cost. This holds even if the merchant perfectly monitors all network activity and requires additional confirmations for finality.

Theorems & Definitions (38)

  • Definition 1
  • Definition 2
  • Proposition 1
  • Proposition 2
  • proof : Prof of \ref{['prop:NakaBriberyCost']}
  • Definition 3
  • Definition 4
  • Definition 5: The Stubborn Nakamoto Protocol
  • Remark 1
  • Lemma 1
  • ...and 28 more