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 metadatas

https://hal.sorbonne-universite.fr/hal-01718480
Contributor : Maria Potop-Butucaru <>
Submitted on : Saturday, May 12, 2018 - 11:49:05 PM
Last modification on : Tuesday, May 14, 2019 - 10:12:54 AM
Long-term archiving on : Tuesday, September 25, 2018 - 3:26:22 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

733

Files downloads

314