Paper 2018/561 Original: eprint.iacr.org/2018/561 ↗
Blockchain Abstract Data Type
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.
- History
- 2018-06-04: last updated
- 2018-06-04: published
- Short URL
- https://ia.cr/2018/561
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}