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.
2018
Inglese
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
9783030034269
Springer
LECTURE NOTES IN COMPUTER SCIENCE
11247
432
449
18
2-s2.0-85056472371
https://link.springer.com/chapter/10.1007%2F978-3-030-03427-6_32
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Contributo
Comitato scientifico
5-9 November 2018
Limassol, Cyprus
internazionale
scientifica
Theoretical computer science; Computer science (all)
no
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
273
3
4.1 Contributo in Atti di convegno
reserved
info:eu-repo/semantics/conferencePaper
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
& nbsp; View / Open   Request a copy
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.

Questionnaire and social

Share on:
Impostazioni cookie