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
File in questo prodotto:
File Dimensione Formato  
main.pdf

Solo gestori archivio

Descrizione: Articolo principale
Tipologia: versione pre-print
Dimensione 431.22 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
431.22 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie