Blockchain Abstract Data Type

Emmanuelle Anceaume; Antonella Del Pozzo; Romaric Ludinard; Maria Potop-Butucaru; Sara Tucci-Piergiovanni

Paper 2018/561

Blockchain Abstract Data Type

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, and Sara Tucci-Piergiovanni

Abstract

The presented work continues the line of recent distributed computing community efforts dedicated to the theoretical aspects of blockchains. This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use them. Our work is based on an original oracle-based construction that, along with new consistency definitions, captures the eventual convergence process in blockchain systems. The paper presents as well some results on implementability of the presented abstractions and a mapping of representative existing blockchains from both academia and industry in our framework.

Metadata

Available format(s): PDF
Category: Foundations
Publication info: Preprint. MINOR revision.
Keywords: Blockchain Abstract Data Type Consistency Criteria
Contact author(s): delpozzo antonella @ gmail com
History: 2018-06-04: received
Short URL: https://ia.cr/2018/561
License: CC BY

BibTeX

@misc{cryptoeprint:2018/561,
      author = {Emmanuelle Anceaume and Antonella Del Pozzo and Romaric Ludinard and Maria Potop-Butucaru and Sara Tucci-Piergiovanni},
      title = {Blockchain Abstract Data Type},
      howpublished = {Cryptology {ePrint} Archive, Paper 2018/561},
      year = {2018},
      url = {https://eprint.iacr.org/2018/561}
}