Na 6 maanden bouwen en testen is Jupiter Lend officieel uit de Beta. Met 83.000 gebruikers, 7 audits, 1 formele verificatie en $0 slechte schulden Nu lanceren we een auditwedstrijd van $107.000 met @code4rena 👇

Bij Breakpoint hebben we @jup_lend open source gemaakt. Vandaag vieren we weer een belangrijke mijlpaal: formele verificatie van @Certora, het bedrijf dat meer dan $100B heeft beveiligd voor Aave, Uniswap en Coinbase. Dit gaat verder dan een audit. Formele verificatie gebruikt wiskundige bewijzen om elk mogelijk uitvoeringspad en elke staatcombinatie te controleren.