Dopo 6 mesi di costruzione e test, Jupiter Lend è ufficialmente uscito dalla fase Beta. Con 83.000 utenti, 7 audit, 1 verifica formale e $0 di debito cattivo Ora stiamo lanciando un concorso di audit da $107.000 con @code4rena 👇

A Breakpoint, abbiamo reso open source @jup_lend. Oggi celebriamo un altro traguardo importante: la verifica formale da parte di @Certora, l'azienda che ha garantito oltre 100 miliardi di dollari tra Aave, Uniswap e Coinbase. Questo va oltre un audit. La verifica formale utilizza prove matematiche per controllare ogni possibile percorso di esecuzione e combinazione di stati.