XRP账本支付引擎规范提升安全性

  |  

Ripple在加强 XRP 账本协议安全性方面迈出了重要一步,公布了其核心支付引擎的详细蓝图,为网络更复杂的功能做好准备。

Ripple发布了XRP 分类账支付引擎的首个正式规范,将其定位为XRPL 进入功能更丰富的时代的基础性升级。

该文件由与形式化方法公司Common Prefix合作发布,旨在作为支付和跨资产价值转移如何在账本上直接运作的权威参考。

XRPL 已连续运行十余年,从未出现宕机,但 Ripple 认为这一运行记录并不等同于可证明的正确性。在12 月 17 日发表于 DeV 社区、以RippleX Developers名义发布的一篇文章中,作者写道:“为了让账本能够支持下一代复杂功能,我们必须超越经验上的成功,追求数学上的确定性。”

尽管如此,此次公告的语气依然严肃而技术性,而非欢庆。在 XRP 分类账的大部分历史中,C++ 实现(XRPLD)实际上一直是核心行为的唯一权威来源。

然而,Ripple 的帖子指出了这种方法的一个关键局限性:“代码用非常精确的 C++ 术语告诉我们它做了什么,但它并不总是告诉我们为什么。”

当源代码同时作为事实上的规范时,就很难区分有意为之的设计选择和仅仅因为没有出现故障而沿用至今的历史行为。此外,随着新的协议修订被层层叠加到正在运行的、全球使用的系统中,这种模糊性会变得更加危险。

Ripple 指出,其正在开发一系列高级功能,包括借贷、与多用途代币 (MPT) 相关的去中心化交易所 (DEX) 、批量交易以及许可型 DEX 概念。随着这些模块“融入沿用数十年的账本逻辑”,系统可能的状态数量迅速增加,如果行为规范不够严格,则会增加出现隐蔽故障的风险。

新发布的支付引擎规范托管在 GitHub 上,并被标记为正在开发中,它被定位为一份严肃的技术文档,“旨在供实现或验证 XRPL 支付系统行为的开发人员使用”。它还用通俗易懂的语言概括了支付引擎的作用:它“确定价值应该如何流动,然后执行这些操作”,协调跨信任线、MPT、订单簿、AMM 和直接XRP余额的流动。

这份文件更深层次的愿景在于它所开启的后续篇章。Ripple 提出了一个包含两部分的目标:首先,制定一个易于理解的规范,以减少歧义,并成为构建者、节点运维人员和研究人员的权威参考;其次,构建一个机器可验证的模型,即该规范的数学表示,能够支持对系统属性的机械证明。

借助这种模型,工程师可以在拟议的变更正式上线之前,检查其是否会威胁到核心协议的安全保障。此外,这种方法还为基于 XRPL 构建的关键金融基础设施提供了更强大的测试能力、更自动化的系统行为推理能力以及更高的安全性保障。

Ripple 对范围控制有着明确的立场。团队认为,试图一次性正式定义整个账本“成本和时间都将极其高昂”。因此,他们首先专注于两个最关键、最复杂的组件: XRPL 支付引擎和共识协议。

XRPL共识协议被视为网络核心不可协商的基础设施。Ripple将共识描述为“账本的核心”,强调其正确性“不可协商”,并以此支撑整个系统的安全性和实时性。

既定目标是创建该机制的正式模型,以证明其活性、安全性和最终性等属性。

然而,Ripple强调,此次发布的规范仅仅是起点,而非终点。在发布支付引擎规范之后,团队计划于2026年开始对支付引擎和共识协议进行形式化验证的XRPL工作。

在这份路线图中, XRP账本支付引擎规范是“从代码即真理到数学即真理”转变的首要支柱。Ripple认为,随着账本吸收更复杂的DeFi式功能、机构集成以及需要强安全保障的长期金融合约,这种转变至关重要。

XRP社区对此反响热烈。一位 XRPL 验证者和社区成员称赞这项工作“绝对是颠覆性的!……即将实现航空航天和军用级别的安全性”,并指出该账本正在获得其支付引擎的首个正式规范,通过数学方式明确关键协议组件,这将“为最终的审计以及复杂功能或客户多样性等其他功能奠定基础”。

截至发稿时,根据TradingView.com提供的价格数据及图表显示, XRP 的交易价格为1.83 美元。此外,Ripple 的公告标志着主流区块链网络在技术风险管理方面正在发生更广泛的变革,将形式化方法从研究领域提升到生产路线图层面。

总而言之,Ripple 与Common Prefix合作制定正式的支付引擎规范,标志着在多年推进 XRPL 核心组件的数学基础保障的第一步,支付引擎和共识协议的形式化验证工作计划于2026 年开始。

推荐阅读

相关文章

Upbit遭黑客攻击:Solana平台被盗3700万美元

韩国领先的交易所Upbit在 Solana 平台上遭遇了价值3700 万美元的严重黑客攻击,导致其代币被盗,迫使该平台暂时停止提现。据Upbit发布的一份声明称,周四凌晨, Solana网络上检测到异常的加密货币提款,金额约为540 亿韩元,相当于约3680 万美元。

埃里克·特朗普澄清称他没有参与 Tron 的 IPO

美国总统唐纳德·特朗普的儿子埃里克·特朗普澄清说,他没有公开参与TRX背后的加密货币公司Tron的IPO。实际上,尽管Tron计划在美国上市,但埃里克表示,他是Tron和孙宇晨的忠实粉丝,但并未参与其中。据英国《金融时报》报道,TRX背后的加密货币公司Tron似乎正在计划在美国公开募股。

小唐纳德·特朗普否认有关 Truth Social 的 memecoin 的谣言

最近几天,一系列谣言震动了加密货币世界,这些谣言暗示唐纳德·特朗普总统创立和支持的社交平台 Truth Social 即将推出一种 memecoin。然而,这些谣言很快遭到小唐纳德·特朗普的否认。他将此类说法描述为“虚假信息”,并警告用户谨防上当受骗。

PayPal 在股票交易所的股价创下年度新高

对于股票市场上的PayPal来说,过去几年尤为艰难。然而,现在它终于开始喘息,创下了 2024 年的最高纪录。 PayPal 于 2015 年上市。直到 2020 年疫情爆发之前,其股价一直在持续上涨,尽管涨幅并不大,但在五年内从不到 40 美元上涨至 120 多美元。

埃隆马斯克和特朗普帮助比特币,也帮助狗狗币

特朗普与埃隆·马斯克密切合作取得的选举胜利不仅对比特币产生了积极影响,而且对狗狗币也产生了积极影响。在之前的 2020 年选举中,埃隆·马斯克站在拜登的民主党一边,对抗唐纳德·特朗普。但拜登政府令他大失所望,所以这几年他改变了主意。事实上,在某个时候,他决定公开支持特朗普,有效地为他做选举宣传。

Vitalik Buterin 在 Token2049 上演唱并称赞以太坊 L2 的低费用

在新加坡的Token2049活动上,Vitalik Buterin也首次公开演唱了一首加密主题歌曲。这位以太坊创始人称赞了ETH layer-2的低费用,并表示加密行业必须在保持去中心化的同时满足主流的需求。在新加坡Token2049上,以太坊创始人Vitalik Buterin亮相并演唱了一首加密主题歌曲。