XRP 账本（XRPL）的开发者正在利用数学证明，对该平台的新借贷市场进行破产风险验证，Common Prefix 自 9 月 17 日起已正式对该协议展开测试。这家协议研究公司正在使用定理证明语言 Lean 4，以确保借贷协议不会违反其会计和安全规则。 此项工作紧随近期发布的 xrpld 3.4.0 版本修订（LendingProtocolV1_1）之后，该版本引入了封闭式借贷金库和现金基础会计，从而提高了对内部记账准确性的要求。Common Prefix 此前在 2 月至 4 月期间进行的验证工作，已发现并解决了借贷协议早期版本中的若干问题。