Delta Chat: A decentralized messaging client with no server