Developing Secure Bitcoin Contracts with BitML

被引：21

作者：

Atzei, Nicola ^{[1
]}

Bartoletti, Massimo ^{[1
]}

Lande, Stefano ^{[1
]}

Yoshida, Nobuko ^{[2
]}

Zunino, Roberto ^{[3
]}

机构：

[1] Univ Cagliari, Cagliari, Italy

[2] Imperial Coll London, London, England

[3] Univ Trento, Trento, Italy

来源：

ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING | 2019年

基金：

英国工程与自然科学研究理事会;

关键词：

Bitcoin; smart contracts; verification;

D O I：

10.1145/3338906.3341173

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a toolchain for developing and verifying smart contracts that can be executed on Bitcoin. The toolchain is based on BitML, a recent domain-specific language for smart contracts with a computationally sound embedding into Bitcoin. Our toolchain automatically verifies relevant properties of contracts, among which liquidity, ensuring that funds do not remain frozen within a contract forever. A compiler is provided to translate BitML contracts into sets of standard Bitcoin transactions: executing a contract corresponds to appending these transactions to the blockchain. We assess our toolchain through a benchmark of representative contracts.

引用

页码：1124 / 1128

页数：5

共 40 条

[1]

Andrychowicz Marcin, 2014, Formal Modeling and Analysis of Timed Systems. 12th International Conference, FORMATS 2014. Proceedings. LNCS: 8711, P7, DOI 10.1007/978-3-319-10512-3_2

[2] Secure Multiparty Computations on Bitcoin [J].

Andrychowicz, Marcin ;

Dziembowski, Stefan ;

Malinowski, Daniel ;

Mazurek, Lukasz .

COMMUNICATIONS OF THE ACM, 2016, 59 (04) :76-84

[3] Secure Multiparty Computations on Bitcoin [J].

Andrychowicz, Marcin ;

Dziembowski, Stefan ;

Malinowski, Daniel ;

Mazurek, Lukasz .

2014 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2014), 2014, :443-458

[4] Fair Two-Party Computations via Bitcoin Deposits [J].

Andrychowicz, Marcin ;

Dziembowski, Stefan ;

Malinowski, Daniel ;

Mazurek, Lukasz .

FINANCIAL CRYPTOGRAPHY AND DATA SECURITY: FC 2014 WORKSHOPS, BITCOIN AND WAHC 2014, 2014, 8438 :105-121

[5]

[Anonymous], 2019, BITCOIN SCRIPT SIZE

[6]

[Anonymous], 2019, BITCOIN STANDARD T

[7]

[Anonymous], CORR

[8]

Atzei N., 2018, LNCS, DOI [10.1007/978-3-662-58387-6, DOI 10.1007/978-3-662-58387-6]

[9] SoK: Unraveling Bitcoin Smart Contracts [J].

Atzei, Nicola ;

Bartoletti, Massimo ;

Cimoli, Tiziana ;

Lande, Stefano ;

Zunino, Roberto .

PRINCIPLES OF SECURITY AND TRUST, POST 2018, 2018, 10804 :217-242

[10] Efficient Zero-Knowledge Contingent Payments in Cryptocurrencies Without Scripts [J].

Banasik, Waclaw ;

Dziembowski, Stefan ;

Malinowski, Daniel .

COMPUTER SECURITY - ESORICS 2016, PT II, 2016, 9879 :261-280

← 1 2 3 4 →