RippleとCommon Prefixは、XRPLのレイヤー1融資コードに対する数学的検証により、従来のテストでは見落としていたエッジケースがすでに判明したと説明している。
XRPLのネイティブ融資プロトコルは形式手法検証の段階をさらに進めており、RippleのソフトウエアエンジニアであるVito Tumasは、このプロセスによって標準的なテストでは見落とされた複雑なエッジケースがすでに発見されたと述べた。Rippleとブロックチェーンセキュリティ企業Common Prefixは、プロトコルの抽象モデルを構築し、これをXRP LedgerのサーバーソフトウエアであるxrpldのC++実装と継続的に照合することで、リリース前に不整合を検出している。検証対象は、レイヤー1で従来型スマートコントラクトを使わずにネイティブDeFi（分散型金融）を推進するXRPLの取り組みに関連する2つの機能、レンディングプロトコルとSingle Asset Vaultsである。これらの機能はベースプロトコルに直接組み込まれるため、欠陥があれば単一のアプリケーションではなくネットワーク全体に影響が及ぶ可能性がある。融資システムはXLS-66修正案の下で導入され、XRPLバージョン3.1.0のリリース後、今年前半にバリデーター投票に入ったが、開発者は有効化に先立ち引き続きテストと安全策の追加を進めている。XRPLのdUNLバリデーターであるVetも、AIによって形式手法検証の実用性が高まっていると述べ、今年前半にはAIツールが提案中のBatch修正案の欠陥を特定し、ユーザー資金がリスクにさらされる可能性があったと指摘した。Vetは、プロトコルの稼働後には機関投資家と個人ユーザーの双方がXRPやRLUSDなどの資産を用いて信用供与を受けられるようになる見通しだとしている。