币圈界报道：

XRP账本借贷机制启动深层安全审计

当前，XRPL网络正在推进原生借贷功能的部署，核心焦点在于通过形式化验证手段评估其底层安全性。尽管XRP价格稳定在1.17美元附近，但技术演进与治理流程同步加速，其中借贷协议的激活仍需验证者集体批准。

核心协议开发进入形式化测试阶段

RippleX正联合审查与协议研究机构Common Prefix，对即将上线的XLS-66借贷协议及XLS-65单一资产金库进行数学建模分析。该流程旨在提前识别传统测试难以覆盖的边界状态和异常路径，尤其针对直接嵌入共识层的金融逻辑。

第一层安全验证突破传统测试局限

区别于依赖预设场景的常规测试，形式化验证采用抽象数学模型，全面探查系统在极端或未预期情况下的行为表现。工程师指出，当借贷逻辑直接运行于区块链第一层时，微小的会计误差可能被放大并影响所有应用，因此精确建模至关重要。

目前，团队已发现若干常规测试中未暴露的边缘情况。然而，验证结果高度依赖初始模型设定，无法完全排除潜在缺陷的存在。后续将通过对比实现代码与理论模型的一致性，定位潜在偏差。

借贷修正案需验证者集体决策方可生效

XLS-66提案将允许基于单一资产金库提供无抵押定期贷款，由链下信用评估决定借款人资格，资金则在链上完成转移。该机制引入可选优先亏损资本，以缓冲违约风险，实现承销与结算的分离。

单一资产金库结构避免多资产混合带来的会计复杂性，支持XRP及合规发行代币，并内置冻结与收回功能，增强对受监管资产的适配能力。尽管版本3.1.0已集成相关函数，但激活仍待修正案流程通过。

此前版本3.1.1因发现缺陷而取消批量处理支持，凸显测试严谨性的重要性。版本3.1.3修复了多项漏洞，而预计6月15日发布的3.2.0版本将正式启用xrpld命名体系，标志着基础设施升级完成。