Blockchain abstract data type - Sorbonne Université
Reports (Research Report) Year : 2019

Blockchain abstract data type

Abstract

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)

Identifiers

Cite

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⟩
1470 View
814 Download

Altmetric

Share

More