SoK: Unraveling Bitcoin Smart Contracts
Nicola Atzei,Massimo Bartoletti,Tiziana Cimoli,Stefano Lande,Roberto Zunino +4 more
- Vol. 10804, pp 217-242
Reads0
Chats0
TLDR
In this article, a comprehensive survey of smart contracts on Bitcoin is presented, based on a new formal specification language for smart contracts, which also helps to highlight some subtleties in existing informal descriptions, making a step towards automatic verification.Abstract:
Albeit the primary usage of Bitcoin is to exchange currency, its blockchain and consensus mechanism can also be exploited to securely execute some forms of smart contracts. These are agreements among mutually distrusting parties, which can be automatically enforced without resorting to a trusted intermediary. Over the last few years a variety of smart contracts for Bitcoin have been proposed, both by the academic community and by that of developers. However, the heterogeneity in their treatment, the informal (often incomplete or imprecise) descriptions, and the use of poorly documented Bitcoin features, pose obstacles to the research. In this paper we present a comprehensive survey of smart contracts on Bitcoin, in a uniform framework. Our treatment is based on a new formal specification language for smart contracts, which also helps us to highlight some subtleties in existing informal descriptions, making a step towards automatic verification. We discuss some obstacles to the diffusion of smart contracts on Bitcoin, and we identify the most promising open research challenges.read more
Citations
More filters
Journal ArticleDOI
A Vademecum on Blockchain Technologies: When, Which, and How
TL;DR: A general presentation of blockchain that goes beyond its usage in Bitcoin and surveying a selection of the vast literature that emerged in the last few years is given, drawing the key requirements and their evolution when passing from permissionless to permissioned blockchains.
Journal ArticleDOI
Using Blockchain for Electronic Health Records
TL;DR: The aim of this proposed framework is firstly to implement blockchain technology for EHR and secondly to provide secure storage of electronic records by defining granular access rules for the users of the proposed framework.
Journal ArticleDOI
Survey on blockchain based smart contracts: Applications, opportunities and challenges
TL;DR: The paper explores the significant applications which already benefited from the smart contracts and highlights the future potential of the blockchain based smart contracts in these applications perspective.
Journal ArticleDOI
A Survey on Blockchain Technology: Evolution, Architecture and Security
Muhammad Nasir Mumtaz Bhutta,Amir A. Khwaja,Adnan Nadeem,Hafiz Farooq Ahmad,Muhammad Khurram Khan,Moataz Hanif,Houbing Song,Majed A. Alshamari,Yue Cao +8 more
TL;DR: A comprehensive survey of blockchain technology's evolution, architecture, development frameworks, and security issues is presented in this paper, where the authors present a comparative analysis of frameworks, classification of consensus algorithms, and analysis of security risks & cryptographic primitives that have been used in the blockchain.
Journal ArticleDOI
Survey on Blockchain-Based Smart Contracts: Technical Aspects and Future Research
TL;DR: This survey is conducted to identify the significant technical aspects of blockchain-based smart contracts with the associated future research directions.
References
More filters
Book ChapterDOI
A Tutorial on UPPAAL
TL;DR: This is a tutorial paper on the tool Uppaal to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool.
Journal ArticleDOI
Formalizing and Securing Relationships on Public Networks
TL;DR: Protocols with application in important contracting areas, including credit, content rights management, payment systems, and contracts with bearer are discussed.
Proceedings ArticleDOI
Making Smart Contracts Smarter
TL;DR: This paper investigates the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies, and proposes ways to enhance the operational semantics of Ethereum to make contracts less vulnerable.
Posted Content
Making Smart Contracts Smarter.
TL;DR: Oyente as discussed by the authors is a symbolic execution tool to find potential security bugs in the execution of smart contracts based on Ethereum in an open distributed network like those of Bitcoin and Ethereum.