XRP Ledger 原生借贷功能获形式化验证，主网上线前再过一关

RippleX 开发团队正在对 XRP Ledger 的原生借贷代码进行形式化验证，目标是在验证者评估主网上线（Mainnet）之前，降低“隐藏”的 Layer-1 金融缺陷风险。此次审查聚焦两项提案：XLS-66 Lending Protocol 与 XLS-65 Single Asset Vaults。 该流程采用数学化、可被机器检验的模型（与协议研究机构 Common Prefix 协作），用于测试 XRP Ledger 的安全规则是否可能导致系统进入无效状态。其意图是发现传统测试可能遗漏的边界情形。XRPL 基金会验证者 Vet 将其视为“Fortress XRP”建设的一部分，但强调这并非认证。 若 XLS-66 获得启用，将通过单一资产金库（Single Asset Vaults）的池化流动性实现固定期限的无抵押贷款。贷款经纪方将设定条款并管理风险，而借款人信用审核在链下完成，资金上链前再触发。设计还包含可选的“first-loss”首损资本，用于在部分违约发生时先行吸收，并支持 XRP 及发行资产。合规控制可对符合条件的代币执行冻结或追偿。 能否激活取决于验证者支持：XRPL 3.1.0 已在 1 月加入借贷/金库修正的支持，随后版本（包括 3.1.3）也修复了金库与借贷相关的记账/不变式问题。文章还提到此前的 XRPL 安全工作，例如 3.1.1 版本对 Batch 交易的修复。 对交易者而言，这是 XRP Ledger 的安全与上线节奏信号，但短期内并不直接改变链上使用量或收入预期。