Distributed Ledger Register: From Safe to Atomic

Emmanuelle Anceaume (1) , Marina Papatriantafilou (2) , Maria Potop-Butucaru (3) , Philippas Tsigas (2)

1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
2 CSE - Department of Computer Science and Engineering [Göteborg]
3 NPA - Networks and Performance Analysis

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.

Domaines: Informatique [cs]; Algorithme et structure de données [cs.DS]; Calcul parallèle, distribué et partagé [cs.DC]

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