CoinScoopXRPL busca probar matemáticamente la seguridad de su nuevo mercado de préstamos
Desarrolladores de XRP Ledger (XRPL) están utilizando pruebas matemáticas para verificar que su próximo mercado de préstamos no pueda ser drenado ni volverse insolvente. La firma Common Prefix está empleando Lean 4 para asegurar que el protocolo cumpla con sus reglas contables y de seguridad, especialmente tras la implementación de la enmienda LendingProtocolV1_1 en la versión 3.4.0 del software, que introduce bóvedas de préstamos a plazo fijo.
Los resúmenes los escribe una IA a partir del artículo original. No es asesoramiento de inversión.