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.
Fun with bitcoin smart contracts / Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto. - STAMPA. - 11247:(2018), pp. 432-449. (Intervento presentato al convegno 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 tenutosi a cyp nel 2018) [10.1007/978-3-030-03427-6_32].
Fun with bitcoin smart contracts
Zunino, Roberto
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
Solo gestori archivio
Tipologia:
Post-print referato (Refereed author’s manuscript)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
385.53 kB
Formato
Adobe PDF
|
385.53 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
