SoK: Unraveling Bitcoin Smart Contracts

被引：46

作者：

Atzei, Nicola ^{[1
]}

Bartoletti, Massimo ^{[1
]}

Cimoli, Tiziana ^{[1
]}

Lande, Stefano ^{[1
]}

Zunino, Roberto ^{[2
]}

机构：

[1] Univ Cagliari, Cagliari, Italy

[2] Univ Trento, Trento, Italy

来源：

PRINCIPLES OF SECURITY AND TRUST, POST 2018 | 2018年 / 10804卷

关键词：

D O I：

10.1007/978-3-319-89722-6_9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：217 / 242

页数：26

共 40 条

[31]

Liao Kevin, 2017, Financial Cryptography and Data Security. FC 2017 International Workshops WAHC, BITCOIN, VOTING, WTSC, and TA. Revised Selected Papers: LNCS 10323, P264, DOI 10.1007/978-3-319-70278-0_17

[32]

Maxwell G., 2016, 1 SUCCESSFUL ZERO KN

[33] Zero-Collateral Lotteries in Bitcoin and Ethereum [J].

Miller, Andrew ;

Bentov, Iddo .

2017 2ND IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (EUROS&PW), 2017, :4-13

[34] Bitcoin Covenants [J].

Moeser, Malte ;

Eyal, Ittay ;

Sirer, Emin Gun .

FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2016, 2016, 9604 :126-141

[35]

Nakamoto S., 2008, Bitcoin

[36]

NICOLLIN X, 1992, LECT NOTES COMPUT SC, V575, P376

[37]

O'Connor Russell, 2017, Financial Cryptography and Data Security. FC 2017 International Workshops WAHC, BITCOIN, VOTING, WTSC, and TA. Revised Selected Papers: LNCS 10323, P191, DOI 10.1007/978-3-319-70278-0_12

[38]

O'Connor Russell, 2017, PLAS

[39] Weakly secret bit commitment: Applications to lotteries and fair exchange [J].

Syverson, P .

11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, :2-13

[40]

Szabo N., 1997, First Monday, V2

← 1 2 3 4 →