Después de 6 meses de construcción y pruebas, Jupiter Lend está oficialmente fuera de Beta. Con 83,000 usuarios, 7 auditorías, 1 verificación formal y $0 de deuda incobrable. Ahora estamos lanzando un concurso de auditoría de $107,000 con @code4rena 👇

En Breakpoint, hicimos open source @jup_lend. Hoy, celebramos otro hito importante: la verificación formal de @Certora, la firma que ha asegurado más de $100B en Aave, Uniswap y Coinbase. Esto va más allá de una auditoría. La verificación formal utiliza pruebas matemáticas para comprobar cada posible ruta de ejecución y combinación de estados.