Analysis of the Matrix Event Graph Replicated Data Type

11/12/2020
by   Florian Jacob, et al.
0

Matrix is a new kind of decentralized, topic-based publish-subscribe middleware for communication and data storage that is getting popular particularly as a basis for secure instant messaging. In comparison to traditional decentralized communication systems, Matrix replaces pure message passing with a replicated data structure. This data structure, which we extract and call the Matrix Event Graph (MEG), depicts the causal history of messages. We show that this MEG represents an interesting and important replicated data type for general decentralized applications that are based on causal histories of publish-subscribe events: we show that a MEG possesses strong properties with respect to consistency, byzantine attackers, and scalability. First, we show that the MEG provides Strong Eventual Consistency (SEC), and that it is available under partition, by proving that the MEG is a Conflict-Free Replicated Data Type for causal histories. While strong consistency is impossible here as shown by the famous CAP theorem, SEC is among the best known achievable trade-offs. Second, we discuss the implications of byzantine attackers on the data type's properties. We note that the MEG, as it does not strive for consensus, can cope with n > f environments with n total participants of which f show byzantine faults. Furthermore, we analyze scalability: Using Markov chains we study the width of the MEG, defined as the number of forward extremities, over time and observe an almost optimal evolution. We conjecture that this property is inherent to the underlying spatially inhomogeneous random walk.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/22/2021

On Conflict-Free Replicated Data Types and Equivocation in Byzantine Setups

We explore the property of equivocation tolerance for Conflict-Free Repl...
research
10/14/2019

A Glimpse of the Matrix (Extended Version): Scalability Issues of a New Message-Oriented Data Synchronization Middleware

Matrix is a new message-oriented data synchronization middleware, used a...
research
09/29/2021

Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol

Causal consistency is a widely used weak consistency model that allows h...
research
09/19/2023

Preliminaries paper: Byzantine Tolerant Strong Auditable Atomic Register

An auditable register extends the classical register with an audit opera...
research
06/21/2021

Secure Distributed Training at Scale

Some of the hardest problems in deep learning can be solved with the com...
research
11/24/2022

FedCut: A Spectral Analysis Framework for Reliable Detection of Byzantine Colluders

This paper proposes a general spectral analysis framework that thwarts a...
research
04/09/2023

On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)

We uncover the extend-only directed posets (EDP) structure as a unificat...

Please sign up or login with your details

Forgot password? Click here to reset