English
Related papers

Related papers: Smart contracts and reaction-function games

200 papers

Optimistic responsiveness -- the ability of a consensus protocol to operate at the speed of the network -- is widely used in consensus protocol design to optimize latency and throughput. However, blockchain applications incentivize…

Computer Science and Game Theory · Computer Science 2025-10-30 Kaya Alpturer , Kushal Babel , Aditya Saraf

In a network game, players interact over a network and the utility of each player depends on his own action and on an aggregate of his neighbours' actions. Many real world networks of interest are asymmetric and involve a large number of…

Computer Science and Game Theory · Computer Science 2025-08-12 Kiran Rokade , Adit Jain , Francesca Parise , Vikram Krishnamurthy , Eva Tardos

Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing platforms allow such processes to be modeled using high-level notations and compiled into smart contracts that…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

We analyze the performance of the best-response dynamic across all normal-form games using a random games approach. The playing sequence -- the order in which players update their actions -- is essentially irrelevant in determining whether…

Theoretical Economics · Economics 2022-11-18 Torsten Heinrich , Yoojin Jang , Luca Mungo , Marco Pangallo , Alex Scott , Bassel Tarbush , Samuel Wiese

We propose a smart contract that allows two mutually distrusting parties to transact any non-digital good or service by deploying a smart contract on a blockchain to act as escrow. The contract settles disputes by letting parties wager that…

Computer Science and Game Theory · Computer Science 2023-04-05 Nikolaj Ignatieff Schwartzbach

We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction…

Computer Science and Game Theory · Computer Science 2016-09-15 Stéphane Le Roux , Arno Pauly

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

The noncooperative Nash equilibrium solution of classical games corresponds to a rational expectations attitude on the part of the players. However, in many cases, games played by human players have outcomes very different from Nash…

Quantum Physics · Physics 2007-05-23 R. Vilela Mendes

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in…

Cryptography and Security · Computer Science 2018-06-21 Massimo Bartoletti , Livio Pompianu

In this study, we present models where participants strategically select their risk levels and earn corresponding rewards, mirroring real-world competition across various sectors. Our analysis starts with a normal form game involving two…

Computational Finance · Quantitative Finance 2023-05-31 Louis Abraham

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

We characterize Nash equilibrium by postulating coherent behavior across varying games. Nash equilibrium is the only solution concept that satisfies the following axioms: (i) strictly dominant actions are played with positive probability,…

Theoretical Economics · Economics 2024-07-02 Florian Brandl , Felix Brandt

This paper deals with design of the alternative secure Blockchain network framework to prevent damages from an attacker. The concept of the strategic alliance of the management is applied on the top of the recent developed stochastic game…

Cryptography and Security · Computer Science 2022-02-15 Song-Kyoo Kim

Blockchains have sparked global interest in recent years, gaining importance as they increasingly influence technology and finance. This thesis investigates the robustness of blockchain protocols, specifically focusing on Ethereum…

Cryptography and Security · Computer Science 2024-12-02 Ulysse Pavloff

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski

We consider a dynamical approach to game in extensive forms. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding…

Computer Science and Game Theory · Computer Science 2017-04-05 Stéphane Le Roux , Arno Pauly

This paper introduces a structural game-theoretic model to value decentralized digital assets like Bitcoin. Instead of relying on speculative beliefs, it frames the asset's price within a Rational-Expectations Security-Utility Nash…

Cryptography and Security · Computer Science 2025-08-12 Liang Chen

Announcement games, where information is disseminated by announcers and challenged by validators, are prevalent in real-world scenarios. Validators take effort to verify the validity of the announcements, gaining rewards for successfully…

Computer Science and Game Theory · Computer Science 2024-08-01 Siyuan Liu , Yulong Zeng

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft