No Smart City without a Smart Contract