Quras: A decentralized smart contract platform for IoT & clouds.