Byzantine Eventual Consistency and Advanced CRDTs
By 2026, Conflict-free Replicated Data Types (CRDTs) have moved beyond simple counters to support complex, hierarchical data structures in adversarial, peer-to-peer environments.
1. JSON-CRDT Breakthroughs (2025)
The "Holy Grail" of collaborative software was the ability to Move a folder or a subtree without causing data duplication or cycles.
A. The "Move" Operation
Landmark research in 2024-2025 (implemented in Automerge) solved this using a Cycle-Detection Algorithm.
- The Conflict: If User A moves Folder 1 into Folder 2, and User B moves Folder 2 into Folder 1 concurrently, a naive system creates a cycle, and the data vanishes from the tree.
- The 2026 Solution: CRDTs now use deterministic "Winning Rules" combined with temporal metadata to ensure a single, consistent parent for every node, regardless of move order.
B. json-joy and RGA
The json-joy specification emerged as the 2025 standard for high-performance JSON-CRDTs. It uses a Replicated Growable Array (RGA) algorithm to handle nested strings and arrays with minimal "tombstone" overhead (the metadata leftover from deleted items).
2. Byzantine Eventual Consistency (BEC)
BEC is the consistency model for systems that must converge even when some nodes are malicious (Byzantine).
A. Local-First Access Control
Traditional ACLs require a central server. In BEC, the ACL itself is a CRDT.
- The Challenge: Equivocation (a malicious node telling User A they have access, but telling User B they don't).
- The Solution: BEC uses Merkle DAGs and Threshold Signatures to ensure that once a permission is granted/revoked, honest nodes eventually converge on that state, rendering the malicious node's lie irrelevant.
External Deep Dive:
- CRDT (Wikipedia)
— Detailed look at commutative and convergent replication. - Eventual Consistency (Wikipedia) — Theoretical foundations of relaxed consistency.
- Merkle Tree (Wikipedia) — Foundations of cryptographic verification in BEC.
See Also:
- CRDT Data Structures — Foundations.
- Byzantine Fault Tolerance — The adversarial model.
- Eventual Consistency — The baseline guarantee.