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

Contact David Lehnherr for more information.

Nature of the project: Theory 100%