Ripple and Common Prefix say mathematical checks on XRPL’s Layer-1 lending code have already exposed edge cases missed by conventional testing as developers prepare the feature for validator approval.
XRPL’s native lending protocol has moved deeper into formal verification, with Ripple software engineer Vito Tumas saying the process has already uncovered complex edge cases that standard testing missed. Ripple and blockchain security firm Common Prefix are building an abstract model of the protocol and comparing it continuously with the C++ implementation in xrpld, the XRP Ledger’s server software, to detect discrepancies before release. The review covers the Lending Protocol and Single Asset Vaults, two features tied to XRPL’s push into native DeFi at Layer-1 without traditional smart contracts. Because those functions would be embedded directly in the base protocol, any flaw could affect the broader network rather than a single application. The lending system was introduced under the XLS-66 amendment and entered validator voting earlier this year after the release of XRPL version 3.1.0, but developers are still testing and adding safeguards before activation. Vet, an XRPL dUNL validator, also said AI is making formal verification more practical and noted that an AI tool earlier this year identified a flaw in the proposed Batch amendment that could have put user funds at risk. Vet said both institutional and retail users are expected to be able to access credit using assets such as XRP and RLUSD once the protocol goes live.