2026-07-21T12:58:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9549 2024-03-06T10:44:42Z ddc:004 open_access

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies Chatterjee, Krishnendu Kafshdar Goharshady, Amir Ibsen-Jensen, Rasmus Velner, Yaron Crypto-currency Quantitative Verification Mean-payoff Games Crypto-currencies are digital assets designed to work as a medium of exchange, e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants). A framework for the analysis of attacks in crypto-currencies requires (a) modeling of game-theoretic aspects to analyze incentives for deviation from honest behavior; (b) concurrent interactions between participants; and (c) analysis of long-term monetary gains. Traditional game-theoretic approaches for the analysis of security protocols consider either qualitative temporal properties such as safety and termination, or the very special class of one-shot (stateless) games. However, to analyze general attacks on protocols for crypto-currencies, both stateful analysis and quantitative objectives are necessary. In this work our main contributions are as follows: (a) we show how a class of concurrent mean-payoff games, namely ergodic games, can model various attacks that arise naturally in crypto-currencies; (b) we present the first practical implementation of algorithms for ergodic games that scales to model realistic problems for crypto-currencies; and (c) we present experimental results showing that our framework can handle games with thousands of states and millions of transitions. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Yaron Velner 2018 Is Part Of LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2018.11 urn:nbn:de:0030-drops-95497 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.11 eng https://creativecommons.org/licenses/by/3.0/legalcode