Blockchain Abstract Data Type -Full version

Emmanuelle Anceaume 1 Antonella del Pozzo 2 Romaric Ludinard 3 Maria Potop-Butucaru 4 Sara Tucci Piergiovanni 2
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA_D1 - SYSTÈMES LARGE ÉCHELLE
3 ADOPNET - Advanced technologies for operated networks
UR1 - Université de Rennes 1, IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire, IRISA_D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
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 [30 references]  Display  Hide  Download
Contributor : Emmanuelle Anceaume <>
Submitted on : Monday, April 29, 2019 - 10:49:14 AM
Last modification on : Friday, July 5, 2019 - 3:26:03 PM


Files produced by the author(s)


  • HAL Id : hal-02113770, version 1


Emmanuelle Anceaume, Antonella del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni. Blockchain Abstract Data Type -Full version. [Research Report] CNRS - IRISA. 2019, pp.1-29. ⟨hal-02113770⟩



Record views


Files downloads