• 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

XRP账本借贷代码在主网投票前面临正式审查

2026-06-09 19:04:15
收藏

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。

免责声明:

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证,网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用,不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责,与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容,并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文
更多新闻
自选
我的自选
查看全部
市值 价格 24h%