We uncover the extend-only directed posets (EDP) structure as a unification of recently discussed DAG-based Byzantine-tolerant conflict-free replicated data types (CRDT). We also show how a key-value map model can be derived from the EDP formulation, and give an outlook on an EDP-based systemic access control CRDT as a formalization of the CRDT used in the Matrix messaging system.
Cite
@article{arxiv.2304.04318,
title = {On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types (Extended Version)},
author = {Florian Jacob and Hannes Hartenstein},
journal= {arXiv preprint arXiv:2304.04318},
year = {2023}
}
Comments
With the inclusion of an appendix of a formalization and CRDT proof sketch of an EDP-based CRDT with systemic access control, this is an extended version of the paper presented at the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2023-05-08, Rome, Italy