Efter sex månaders byggande och testning är Jupiter Lend officiellt ute ur beta. Med 83 000 användare, 7 revisioner, 1 formell verifiering och 0 dollar i dålig skuld Nu lanserar vi en revisionstävling på 107 000 dollar med @code4rena 👇
På Breakpoint öppnade vi källkoden @jup_lend. Idag firar vi en annan viktig milstolpe: formell verifiering från @Certora, företaget som har säkrat över 100 miljarder dollar över Aave, Uniswap och Coinbase. Detta går bortom en revision. Formell verifiering använder matematiska bevis för att kontrollera varje möjlig exekveringsväg och tillståndskombination.
515