Paper 2017/1070

The Transaction Graph for Modeling Blockchain Semantics

Christian Cachin, Angelo De Caro, Pedro Moreno-Sanchez, Björn Tackmann, and Marko Vukolić

Abstract

The advent of Bitcoin paved the way for a plethora of blockchain systems supporting diverse applications beyond cryptocurrencies. Although in-depth studies of the protocols, security, and privacy of blockchains are available, there is no formal model of the transaction semantics that a blockchain is supposed to guarantee. In this work, we fill this gap, motivated by the observation that the semantics of transactions in blockchain systems can be captured by a directed acyclic graph. Such a transaction graph, or TDAG, generally consists of the states and the transactions as transitions between the states, together with conditions for the consistency and validity of transactions. We instantiate the TDAG model for three prominent blockchain systems: Bitcoin, Ethereum, and Hyperledger Fabric. We specify the states and transactions as well as the validity conditions of the TDAG for each one. This demonstrates the applicability of the model and formalizes the transaction-level semantics that these systems aim for.

Metadata
Available format(s)
PDF
Category
Applications
Publication info
Preprint. MINOR revision.
Keywords
BlockchainEthereumDistributed ledgers
Contact author(s)
cca @ zurich ibm com
History
2017-11-10: received
Short URL
https://ia.cr/2017/1070
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2017/1070,
      author = {Christian Cachin and Angelo De Caro and Pedro Moreno-Sanchez and Björn Tackmann and Marko Vukolić},
      title = {The Transaction Graph for Modeling Blockchain Semantics},
      howpublished = {Cryptology ePrint Archive, Paper 2017/1070},
      year = {2017},
      note = {\url{https://eprint.iacr.org/2017/1070}},
      url = {https://eprint.iacr.org/2017/1070}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.