O XRP Ledger (XRPL) lançou a primeira especificação formal de seu motor de pagamento principal, aprimorando a confiabilidade das transferências de XRP e dos pagamentos multiativos. Desenvolvida em colaboração com o parceiro de verificação formal Common Prefix, esta especificação utiliza provas matemáticas para garantir uma lógica de transação previsível e auditável. Esse avanço tem como objetivo fortalecer a confiabilidade da infraestrutura a longo prazo das aplicações financeiras na rede XRPL.