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.
Type de document :
Rapport
[Research Report] Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Paris, France. 2018, pp.1-30
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01718480
Contributeur : Maria Potop-Butucaru <>
Soumis le : samedi 12 mai 2018 - 23:49:05
Dernière modification le : vendredi 16 novembre 2018 - 02:20:36
Document(s) archivé(s) le : mardi 25 septembre 2018 - 15:26:22

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01718480, version 2
  • ARXIV : 1802.09877

Citation

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci-Piergiovanni. Blockchain Abstract Data Type. [Research Report] Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Paris, France. 2018, pp.1-30. 〈hal-01718480v2〉

Partager

Métriques

Consultations de la notice

481

Téléchargements de fichiers

150