Skip to Main content Skip to Navigation

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.
Complete list of metadata
Contributor : Maria Potop-Butucaru <>
Submitted on : Saturday, May 12, 2018 - 11:49:05 PM
Last modification on : Wednesday, July 21, 2021 - 7:40:02 AM
Long-term archiving on: : Tuesday, September 25, 2018 - 3:26:22 PM


Files produced by the author(s)


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


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⟩



Record views


Files downloads