XRP账本借贷审查聚焦第一层安全性
验证者仍需批准XRPL借贷修正案。RippleX正在测试XRPL借贷代码,之后验证者才会考虑主网激活。形式化验证可能发现常规测试遗漏的记账和状态错误。XLS-66将引入由单一资产金库流动性支持的定期贷款。XRP交易价格接近1.17美元,同时XRPL正在进行技术和治理更新。
RippleX开发者正在对XRP账本借贷代码进行形式化验证
在功能推进至主网激活之前,这一工作涵盖计划的XLS-66借贷协议和XLS-65单一资产金库,这些将为XRPL添加原生借贷功能。审查与协议研究公司Common Prefix合作进行,目标是在验证者决定是否激活前,测试借贷设计是否可能进入不安全状态。这一流程至关重要,因为XRPL计划将借贷直接嵌入其基础协议,这与许多DeFi系统不同——后者通常由独立的智能合约处理借贷。
XRP账本借贷审查聚焦第一层安全性
形式化验证利用数学模型测试定义的安全规则。它不仅检查预期场景,还询问系统是否可能超出其设计意图运行。Ripple工程师Vito Tumas表示,当DeFi直接运行在第一层时,传统测试存在局限性。标准测试依赖于开发者已经设想的情景,而形式化模型可以搜索更广泛的状态空间。RippleX表示,当前工作集中于单一资产金库和借贷协议。这些功能引入了与金库份额、贷款条款、利息、违约、冻结和收回相关的金融逻辑。
这种复杂性使得会计精度至关重要。当交易在众多用户间重复执行时,微小的舍入或余额错误可能被放大。在基础层系统中,这些错误可能影响使用该功能的每个应用。Common Prefix的流程创建了预期行为的抽象模型,开发者随后将结果与xrpld实现进行对比。任何不匹配都可能揭示潜在缺陷或设计问题。RippleX表示,早期建模已经发现了常规测试遗漏的边界情况。但这并不能证明软件没有漏洞——形式化验证的效果取决于所选的模型和属性。
验证者仍需批准XRPL借贷修正案
XLS-66将允许通过单一资产金库提供定期、无抵押贷款。贷款经纪人将设定条款并管理风险。借款人的信用审查在链下进行,之后资金才会在链上转移。该设计还支持可选的优先亏损资本,这部分资本可以在金库存款人承担损失之前吸收部分违约。该模型旨在将承销决策与链上结算分离。
单一资产金库将单一资产汇集以供借贷市场使用。这种结构避免了混合资产池,并可能限制跨资产会计风险。同时,根据协议规则,它支持XRP和已发行资产。合规控制可适用于符合条件的已发行代币,包括在代币规则允许的情况下的冻结和收回功能。这种设计可能使系统更适用于受监管资产。
XRPL版本3.1.0已于1月添加了对借贷和金库修正案的支持。该版本引入了SingleAssetVault和LendingProtocol函数,但激活仍取决于修正案流程。网络已对拟议的核心功能表达谨慎态度。版本3.1.1在研究人员发现拟议修正案中的缺陷后禁用了批量支持。这一案例加强了对激活前测试的重视。XRPL版本3.1.3随后添加了与NFT、许可域名、金库、借贷协议和多用途代币相关的修复。XRPL版本3.2.0预计将于6月15日左右发布,并将核心服务器软件从rippled更名为xrpld。
XRP

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注