 |
HAL-CNRSCNRS scientific publications |
 |
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.
Cited literature [31 references]
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, August 5, 2020 - 3:42:44 AM
Contributor : Emmanuelle Anceaume <>
Submitted on : Tuesday, November 26, 2019 - 1:06:33 PM
Last modification on : Wednesday, August 5, 2020 - 3:42:44 AM
File
mainSPAA-hal.pdf
Files produced by the author(s)