在一个重要的里程碑中，XRPL支付引擎的正式规范已被公布。这标志着向银行和航空航天行业采用的标准——形式验证——迈出了核心XRP Ledger组件的关键一步。
据RippleX开发者Vito Tumas介绍，Ripple正与区块链研发公司Common Prefix合作，制定并正式验证XRP Ledger的关键组件：支付引擎和共识协议。
为此，Common Prefix已通过发布系统的首个全面规范，记录了XRPL的支付引擎。这为支付引擎的形式验证奠定了基础，随后将验证共识协议及“xrpld”的所有关键组件。
支付引擎是负责所有价值转移的系统，包括跨越去中心化交易所和波纹操作等复杂操作。共识协议是账本的核心，使节点能够就共同状态达成一致。
这一举措标志着XRPL迈向成熟，成为面向未来十年机构金融和去中心化创新的平台。
2012年，XRP Ledger首次上线时，其创建者的主要目标是：利用有限的资源打造一个更高效的区块链。
然而，对于基础组件而言，唯一的C++实现——xrpld，作为唯一的权威来源，带来了根本性挑战。
XRP Ledger不断推进，提出并加入了许多新颖且高度复杂的功能。然而，诸如借贷协议、多用途代币(MPT)、去中心化交易所（DEX）、批量交易和权限交易所（Permissioned DEXes）等复杂修正，必须融入已有数十年的逻辑体系中，这引发了诸多疑问。
在此背景下，建立正式规范将为整个XRP Ledger生态系统提供更坚实的基础，预期带来累积的益处。
例如，除了传统的测试方法（只能证明存在漏洞）之外，形式验证可能证明某些类别漏洞的不存在。
目前，支付引擎的规范已开始进行形式验证，预计到2026年共识协议的验证也将完成。
相关文章
