După 6 luni de construcție și testare, Jupiter Lend a ieșit oficial din Beta. Cu 83.000 de utilizatori, 7 audituri, 1 verificare formală și 0 dolari datorii neperformante Acum lansăm un concurs de audit de 107.000 de dolari cu @code4rena 👇

La Breakpoint, am făcut open source @jup_lend. Astăzi, sărbătorim o altă etapă importantă: verificarea formală din partea @Certora, firma care a obținut peste 100 de miliarde de dolari pe Aave, Uniswap și Coinbase. Aceasta depășește un simplu audit. Verificarea formală folosește demonstrații matematice pentru a verifica fiecare cale posibilă de execuție și combinație de stări.