Thumbnail - No thumbnail

Game theoretical analysis of Atomic Cross-Chain Swaps

Belotti, Marianna; Moretti, Stefano; Potop-Butucaru, Maria; Secci, Stefano (2020), Game theoretical analysis of Atomic Cross-Chain Swaps, 40th IEEE International Conference on Distributed Computing Systems (ICDCS), 2020-12, Singapore, Singapore

Type
Communication / Conférence
External document link
https://hal.archives-ouvertes.fr/hal-02414356
Date
2020
Conference title
40th IEEE International Conference on Distributed Computing Systems (ICDCS)
Conference date
2020-12
Conference city
Singapore
Conference country
Singapore
Metadata
Show full item record
Author(s)
Belotti, Marianna cc

Moretti, Stefano cc
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Potop-Butucaru, Maria

Secci, Stefano cc
Abstract (EN)
In this paper we address the distributed cross-chain swap problem in the blockchain context where multiple agents exchange assets across multiple blockchain systems (e.g. trading Bitcoins for Litecoins or Ethers). We present a mathematical framework allowing to characterize blockchain swap protocols as the combination of a publishing and a commitment phase, where contracts are respectively published and then committed. We characterize the equilibria of existing cross-chain swap protocols (i.e., blockchain swap protocols exchanging assets among different blockchains). More precisely, we prove that following a swap protocol characterized by concurrent publishing of exchange contracts and snap (immediate) assets transfers is a Nash equilibrium. Furthermore, we prove that for protocols with a sequential publishing and commitment of the assets transfers, following the prescribed protocol is a sub-game perfect equilibrium.
Subjects / Keywords
Escrow; Interoperability; Atomic swap; Blockchain technology