IMDEA Networks Institute Publications Repository

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

Cholvi, Vicent and Georgiou, Chryssis and Fernández Anta, Antonio and Nicolaou, Nicolas and Raynal, Michel and Russo, Antonio (2021) Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications. In: 4th International Symposium on Foundations and Applications of Blockchain (FAB 2021), 7 May 2021.

[img] PDF
Download (613Kb)


In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains a totally ordered sequence of records, abstracting blockchains and distributed ledgers. Through DLO, the Atomic Appends problem, intended as the need of a primitive able to append multiple records to distinct ledgers in an atomic way, is studied as a basic interconnection problem among ledgers. In this work, we propose the Distributed Grow-only Set object (DSO), which instead of maintaining a sequence of records, as in a DLO, maintains a set of records in an immutable way: only Add and Get operations are provided. This object is inspired by the Grow-only Set (G-Set) data type which is part of the Conflict-free Replicated Data Types. We formally specify the object and we provide a consensus-free Byzantine-tolerant implementation that guarantees eventual consistency. We then use our Byzantine-tolerant DSO (BDSO) implementation to provide consensus-free algorithmic solutions to the Atomic Appends and Atomic Adds (the analogous problem of atomic appends applied on G-Sets) problems, as well as to construct consensus-free Single-Writer BDLOs. We believe that the BDSO has applications beyond the above-mentioned problems.

Item Type: Conference or Workshop Papers (Paper)
Depositing User: Antonio Russo
Date Deposited: 13 May 2021 09:26
Last Modified: 13 May 2021 09:26

Actions (login required)

View Item View Item