Rings rebuilds distributed system correctness with algebraic structures
Rings unifies cryptography, CRDT-based storage and Chord topology under group, ring and module algebra, aiming for a provably correct distributed system.
distributed-systemscryptographycrdtrust