Po 6 miesiącach budowania i testowania, Jupiter Lend oficjalnie wychodzi z etapu Beta. Z 83 000 użytkowników, 7 audytami, 1 formalną weryfikacją i 0 zł złych długów. Teraz uruchamiamy konkurs audytowy o wartości 107 000 $ z @code4rena 👇

Na Breakpoint otworzyliśmy kod źródłowy @jup_lend. Dziś świętujemy kolejny ważny kamień milowy: formalną weryfikację od @Certora, firmy, która zabezpieczyła ponad 100 miliardów dolarów w Aave, Uniswap i Coinbase. To wykracza poza audyt. Formalna weryfikacja wykorzystuje dowody matematyczne do sprawdzenia każdej możliwej ścieżki wykonania i kombinacji stanów.