Ripple和Common Prefix表示，对XRPL第一层借贷代码的数学验证已发现传统测试遗漏的边缘情形，开发者正为该功能提交验证者批准做准备。
XRPL原生借贷协议已进入更深入的形式化验证阶段。Ripple软件工程师Vito Tumas表示，这一过程已经发现了标准测试遗漏的复杂边缘情形。Ripple与区块链安全公司Common Prefix正在构建该协议的抽象模型，并将其与XRP Ledger服务器软件xrpld中的C++实现持续比对，以在发布前发现差异。此次审查涵盖借贷协议和单一资产金库，这两项功能与XRPL在不依赖传统智能合约的情况下，将原生去中心化金融（DeFi）引入第一层的推进密切相关。由于这些功能将直接嵌入基础协议，任何漏洞都可能影响更广泛的网络，而非单一应用。该借贷系统在XLS-66修正案下提出，并在XRPL 3.1.0版本发布后于今年早些时候进入验证者投票阶段，但开发者在激活前仍在继续测试并增加安全防护。XRPL dUNL验证者Vet还表示，人工智能正使形式化验证更具可操作性，并指出今年早些时候，一款AI工具曾发现拟议中的Batch修正案存在漏洞，可能使用户资金面临风险。Vet称，该协议一旦上线，机构和零售用户预计都将能够使用XRP和RLUSD等资产获取信贷。