Blockchain abstract data type - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2019

Blockchain abstract data type


The presented work continues the line of recent distributed computing communityefforts dedicated to the theoretical aspects of blockchains. This paper is the rst tospecify blockchains as a composition of abstract data types all together with a hierarchyof consistency criteria that formally characterizes the histories admissible for distributedprograms that use them. Our work is based on an original oracle-based constructionthat, along with new consistency deffnitions, captures the eventual convergence processin blockchain systems. The paper presents as well some results on implementability ofthe presented abstractions and a mapping of representative existing blockchains fromboth academia and industry in our framework.
Fichier principal
Vignette du fichier
mainSPAA_Tech_Report.pdf (416.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01718480 , version 1 (27-02-2018)
hal-01718480 , version 2 (12-05-2018)
hal-01718480 , version 3 (15-12-2021)



Emmanuelle Anceaume, Antonella del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni. Blockchain abstract data type. [Research Report] Univ Rennes, CNRS, IRISA, France. 2019, pp.1-30. ⟨hal-01718480v3⟩
1300 View
702 Download



Gmail Facebook X LinkedIn More