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.
Cite
CITATION STYLE
Bartoletti, M., Cimoli, T., & Zunino, R. (2018). Fun with bitcoin smart contracts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11247 LNCS, pp. 432–449). Springer Verlag. https://doi.org/10.1007/978-3-030-03427-6_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
