Blockchain abstract data type - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Blockchain abstract data type


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.
Fichier principal
Vignette du fichier
mainSPAA-hal.pdf (325.31 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02380364 , version 1 (26-11-2019)



Emmanuelle Anceaume, Antonella del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni. Blockchain abstract data type. SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Jun 2019, Phoenix, Arizona, United States. pp.349-358, ⟨10.1145/3323165.3323183⟩. ⟨hal-02380364⟩
312 View
281 Download



Gmail Facebook X LinkedIn More