DROPS

Document

DOI: 10.4230/LIPIcs.DISC.2021.42

Game Theoretical Framework for Analyzing Blockchains Robustness

Authors: Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci

Published in: LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021)

Abstract

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 an original 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 various blockchain protocols: Bitcoin (the most popular permissionless blockchain), Tendermint (the first permissioned blockchain used by the practitioners), Lightning Network, a side-chain protocol and a cross-chain swap protocol. For each one of the studied protocols we identify upper and lower bounds with respect to their resilience and immunity (expressed as no worse payoff than the initial state) face to rational and Byzantine behaviors.

Cite as

Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci. Game Theoretical Framework for Analyzing Blockchains Robustness. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 42:1-42:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{zappala_et_al:LIPIcs.DISC.2021.42,
  author =	{Zappal\`{a}, Paolo and Belotti, Marianna and Potop-Butucaru, Maria and Secci, Stefano},
  title =	{{Game Theoretical Framework for Analyzing Blockchains Robustness}},
  booktitle =	{35th International Symposium on Distributed Computing (DISC 2021)},
  pages =	{42:1--42:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-210-5},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{209},
  editor =	{Gilbert, Seth},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.42},
  URN =		{urn:nbn:de:0030-drops-148440},
  doi =		{10.4230/LIPIcs.DISC.2021.42},
  annote =	{Keywords: Blockchain protocols, Distributed algorithms, Game-theoretical modeling, Fault tolerance, Failure robustness}
}

Document

Brief Announcement

DOI: 10.4230/LIPIcs.DISC.2020.49

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness

Authors: Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci

Published in: LIPIcs, Volume 179, 34th International Symposium on Distributed Computing (DISC 2020)

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.

Cite as

Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci. Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness. In 34th International Symposium on Distributed Computing (DISC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 179, pp. 49:1-49:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{zappala_et_al:LIPIcs.DISC.2020.49,
  author =	{Zappal\`{a}, Paolo and Belotti, Marianna and Potop-Butucaru, Maria and Secci, Stefano},
  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 =	{Attiya, Hagit},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.49},
  URN =		{urn:nbn:de:0030-drops-131275},
  doi =		{10.4230/LIPIcs.DISC.2020.49},
  annote =	{Keywords: Blockchains, Game Theory, Byzantine-Altruistic-Rational behaviours}
}

Search Results

Documents authored by Zappalà, Paolo

Game Theoretical Framework for Analyzing Blockchains Robustness

Abstract

Cite as

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness

Abstract

Cite as

Thanks for your feedback!

Could not send message