XRPL 正通过数学证明验证其借贷协议安全性

XRP Ledger (XRPL) 开发人员正利用数学证明测试即将推出的借贷市场，以防止资金被耗尽或出现资不抵债。研究公司 Common Prefix 使用 Lean 4 语言对 XRPL 借贷协议进行形式化验证，旨在确保协议不会进入违反会计和安全规则的状态。此前 xrpld 3.4.0 版本已包含 LendingProtocolV1_1 修正案，引入了封闭式借贷金库和现金收付制会计，该修正案尚需通过 XRPL 的治理流程批准方可生效。