Fun with Bitcoin smart contracts

Massimo Bartoletti; Tiziana Cimoli; Roberto Zunino

Paper 2018/398

Fun with Bitcoin smart contracts

Massimo Bartoletti, 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.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint. MINOR revision.
Keywords: bitcoin smart contracts process algebras
Contact author(s): bart @ unica it
History: 2018-05-02: received
Short URL: https://ia.cr/2018/398
License: CC BY

BibTeX

@misc{cryptoeprint:2018/398,
      author = {Massimo Bartoletti and Tiziana Cimoli and Roberto Zunino},
      title = {Fun with Bitcoin smart contracts},
      howpublished = {Cryptology {ePrint} Archive, Paper 2018/398},
      year = {2018},
      url = {https://eprint.iacr.org/2018/398}
}