Algebraic signatures for scalable distributed data structures | Synapse