Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, Emilio

doi:10.1007/978-3-319-25527-9_11

Cited by 83 publications

(75 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly to the use of Bitcoin Blockchain, smart contracts are done in a decentralized environment, where contract terms are executed by the Blockchain systemwhen the terms are fulfilled. Bigi et al [45] introduce a decentralized smart contract protocol inspired by BITHALO and validated the feasibility of the protocol based on the protocols of Bitcoin. The approach is a combination of the game theory and formal models.…”

Section: Classification Of the Relevant Papersmentioning

confidence: 99%

Where Is Current Research on Blockchain Technology?—A Systematic Review

et al. 2016

View full text Add to dashboard Cite

Blockchain is a decentralized transaction and data management technology developed first for Bitcoin cryptocurrency. The interest in Blockchain technology has been increasing since the idea was coined in 2008. The reason for the interest in Blockchain is its central attributes that provide security, anonymity and data integrity without any third party organization in control of the transactions, and therefore it creates interesting research areas, especially from the perspective of technical challenges and limitations. In this research, we have conducted a systematic mapping study with the goal of collecting all relevant research on Blockchain technology. Our objective is to understand the current research topics, challenges and future directions regarding Blockchain technology from the technical perspective. We have extracted 41 primary papers from scientific databases. The results show that focus in over 80% of the papers is on Bitcoin system and less than 20% deals with other Blockchain applications including e.g. smart contracts and licensing. The majority of research is focusing on revealing and improving limitations of Blockchain from privacy and security perspectives, but many of the proposed solutions lack concrete evaluation on their effectiveness. Many other Blockchain scalability related challenges including throughput and latency have been left unstudied. On the basis of this study, recommendations on future research directions are provided for researchers.

show abstract

Section: Classification Of the Relevant Papersmentioning

confidence: 99%

Where Is Current Research on Blockchain Technology?—A Systematic Review

et al. 2016

View full text Add to dashboard Cite

show abstract

“…• Semi-automation of smart contracts creation [18]. • Use of formal verification methods [16,17]. • Education (e.g., online tutorials) [8].…”

Section: Smart Contract Issues Proposed Solutions Codifying Issuesmentioning

confidence: 99%

Blockchain Based Smart Contracts : A Systematic Mapping Study

Alharby¹,

Moorsel²

2017

Computer Science &Amp; Information Technology (CS &Amp; IT)

306

106

View full text Add to dashboard Cite

show abstract

“…Our approach does not rely on this restriction. A study done in 2015 [6] focused his attention on the validation of the behavior of the stakeholders when carrying out a contract by combining game theory and formal verification. Our approach aims to verify that smart contracts comply with their specifications for a given behavior of stakeholders.…”

Section: Fig 1: Model-checking Approachmentioning

confidence: 99%

Model-Checking of Smart Contracts

Nehai

Piriou

Daumas

2018

2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and I

View full text Add to dashboard Cite

DAO attack showed that formal verification of smart contracts is an important issue that should be addressed to prevent irreversible consequences due to design faults activation in Blockchain applications. This paper proposes a modeling method of an Ethereum application based on smart contracts, with the aim of applying a formal method, namely Model-Checking, to verify that the application implementation complies with its specification, formalized by a set of temporal logic propositions. NuSMV tool has been chosen to support this first approach. The proposed model template is shaped by three layers capturing respectively the behavior of Ethereum blockchain, the smart contracts themselves and the execution framework. The approach is illustrated by a case study coming from energy market field.

show abstract

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Cited by 83 publications

References 15 publications

Where Is Current Research on Blockchain Technology?—A Systematic Review

Where Is Current Research on Blockchain Technology?—A Systematic Review

Blockchain Based Smart Contracts : A Systematic Mapping Study

Model-Checking of Smart Contracts

Contact Info

Product

Resources

About