Document Open Access Logo

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness

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



PDF
Thumbnail PDF

File

LIPIcs.DISC.2020.49.pdf
  • Filesize: 301 kB
  • 3 pages

Document Identifiers

Author Details

Paolo Zappalà
  • Cedric, Cnam, 75003 Paris, France
Marianna Belotti
  • BDTD, Caisse des Dépôts et Consignations, 75013 Paris, France
  • Cedric, Cnam, 75003 Paris, France
Maria Potop-Butucaru
  • Lip6, Sorbonne Université, 75005 Paris, France
Stefano Secci
  • Cedric, Cnam, 75003 Paris, France

Cite AsGet BibTex

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)
https://doi.org/10.4230/LIPIcs.DISC.2020.49

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.

Subject Classification

ACM Subject Classification
  • Networks
Keywords
  • Blockchains
  • Game Theory
  • Byzantine-Altruistic-Rational behaviours

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Ittai Abraham, Lorenzo Alvisi, and Joseph Y. Halpern. Distributed computing meets game theory: combining insights from two fields. Acm Sigact News, 42(2):69-76, 2011. Google Scholar
  2. Ittai Abraham, Danny Dolev, Rica Gonen, and Joe Halpern. Distributed computing meets game theory: Robust mechanisms for rational secret sharing and multiparty computation. In Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC '06, page 53–62, 2006. Google Scholar
  3. Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, and Carl Porth. Bar fault tolerance for cooperative services. In Proceedings of the twentieth ACM symposium on Operating systems principles, pages 45-58, 2005. Google Scholar
  4. Georgia Avarikioti, Eleftherios Kokoris Kogias, and Roger Wattenhofer. Brick: Asynchronous state channels. arXiv preprint, 2019. URL: http://arxiv.org/abs/1905.11360.
  5. Georgia Avarikioti, Felix Laufenberg, Jakub Sliwinski, Yuyi Wang, and Roger Wattenhofer. Towards secure and efficient payment channels. arXiv preprint, 2018. URL: http://arxiv.org/abs/1811.12740.
  6. Georgia Avarikioti, Rolf Scheuner, and Roger Wattenhofer. Payment networks as creation games. In Data Privacy Management, Cryptocurrencies and Blockchain Technology, pages 195-210. Springer, 2019. Google Scholar
  7. Marianna Belotti, Nikola Božić, Guy Pujolle, and Stefano Secci. A vademecum on blockchain technologies: When, which, and how. IEEE Communications Surveys & Tutorials, 21(4):3796-3838, 2019. Google Scholar
  8. Marianna Belotti, Stefano Moretti, Maria Potop-Butucaru, and Stefano Secci. Game theoretical analysis of Atomic Cross-Chain Swaps. In 40th IEEE International Conference on Distributed Computing Systems, ICDCS, 2020. URL: https://hal.archives-ouvertes.fr/hal-02414356.
  9. Michael Borkowski, Daniel McDonald, Christoph Ritzer, and Stefan Schulte. Towards atomic cross-chain token transfers: State of the art and open questions within tast. Distributed Systems Group TU Wien, Report, 2018. Google Scholar
  10. Lewis Gudgeon, Pedro Moreno-Sanchez, Stefanie Roos, Patrick McCorry, and Arthur Gervais. Sok: Off the chain transactions. IACR Cryptology ePrint Archive, 2019:360, 2019. Google Scholar
  11. Maurice Herlihy. Atomic cross-chain swaps. In Proceedings of the 2018 ACM symposium on principles of distributed computing, pages 245-254, 2018. Google Scholar
  12. Christopher Natoli, Jiangshan Yu, Vincent Gramoli, and Paulo Esteves-Verissimo. Deconstructing blockchains: A comprehensive survey on consensus, membership and structure. arXiv preprint, 2019. URL: http://arxiv.org/abs/1908.08316.
  13. Tier Nolan. Re: Alt chains and atomic transfers, 2013. Accessed on July 30, 2020. URL: https://bitcointalk.org/index.php?topic=193281.msg2224949#msg2224949.
  14. Joseph Poon and Thaddeus Dryja. The bitcoin lightning network: Scalable off-chain instant payments, 2016. %Accessed on July 30, 2020. URL: https://lightning.network/lightning-network-paper.pdf.
  15. Alejandro Ranchal-Pedrosa and Vincent Gramoli. Platypus: Offchain protocol without synchrony. In 2019 IEEE 18th International Symposium on Network Computing and Applications, NCA, pages 1-8, 2019. Google Scholar
  16. Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci. Game Theoretical Framework for Analyzing Blockchains Robustness, May 2020. URL: https://hal.archives-ouvertes.fr/hal-02634752.
  17. Zibin Zheng, Shaoan Xie, Hong-Ning Dai, Xiangping Chen, and Huaimin Wang. Blockchain challenges and opportunities: A survey. International Journal of Web and Grid Services, 14(4):352-375, 2018. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail