Distributed Ledger Register: From Safe to Atomic

Abstract : 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.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02201472
Contributor : Emmanuelle Anceaume <>
Submitted on : Wednesday, July 31, 2019 - 1:33:01 PM
Last modification on : Tuesday, October 1, 2019 - 10:16:17 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02201472, version 1

Citation

Emmanuelle Anceaume, Marina Papatriantafilou, Maria Potop-Butucaru, Philippas Tsigas. Distributed Ledger Register: From Safe to Atomic. 2019. ⟨hal-02201472⟩

Share

Metrics

Record views

57

Files downloads

83