区块链文库报道：

这是一个意义非凡的里程碑，第一个正式规范是支付引擎现已发布。这标志着将形式化验证（一种在银行业和航空航天领域使用的标准）引入 XRP 分类账核心组件方面迈出了重要一步。

据RippleX开发者称Ripple 正在与区块链研发公司 Common Prefix 合作，以明确并正式验证 XRP 账本的关键组件：支付引擎和共识协议。

可以进行更安全的修改，特殊情况的存在与否可以通过数学方法证明。太棒了！

经过正式验证的新增内容将具有最高的安全性——> XRPL 更新将更加安全。

没有什么比数学上的确定性更好了。

真正的考古活动正在发生。

— Vet (@Vet_X0)

为此，Common Prefix 发布了 XRPL 支付引擎的首个全面规范，并对其进行了文档化。这为支付引擎的形式化验证奠定了基础，随后将进行共识协议的验证，以及“xrpld”所有关键组件的验证。

支付引擎负责所有价值转移，包括诸如去中心化交易所和涟漪效应等复杂操作。共识协议是账本的核心，使节点能够就共同状态达成共识。

这项举措标志着 XRPL 向成熟化迈出了关键一步，使其成为一个能够迎接未来十年机构金融和去中心化创新的平台。

预期情况

2012年，当Ledger 最初上线时，其创建者只有一个主要目标：利用有限的资源创建一个新的、更高效的区块链。

然而，对于基础组件而言，唯一的 C++ 实现 xrpld（作为唯一的权威真理来源）带来了根本性的挑战。

XRP Ledger 正在不断发展，不断提出并添加新的、高度复杂的功能。然而，诸如借贷协议、多用途代币 (MPT) 去中心化交易所 (DEX)、批量交易和许可型 DEX 等复杂的修改必须整合到 XRP Ledger 沿用数十年的逻辑中，这引发了一些疑问。

从这个角度来看，制定正式规范将为整个 XRP 分类账生态系统奠定更坚实的基础，有望带来累积效益。

例如，形式化方法可以证明某些类型的缺陷不存在，而不是仅仅依赖于只能证明缺陷存在的传统测试。

目前，支付引擎规范正在构建中，形式验证即将开始，共识协议的构建将于 2026 年进行。