Hi local first enthusiasts! We are working on a distributed system protocol called Topology Protocol, which builds on BFT-CRDTs and PubSub groups over open P2P networks. It offers an abstraction called Conflict-free Replicated Object (CRO) and defines a set of interaction methods for CROs.

Beyond the familiar concurrency semantics, we are giving devs the full freedom to define custom semantics. Of course, this risks breaking convergence, but we believe the design space there is extremely under explored. 

Check out the whitepaper of the protocol: https://paper.topology.gg and let us know your thoughts! 

Development wise, we are wrapping up our first pass of hash graph and moving to sync (via rateless IBLT) very soon. We are looking for protocol engineers and research engineers. DM open!