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

Blockchain abstract data type

(1) , (2) , (3) , (4) , (2)
1
2
3
4

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

Dates and versions

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

Identifiers

Cite

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⟩
168 View
195 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More