RippleX 与区块链研发公司 Common Prefix 合作，发布了 XRP 账本支付引擎的首个正式规范，启动了将形式化验证（银行业和航空航天领域的标准）应用于核心账本组件的流程。这一基础性步骤旨在从数学角度证明未来修订的安全性，首先是支付引擎，随后是 2026 年的共识协议，从而增强借贷和去中心化交易所等复杂新功能的安全性。