Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. The consensus number of a cryptocurrency (extended version)
 
research article

The consensus number of a cryptocurrency (extended version)

Guerraoui, Rachid  
•
Kuznetsov, Petr
•
Monti, Matteo  
Show more
2022
Distributed Computing

Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of preventing double-spending; this is usually solved by achieving consensus on the order of transfers among the participants. In this paper, we treat the asset transfer problem as a concurrent object and determine its consensus number, showing that consensus is, in fact, not necessary to prevent double-spending. We first consider the problem as defined by Nakamoto, where only a single process-the account owner-can withdraw from each account. Safety and liveness need to be ensured for correct account owners, whereas misbehaving account owners might be unable to perform transfers. We show that the consensus number of an asset transfer object is 1. We then consider a more general k-shared asset transfer object where up to k processes can atomically withdraw from the same account, and show that this object has consensus number k. We establish our results in the context of shared memory with benign faults, allowing us to properly understand the level of difficulty of the asset transfer problem. We also translate these results in the message passing setting with Byzantine players, a model that is more relevant in practice. In this model, we describe an asynchronous Byzantine fault-tolerant asset transfer implementation that is both simpler and more efficient than state-of-the-art consensus-based solutions. Our results are applicable to both the permissioned (private) and permissionless (public) setting, as normally their differentiation is hidden by the abstractions on top of which our algorithms are based.

  • Files
  • Details
  • Metrics
Type
research article
DOI
10.1007/s00446-021-00399-2
Web of Science ID

WOS:000710596000001

Author(s)
Guerraoui, Rachid  
Kuznetsov, Petr
Monti, Matteo  
Pavlovic, Matej  
Seredinschi, Dragos-Adrian  
Date Issued

2022

Publisher

SPRINGER

Published in
Distributed Computing
Volume

35

Start page

1

End page

15

Subjects

Computer Science, Theory & Methods

•

Computer Science

•

distributed computing

•

cryptocurrency

•

consensus

•

blockchain

•

decentralized payments

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Available on Infoscience
November 6, 2021
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/182799
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés