Fun with Bitcoin smart contracts

Massimo Bartoletti; Tiziana Cimoli; Roberto Zunino

Paper 2018/398 Original: eprint.iacr.org/2018/398 ↗

Fun with Bitcoin smart contracts

Massimo Bartoletti

Tiziana Cimoli

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.
History: 2018-05-02: last updated; 2018-05-02: published
Short URL: https://ia.cr/2018/398
License: https://creativecommons.org/licenses/by/4.0/

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}
}