Search papers, labs, and topics across Lattice.
The paper introduces did:crdt, a novel Decentralised Identifier (DID) method that eliminates the need for coordination by utilizing signed Conflict-Free Replicated Data Types (CRDTs) for each document field. This approach allows for concurrent edits to merge deterministically without requiring a global order or ledger, significantly reducing latency and fees associated with traditional methods. The authors provide a comprehensive data and threat model, alongside a Rust implementation, demonstrating that their method achieves Byzantine fault tolerance while maintaining efficient update mechanisms.
Coordination-free DIDs could revolutionize decentralized identity management by enabling instantaneous updates without the overhead of global ordering.
Existing Decentralised Identifier (DID) methods require coordination, an agreed global order of operations, to update a DID document: blockchain-anchored methods incur fees and latency; lightweight peer methods (did:key, did:peer) offer no update mechanism; and Sidetree methods still require blockchain ordering for finality. We present did:crdt, a DID method that targets W3C DID Core and removes the need for coordination entirely: there is no ledger, no sequencer, and no global total order. Each DID document is composed of signed Conflict-Free Replicated Data Types (CRDTs), one per document field, each chosen so that concurrent edits merge deterministically. By the CALM Theorem, the state-merge path is then confluent: replicas that see the same updates reach the same document in any arrival order. The signed-delta path needs only causal delivery, applying an update after those it builds on, which is far weaker than the total ordering ledgers impose and needs no agreement protocol. We are explicit about scope: every untrusted-peer path is authenticated, so Byzantine fault tolerance (safety even when peers lie or send malformed data) holds for signed deltas and verified-bundle replay, while the unauthenticated state-merge path is a trusted-domain optimisation and key-compromise recovery is bounded by revocation semantics. We give the data and threat model, CRUD semantics, conflict resolution, and a Rust reference implementation with property-based convergence tests and microsecond-scale merge latency.
MIT CSAIL