Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness

Résumé

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. 2012 ACM Subject Classification Networks
Fichier principal
Vignette du fichier
LIPIcs-DISC-2020-49.pdf (301.53 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-02977723 , version 1 (25-10-2020)

Identifiants

Citer

Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, Stefano Secci. Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness. International Symposium on Distributed Computing (DISC), Oct 2020, Freiburg (virtual conference), Germany. pp.49:1--49:3, ⟨10.4230/LIPIcs.DISC.2020.49⟩. ⟨hal-02977723⟩
148 Consultations
204 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More