I don't think it is conceptually complex at all. But implementations will have to be complex to be performant. I don't mind complexity when it is justified, at some point Pubky might add Merkle trees which are at least as complex as Negentropy, but it is the right thing to do if we want Homeservers to sign data and have version control, and have even more efficent sync than Git.