New XRP Lending Protocol Gets Formal Verification In Push For Safer DeFi - TrendCloud