Ripple 测试 XRP Ledger 借贷代码是否存在隐藏的 Layer-1 缺陷

RippleX 开发人员正在主网激活之前对 XRP Ledger 计划的原生借贷系统进行正式验证。它涵盖 XLS-66 借贷协议和 XLS-65 单一资产库。

摘要

Ripple 和 Common Prefix 正在正式验证 XRPL 借贷代码，然后验证者才会考虑激活主网。
正式模型可以揭示第一层金融系统中传统测试可能遗漏的边缘情况。
XLS-66 利用池库流动性和链下借款人信用风险评估来实现定期无抵押贷款。

在 Ripple 工程师 Vito Tumas 分享了 RippleX 验证系列的第二部分后，XRPL 基金会验证者 Vet 提请关注该评论。其目的是发现正常测试可能遗漏的缺陷。

Ripple 对 XRPL 借贷应用形式化验证

“当你将 DeFi 直接构建到 Layer-1 时，传统测试是不够的，”Tumas 说。标准测试检查开发人员期望的场景。形式验证使用数学模型来检查系统是否可以进入无效状态。

Ripple 正在与协议研究公司 Common Prefix 合作。团队创建预期行为的抽象模型，并使用机器可检查的方法来测试安全规则，然后根据 xrpld 实现检查结果。

Vet 将这项工作描述为构建“Fortress XRP”的一部分。他表示，贷款协议正在接受基于高风险软件所使用方法的审查。该标签是他的评估，而不是认证。

Upcoming Lending Protocol is getting Formal Verification 👀!!

The tech used to safeguard nuclear power plants, airplanes, military systems is being applied to the $XRP Ledger.

Call it Fortress XRP.

XRP's native DeFi (no smart contracts) meets best in class security standards… https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS
— Vet (@Vet_X0) June 8, 2026

第一层借贷增加了编码错误的成本

XRPL 计划将借贷功能置于其基础协议中，而不是依赖于单独的智能合约。该设计可以简化访问，但核心代码中的缺陷可能会影响使用该功能的每个应用程序。

贷款时间表、利息计算、违约、金库份额、冻结规则和追回创造了许多可能的相互作用。重复的交易中，小的会计或舍入误差可能会增加，因此在审核过程中罕见的边缘情况变得非常重要。

RippleX 此前表示，形式化方法可以证明不存在已定义的错误类别，而不仅仅是表明测试用例有效。该过程无法证明软件没有弱点，因为每个证明都取决于所选的模型和属性。

此次审查是在之前涉及批量交易的 XRPL 安全案例之后进行的。在 Pranamya Keshkamat 和 Cantina AI 发现拟议修正案中的缺陷后，3.1.1 版本禁用了 Batch 支持。

XLS-66 激活前仍需要验证器支持

XLS-66 将允许通过单一资产库提供定期、无抵押贷款。贷款经纪人将设定条款并管理风险，而链下承销将在资金转移到链上之前评估借款人。

该设计包括可选的首次损失资本，用于在金库存款人遭受损失之前吸收部分违约金。它还支持 XRP 和已发行的资产，而合规控制可以冻结或收回符合条件的代币。

XRPL 3.1.0 版本在 1 月份增加了对借贷和金库修订的支持。这些功能仍需接受修订过程，除非验证者保持所需的支持，否则无法激活。

正如 crypto.news 之前报道的，XRP Ledger 3.2.0 的目标是 6 月 15 日发布，并将把网络的核心服务器软件从rippled重命名为xrpld。此次升级遵循版本3.1.3，该版本添加了金库和贷款工具的会计和不变修复。