Our newest paper, “Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types”, is now available under CC-BY: https://dl.acm.org/doi/10.1145/3578358.3591333 We formalize @matrix and other autonomous #decentralized systems based on hash chronicles to verify monotonicity and Byzantine fault tolerance. #CRDT