Bachelor Thesis
Analysing the MEG-RDT
In this work, we will analyse the Matrix Event Graph Replicated Data Type (MEG-RDT)[1]. The theoretical foundations of this protocol are Conflict Free Replicated Data Types (CRDTs) [2] and Direted Acyclic Graphs (DAGs). The goal of this thesis is to re-formalise the MEG-RDT and replicate the consistency proof.
References
[1] MEG-RDT
[2] CRDT