Search papers, labs, and topics across Lattice.
This paper introduces a novel approach to Conflict-free Replicated Data Types (CRDTs) that enables Byzantine resilience through deterministic state reconstruction, allowing all accepted updates to be incorporated while selectively contributing to the final state. The authors instantiate their method in Melda, a delta-state CRDT for JSON documents, demonstrating that it guarantees convergence even in the presence of adversarial update injections. Their formalization proves that replicas can maintain consistency despite various forms of message manipulation, while also allowing for layered security measures without compromising convergence.
Byzantine resilience in CRDTs is achievable by decoupling update propagation from state derivation, ensuring consistent state reconstruction even under adversarial conditions.
Conflict-free Replicated Data Types (CRDTs) ensure Strong Eventual Consistency without coordination, but typically assume benign participants and rely on validation or exclusion to handle Byzantine behavior. We address this problem through deterministic state reconstruction: rather than deciding which updates are admissible, all accepted updates are incorporated, while only a subset contributes to the reconstructed state. We instantiate this approach in Melda, a non-intrusive delta-state CRDT for JSON documents, and show that its reconstruction model guarantees convergence even under arbitrary update injection: adversarial updates are either structurally rejected or treated as inputs to the reconstruction process. We formalize this model and prove that replicas deriving state from the same set of updates cannot diverge despite equivocation, omission, or message reordering. We further show that authentication, authorization, and confidentiality can be layered without affecting convergence. Overall, this approach suggests that Byzantine tolerance can be achieved by decoupling update propagation from state derivation, allowing agreement on updates to be handled independently by external dissemination or consensus mechanisms.
