Tras 6 meses de desarrollo y pruebas, Jupiter Lend ha salido oficialmente de la fase beta. Con 83.000 usuarios, 7 auditorías, 1 verificación formal y 0 dólares de deuda incobrable Ahora lanzamos un concurso de auditoría de 107.000 dólares con @code4rena 👇

En Breakpoint, abrimos el código @jup_lend. Hoy celebramos otro hito importante: la verificación formal de @Certora, la empresa que ha asegurado más de 100.000 millones de dólares en Aave, Uniswap y Coinbase. Esto va más allá de una auditoría. La verificación formal utiliza demostraciones matemáticas para comprobar cada posible ruta de ejecución y combinación de estados.