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
bitcoinsmart contractsprocess algebras
Contact author(s)
bart @ unica it
History
2018-05-02: received
Short URL
https://ia.cr/2018/398
License
Creative Commons Attribution
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},
      note = {\url{https://eprint.iacr.org/2018/398}},
      url = {https://eprint.iacr.org/2018/398}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.