XRP Ledger developers are using Lean 4, a theorem-proving language, to mathematically verify that their new lending protocol cannot enter unsafe accounting states. LendingProtocolV1_1, shipped in xrpld version 3.4.0, introduces closed-ended lending vaults with cash-basis accounting, allowing depositors to pool assets that loan brokers can deploy into fixed-term, uncollateralized loans. An exploratory verification phase between February and April already uncovered vault invariant violations, loan-payment assertion failures, and arithmetic rounding errors that were subsequently fixed. Companies like Evernorth and VS1.Finance are preparing to use the protocol, but formal verification does not cover borrower credit risk or off-chain underwriting decisions. XRP is up 7.09% over the past 24 hours and currently ranks fifth by market cap.
Source: Read the original article
