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
Files in This Item:
File Size Format  
main.pdf

Solo gestori archivio

Type: versione pre-print
Size 533.06 kB
Format Adobe PDF
& nbsp; View / Open   Request a copy
533.06 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