Desenvolvedores do XRPL buscam provar matematicamente a segurança do novo mercado de empréstimos

Pesquisadores da Common Prefix estão utilizando a linguagem Lean 4 para verificar formalmente o protocolo de empréstimos do XRP Ledger (XRPL). O trabalho visa garantir que o protocolo não entre em estados que violem regras contábeis ou de segurança, especialmente após a introdução do LendingProtocolV1_1 na versão 3.4.0 do xrpld, que permite cofres de empréstimo de prazo fechado.