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 metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal-cnrs.archives-ouvertes.fr/hal-02380364
Contributor : Emmanuelle Anceaume <>
Submitted on : Tuesday, November 26, 2019 - 1:06:33 PM
Last modification on : Wednesday, April 8, 2020 - 3:53:30 PM

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