Etter 6 måneder med bygging og testing er Jupiter Lend offisielt ute av beta. Med 83 000 brukere, 7 revisjoner, 1 formell verifisering og 0 dollar i dårlig gjeld Nå lanserer vi en revisjonskonkurranse på 107 000 dollar med @code4rena 👇

Hos Breakpoint gjorde vi @jup_lend åpen kildekode. I dag feirer vi en annen viktig milepæl: formell verifisering fra @Certora, firmaet som har sikret seg over 100 milliarder dollar på tvers av Aave, Uniswap og Coinbase. Dette går utover en revisjon. Formell verifisering bruker matematiske bevis for å sjekke alle mulige kombinasjoner av utførelsessti og tilstand.