TecnologíaXRPL busca demostrar matemáticamente que su nuevo mercado de préstamos no puede ser vaciado
Los desarrolladores de XRPL verifican formalmente con Lean 4 su próximo protocolo de préstamos para evaluar si podría quedarse sin fondos o volverse insolvente. Common Prefix afirma que revisa el cumplimiento de las reglas contables y de seguridad durante depósitos, préstamos, pagos, incumplimientos y rescates. Una fase exploratoria detectó violaciones de invariantes, fallas en pagos, errores de redondeo y diferencias entre las especificaciones y la implementación.
C
CryptoSlate★★☆☆☆2026-09-18 15:35Original
XRPL busca demostrar matemáticamente que su nuevo mercado de préstamos no puede ser vaciado
Tecnología