paper-with-me

Papers

Smart contracts and reaction-function games

2025-06-17 · Jens Gudmundsson, Jens Leth Hougaard

Blockchain-based smart contracts offer a new take on credible commitment, where players can commit to actions in reaction to actions of others. Such reaction-function games extend on strategic games with players choosing reaction functions instead of strategies. We formalize a solution concept in terms of fixed points for such games, akin to Nash equilibrium, and prove equilibrium existence. Reaction functions can mimic "trigger" strategies from folk theorems on infinitely repeated games -- but now in a one-shot setting. We introduce a refinement in terms of safe play. We apply our theoretical framework to symmetric investment games, which includes two prominent classes of games, namely weakest-link and public-good games. In both cases, we identify a safe and optimal reaction function. In this way, our findings highlight how blockchain-based commitment can overcome trust and free-riding barriers.

📄 PDF Abstract BibTeX arXiv:2506.14413

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

SolBench: A Dataset and Benchmark for Evaluating Functional Correctness in Solidity Code Completion and Repair

2025-03-03 · Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao 외

Smart contracts are crucial programs on blockchains, and their immutability post-deployment makes functional correctness vital. Despite progress in code completion models, benchmarks for Solidity, the primary smart contr…

Code CompletionCode RepairRetrieval

A Comprehensive Study of Exploitable Patterns in Smart Contracts: From Vulnerability to Defense

2025-04-30 · Yuchen Ding, Hongli Peng, Xiaoqi Li

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challen…

Two Timin': Repairing Smart Contracts With A Two-Layered Approach

2023-09-14 · Abhinav Jain, Ehan Masud, Michelle Han, Rohan Dhillon 외

Due to the modern relevance of blockchain technology, smart contracts present both substantial risks and benefits. Vulnerabilities within them can trigger a cascade of consequences, resulting in significant losses. Many …

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning

2025-02-20 · Ye Liu, Yuqing Niu, Chengyan Ma, Ruidong Han 외

Smart contracts are highly susceptible to manipulation attacks due to the leakage of sensitive information. Addressing manipulation vulnerabilities is particularly challenging because they stem from inherent data confide…

In-Context Learning

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications

2026-05-10 · Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah arxiv

We introduce SmartEval, a benchmark for systematically evaluating the quality of Solidity smart contracts generated by large language models (LLMs) from natural language specifications. SmartEval provides a corpus of 9,0…