A Formal Model of Bitcoin Transactions

Atzei N.;Bartoletti M.
;Lande S.;Zunino R.
2018-01-01

Abstract

We propose a formal model of Bitcoin transactions, which is sufficiently abstract to enable formal reasoning, and at the same time is concrete enough to serve as an alternative documentation to Bitcoin. We use our model to formally prove some well-formedness properties of the Bitcoin blockchain, for instance that each transaction can only be spent once. We release an open-source tool through which programmers can write transactions in our abstract model, and compile them into standard Bitcoin transactions.
2018
Inglese
Financial Cryptography and Data Security
978-3-662-58386-9
978-3-662-58387-6
Springer
LECTURE NOTES IN COMPUTER SCIENCE
10957
541
560
20
WOS:000540656400029
2-s2.0-85064954604
https://link.springer.com/chapter/10.1007/978-3-662-58387-6_29
22nd International Conference on Financial Cryptography and Data Security, 2018
Contributo
Comitato scientifico
26 February - 2 March 2018
Nieuwpoort, Belgium
internazionale
scientifica
no
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Atzei, N.; Bartoletti, M.; Lande, S.; Zunino, R.
273
4
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

Tipologia: versione pre-print
Dimensione 533.06 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
533.06 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