XRPL 开发者正在使用正式的数学证明来测试其即将推出的借贷协议是否会进入破坏会计或耗尽资金池的状态。 这项工作已经发现了保险库不变量失败、支付断言和舍入错误，这些问题后来已被修复。但它无法消除借款人违约的链下信用风险。 https://(cryptoslate.com)/xrpl-tries-to-mathematically-prove-its-new-lending-market-cannot-be-drained/