University of Cagliari
Fun with bitcoin smart contracts
Bartoletti, Massimo
;Cimoli, Tiziana;
2018-01-01
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.
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| main.pdf Solo gestori archivio
Description: Articolo principale
Type: versione pre-print
Size 431.22 kB
Format Adobe PDF
|
431.22 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.