Cryptology ePrint Archive: Report 2018/398

Fun with Bitcoin smart contracts

Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino

Abstract: Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e. protocols where users interact within pre-agreed rules, which determine (possibly depending on the actual interaction) how currency is eventually distributed. This paper provides a gentle introduction to Bitcoin smart contracts, which we specify by abstracting from the underlying Bitcoin machinery. To this purpose we exploit BitML, a recent DSL for smart contracts executable on Bitcoin.

Category / Keywords: cryptographic protocols / bitcoin, smart contracts, process algebras

Date: received 28 Apr 2018

Contact author: bart at unica it

Available format(s): PDF | BibTeX Citation

Version: 20180502:060608 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]