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.

翻译：我们揭示了仅扩展有向偏序集（EDP）结构作为近期讨论的基于DAG的拜占庭容错无冲突复制数据类型（CRDT）的统一框架。我们还展示了如何从EDP公式推导出键值映射模型，并展望了基于EDP的系统级访问控制CRDT，作为对Matrix消息系统中使用的CRDT的形式化描述。