XRPL 开发者正在使用正式的数学证明来测试其即将推出的借贷协议是否会进入破坏会计或耗尽池资金的状态。

这项工作已经发现了保险库不变性失败、支付断言和后来的修补的四舍五入错误。它不能消除借款人违约的链下信用风险。

https://cryptoslate.com/xrpl-tries-to-mathematically-prove-its-new-lending-market-cannot-be-drained/

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。