[Resource Topic] 2018/398: Fun with Bitcoin smart contracts

Welcome to the resource topic for 2018/398

Fun with Bitcoin smart contracts

Authors: Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino


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.

ePrint: https://eprint.iacr.org/2018/398

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .