Distributed Ledger Register: From Safe to Atomic - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Distributed Ledger Register: From Safe to Atomic

Résumé

This paper continues the recent line of academic effort dedicated to formalizing distributed ledgers. This work is the first one to propose a specification of distributed ledger register that matches the Lamport hierarchy from safe to atomic. Moreover, we propose implementations of distributed ledger registers with safe, regular and atomic guaranties in a model of communication specific to distributed ledgers technology that we also formalize. Then, we propose an implementation of a distributed ledger register that satisfies the atomic specification and the k-consistency property that characterises the permissionless distributed blockchains such as Bitcoin and Ethereum.
Fichier principal
Vignette du fichier
main.pdf (262.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02201472 , version 1 (31-07-2019)

Identifiants

  • HAL Id : hal-02201472 , version 1

Citer

Emmanuelle Anceaume, Marina Papatriantafilou, Maria Potop-Butucaru, Philippas Tsigas. Distributed Ledger Register: From Safe to Atomic. 2019. ⟨hal-02201472⟩
193 Consultations
330 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More