RedStone puts tokenized real-world assets on Stellar above $3 billion in July, against DeFi value it measures at $213 million.