Skip to Main content Skip to Navigation
Conference papers

Game Theoretical Framework for Analyzing Blockchains Robustness

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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02634752
Contributor : Paolo Zappalà Connect in order to contact the contributor
Submitted on : Wednesday, March 10, 2021 - 6:10:01 PM
Last modification on : Friday, August 5, 2022 - 2:54:01 PM

File

Robustness_techreport.pdf
Files produced by the author(s)

Identifiers

Citation

Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, Stefano Secci. Game Theoretical Framework for Analyzing Blockchains Robustness. 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freiburg, Germany. pp.42:1--42:18, ⟨10.4230/LIPIcs.DISC.2021.42⟩. ⟨hal-02634752v2⟩

Share

Metrics

Record views

409

Files downloads

147