License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.DISC.2020.49
URN: urn:nbn:de:0030-drops-131275
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/13127/
Go to the corresponding LIPIcs Volume Portal

Zappalà, Paolo ; Belotti, Marianna ; Potop-Butucaru, Maria ; Secci, Stefano

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness

pdf-format:
LIPIcs-DISC-2020-49.pdf (0.3 MB)

Abstract

Blockchains systems evolve in complex environments that mix classical patterns of faults (e.g crash faults, transient faults, Byzantine faults, churn) with selfish, rational or irrational behaviors typical to economical systems. In this paper we propose a game theoretical framework in order to formally characterize the robustness of blockchains systems in terms of resilience to rational deviations and immunity to Byzantine behaviors. Our framework includes necessary and sufficient conditions for checking the immunity and resilience of games and a new technique for composing games that preserves the robustness of individual games. We prove the practical interest of our formal framework by characterizing the robustness of three different protocols popular in blockchain systems: a HTLC-based payment scheme (a.k.a. Lightning Network), a side-chain protocol and a cross-chain swap protocol.

BibTeX - Entry

@InProceedings{zappal_et_al:LIPIcs:2020:13127,
  author =	{Paolo Zappal{\`a} and Marianna Belotti and Maria Potop-Butucaru and Stefano Secci},
  title =	{{Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness}},
  booktitle =	{34th International Symposium on Distributed Computing (DISC 2020)},
  pages =	{49:1--49:3},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-168-9},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{179},
  editor =	{Hagit Attiya},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/13127},
  URN =		{urn:nbn:de:0030-drops-131275},
  doi =		{10.4230/LIPIcs.DISC.2020.49},
  annote =	{Keywords: Blockchains, Game Theory, Byzantine-Altruistic-Rational behaviours}
}

Keywords: Blockchains, Game Theory, Byzantine-Altruistic-Rational behaviours
Collection: 34th International Symposium on Distributed Computing (DISC 2020)
Issue Date: 2020
Date of publication: 07.10.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI