On Extend-Only Directed Posets and Derived Byzantine-Tolerant Replicated Data Types

被引：1
作者：
Jacob, Florian [1 ]
Hartenstein, Hannes [1 ]
机构：
[1] Karlsruhe Inst Technol, Karlsruhe, Germany
来源：
PROCEEDINGS OF THE 10TH WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2023 | 2023年
关键词：
Conflict-Free Replicated Data Types; Strong Eventual Consistency; Byzantine Fault Model; Matrix Event Graph;
D O I：
10.1145/3578358.3591333
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We uncover the extend-only directed posets (EDP) structure as unification of recently discussed DAG-based Byzantinetolerant conflict-free replicated data types (CRDT). We also derive an EDP-based key-value map, and give an outlook on an EDP-based systemic access control CRDT as formalization of the CRDT used in the Matrix messaging system.
引用
收藏
页码：63 / 69
页数：7
相关论文
共 17 条
  • [1] SPACE-TIME AS A CAUSAL SET
    BOMBELLI, L
    LEE, J
    MEYER, D
    SORKIN, RD
    [J]. PHYSICAL REVIEW LETTERS, 1987, 59 (05) : 521 - 524
  • [2] Caudill Herb, 2023, Local First Auth: Decentralized authentication and authorization for team collaboration, using a secure chain of cryptological signatures
  • [3] Cholvi V, 2021, Arxiv, DOI arXiv:2103.08936
  • [4] Analysis of the Matrix Event Graph Replicated Data Type
    Jacob, Florian
    Beer, Carolin
    Henze, Norbert
    Hartenstein, Hannes
    [J]. IEEE ACCESS, 2021, 9 : 28317 - 28333
  • [5] Matrix Decomposition: Analysis of an Access Control Approach on Transaction-based DAGs without Finality
    Jacob, Florian
    Becker, Luca
    Grashoefer, Jan
    Hartenstein, Hannes
    [J]. SACMAT'20: PROCEEDINGS OF THE 25TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, 2020, : 81 - 92
  • [6] Jacob Florian, 2022, GI EDITION P, V323, P113, DOI [10.18420/sicherheit202207, DOI 10.18420/SICHERHEIT202207]
  • [7] Kleppmann M, 2020, Arxiv, DOI arXiv:2012.00472
  • [8] Making CRDTs Byzantine Fault Tolerant
    Kleppmann, Martin
    [J]. PAPOC'22: PROCEEDINGS OF THE 9TH PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, 2022, : 8 - 15
  • [9] Lamport L., 2019, Time, Clocks, and the Ordering of Events in a Distributed System, P179, DOI DOI 10.1145/3335772.3335934
  • [10] Matrix Specification Contributors, 2023, v1.6. Matrix specification Technical Report
12