KIT | KIT-Bibliothek | Impressum | Datenschutz

Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types

Jacob, Florian ORCID iD icon 1; Hartenstein, Hannes 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Abstract (englisch):

Replicated event logbooks are ubiquitous in decentralized systems designed to cope with Byzantine-faulty replicas. Recently, there is a growing subclass that only partially orders its logbooks by hash-linking inscribed events to their causal past. Thereby, these approaches forgo coordination and consensus to gain scalability and availability under partition. We investigate these approaches to explicate their underlying construction by connecting their design to the concept of logical monotonicity and by providing an abstraction as a delta-state conflict-free replicated data type. In particular, we analyze what makes a clock Byzantine-tolerant, and show that these hash-linked causal logbooks represent Byzantine-tolerant clocks. Based on these insight, we model real-world group communication systems as Byzantine monotonic compositions, and analyze their monotonicity properties to understand the guarantees they provide to the application layer.


Verlagsausgabe §
DOI: 10.5445/IR/1000170190
Veröffentlicht am 23.04.2024
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 22.04.2024
Sprache Englisch
Identifikator ISBN: 979-84-00-70544-1
KITopen-ID: 1000170190
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in PaPoC '24: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data
Veranstaltung 11th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC 2024), Athen, Griechenland, 22.04.2024
Verlag Association for Computing Machinery (ACM)
Seiten 37–43
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page