HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download

https://hal-cnrs.archives-ouvertes.fr/hal-02380364
Contributor : Emmanuelle Anceaume Connect in order to contact the contributor
Submitted on : Tuesday, November 26, 2019 - 1:06:33 PM
Last modification on : Monday, April 4, 2022 - 9:28:21 AM

File

mainSPAA-hal.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

159

Files downloads

168