Payment Does Not Imply Consensus (For Distributed Payment Systems)

05/25/2021
by   Thomas Orton, et al.
0

Decentralized payment systems such as Bitcoin have become massively popular in the last few years, yet there is still much to be done in understanding their formal properties. The vast majority of decentralized payment systems work by achieving consensus on the state of the network; a natural question to therefore ask is whether this consensus is necessary. In this paper, we formally define a model of payment systems, and present two main results. In Theorem 1, we show that even though there exists a single step black box reduction from Payment Systems to Byzantine Broadcast, there does not exist any black box reduction in the other direction which is significantly better than a trivial reduction. In Theorem 2, we show how to construct Payment Systems which only require a very small number of messages to be sent per transaction. In particular, global consensus about which transactions have occurred is not necessary for payments in this model. We then show a relation between the construction in Theorem 2 and the Lightning Network, relating the formal model constructions we have given to a practical algorithm proposed by the cryptocurrency community.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/24/2021

A Survey on Consortium Blockchain Consensus Mechanisms

Blockchain is a distributed ledger that is decentralized, immutable, and...
research
01/12/2019

Byzantine Consensus under Local Broadcast Model: Tight Sufficient Condition

In this work we consider Byzantine Consensus on undirected communication...
research
04/12/2021

Voting-based probabilistic consensuses and their applications in distributed ledgers

We review probabilistic models known as majority dynamics (also known as...
research
02/08/2022

Consensus on Demand

Digital money can be implemented efficiently by avoiding consensus. Howe...
research
04/11/2023

Desirable Properties of Heterogeneous Quorum Systems

Byzantine quorum systems provide higher throughput than proofof-work and...
research
05/28/2021

SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus

This paper revisits the ubiquitous problem of achieving state machine re...
research
09/24/2019

ProvMark: A Provenance Expressiveness Benchmarking System

System level provenance is of widespread interest for applications such ...

Please sign up or login with your details

Forgot password? Click here to reset