https://github.com/freenet/locutus/ A decentralized key-value database with eventual-consistency. Each key-value pair is verified with the corresponding contract.