🎄 圣诞季相遇 Gate 广场,共享节日惊喜!
🎉 Gate 广场社区成长值「圣诞抽奖狂欢」第 1️⃣ 5️⃣ 期火热开启!
立即参与 👉 https://www.gate.com/activities/pointprize?now_period=15
✨ 如何参与?
1️⃣ 前往 Gate 广场【积分中心】完成日常任务,轻松赚取成长值
2️⃣ 每累计 300 成长值,即可抽奖一次!
🎁 圣诞豪礼等你解锁:
金条 10g、Gate 圣诞限定周边等超值好礼,统统带回家!
📅 12 月 18 日 - 12 月 26 日 24:00 (UTC+8)
🎅 圣诞好运不停,惊喜轮番来袭!
了解更多 👉 https://www.gate.com/announcements/article/48766
#BTC #ETH #SOL #GT
XRP Ledger 通过支付引擎添加军用级别的安全性
动机非常明确,Ripple 也没有粉饰太平。XRPL 已运行超过十年且无停机,但团队认为,长时间的良好记录并不等同于可证明的正确性。在 12 月 17 日以 RippleX 开发者名义发布的 DEV 社区帖子中,作者写道:“为了为下一代复杂功能准备账本,我们必须从经验成功转向数学上的确定性。”
XRP Ledger 安全的转折点
整个基调都是如此:少一些胜利庆祝,多一些工程债务披露。在 XRPL 的大部分生命期内,C++ 实现 (xrpld) 实际上是核心行为的唯一权威来源。Ripple 的文章指出了这一模型的实际问题:“代码用非常精确的 C++ 术语告诉我们它做了什么,但并不总是告诉我们为什么。” 换句话说,当代码成为规范时,就很难区分有意的设计选择和仅仅因为没有出错而持续的历史行为。
相关阅读:XRP 在最新 CME 更新中再获胜利——详情 随着新修正案的到来,这个差距开始变得更加重要。Ripple 直接指出一系列复杂功能的管道——包括借贷、与多用途代币 (MPTs) 相关的去中心化交易所(DEX)工作、批量交易和许可型 DEX 概念——并警告说,随着新模块“融入到已有数十年的账本逻辑中”,系统状态的可能数量迅速扩大。
已发布的规范托管在 GitHub 上,标记为进行中,但已被视为一个严肃的技术成果:“一份面向开发者的技术规范文件,用于实现或验证 XRPL 支付系统行为。” 它还用通俗语言阐述了系统的核心:支付引擎是“计算价值应如何流动并执行这些操作的部分”,使支付可以跨越“信任线、MPTs、多单、AMMs 和直接 XRP”进行。
然而,更深层次的意义在于这为下一步开启了什么。Ripple 的帖子提出了两个目标。首先,是一个可读性强的规范,减少歧义,成为构建者和研究人员的权威参考。第二,是一个可机器验证的模型——规范的数学表示——可以支持关于系统属性的机械证明,以及拟议变更是否违反核心安全保障。
相关阅读:加密交易者不再大量押注 XRP,发生了什么?它还明确了范围纪律。Ripple 认为,一次性规范整个账本是不现实的:“一次性规范整个系统的成本过高且耗时。” 因此,工作重点放在它所描述的两个最关键和复杂的组件上:支付引擎和共识协议。
特别是,共识被视为不可协商的基础设施。Ripple 描述它为“账本的核心”,并补充说:“它的正确性是不可谈判的,支撑着整个网络的安全性和活跃性。”
其目标是正式建模机制,以证明诸如活跃性、安全性和最终性等属性。在时间安排上,Ripple 明确表示这只是起点,而非终点。在发布支付引擎规范后,团队表示计划在 2026 年开始对支付引擎和共识协议进行正式验证工作。
结尾一句话概括了未来方向:“从代码作为真理向数学作为真理的转变正在进行中。”
在 XRP 社区中,这一公告引发了预料之中的狂热。“绝对是游戏规则的改变者!……航天和军事级别的安全即将到来,”XRPL 验证者兼社区成员 Vet 写道,并补充:“XRP Ledger 正在获得其第一个支付引擎的正式规范。通过数学方式规范关键协议组件[…] 基本上,这是审计的终极武器,也是实现复杂功能或客户端多样性的关键。”
截止发稿时,XRP 交易价格为 $1.83。