Formalizing and Implementing Distributed Ledger Objects

02/21/2018
by   Antonio Fernandez Anta, et al.
0

Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed. To face this issue, in this paper we provide a proper formulation of a distributed ledger object. In brief, we define a ledger object as a sequence of records, and we provide the operations and the properties that such an object should support. Implementation of a ledger object on top of multiple (possibly geographically dispersed) computing devices gives rise to the distributed ledger object. In contrast to the centralized object, distribution allows operations to be applied concurrently on the ledger, introducing challenges on the consistency of the ledger in each participant. We provide the definitions of three well known consistency guarantees in terms of the operations supported by the ledger object: (1) atomic consistency (linearizability), (2) sequential consistency, and (3) eventual consistency. We then provide implementations of distributed ledgers on asynchronous message passing crash-prone systems using an Atomic Broadcast service, and show that they provide eventual, sequential or atomic consistency semantics. We conclude with a variation of the ledger - the validated ledger - which requires that each record in the ledger satisfies a particular validation rule.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/26/2020

Appending Atomically in Byzantine Distributed Ledgers

A Distributed Ledger Object (DLO) is a concurrent object that maintains ...
research
03/29/2018

Unleashing and Speeding Up Readers in Atomic Object Implementations

Providing efficient emulations of atomic read/write objects in asynchron...
research
03/16/2021

Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications

In order to formalize Distributed Ledger Technologies and their intercon...
research
05/26/2022

Validated Objects: Specification, Implementation, and Applications

Guaranteeing the validity of concurrent operations on distributed object...
research
02/21/2018

Skueue: A Scalable and Sequentially Consistent Distributed Queue

We propose a distributed protocol for a queue, called Skueue, which spre...
research
02/26/2018

Observable atomic consistency for CvRDTs

The development of distributed systems requires developers to balance th...
research
10/25/2017

Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems

We study the issue of data consistency in highly-available distributed s...

Please sign up or login with your details

Forgot password? Click here to reset