How to build decentralized property systems