New XRP Lending Protocol Gets Formal Verification In Push For Safer DeFi
RippleX Developers mentioned formal verification work on the XRP Ledger is shifting from the long-running Payment Engine to newer native DeFi protocols, together with Single Asset Vault and the upcoming Lending Protocol, marking a shift towards proving protocol correctness earlier than high-stakes options are shipped. In a June 8 post, Vito Tumas, writing for RippleX…
