Compass Investments

据RippleX的Vito Toumas称，Ripple正与RandD区块链公司Common Prefix密切合作，定义并正式验证XRP账本的关键要素：支付机制和共识协议。

更强大的附加功能是可能的，甚至包括极端情况存在与否的数学证明。简化！

新批准的附加组件将具有最高级别的安全性 -> XRPL 升级更加安全。

没有什么比数学保证更有说服力。

作为这项工作的一部分，Common Prefix 记录了 XRPL 支付系统，提供了该系统的第一个完整规范。这为支付机制和共识协议的正式验证铺平了道路，然后是 XRPL 的所有关键组件。

支付引擎管理所有的价值转移，包括复杂的交易，如去中心化交易所的交换和涟漪。共识协议是注册表的核心，可确保节点在共享状态方面保持一致。

这一举措是 XRPL 为未来十年的机构金融和去中心化突破做好准备的重要一步。

早在 2012 年，当 XRP Ledger 首次推出时，其创建者就有一个主要目标：利用有限的可用资源创建一个性能更好的区块链。

然而，主要障碍在于底层元素，即一个单一的 C 语言实现 xrpld，它是唯一的参考源。

XRP Ledger 正在不断发展，新的、高度复杂的功能不断被提出和实施。然而，将信用协议、MPT DEX 铸币、批量交易和已解决的 DEX 等复杂变化整合到 XRP Ledger 的长期既定逻辑中会引发问题。

有鉴于此，官方说明的创建形成了一个更加坚实的基础，有望为整个 XRP Ledger 生态系统带来实实在在的好处。

例如，传统测试只能检测是否存在缺陷，而正式方法则不同，它可以证明不存在某些类型的错误。