Po 6 měsících stavby a testování je Jupiter Lend oficiálně mimo betu. S 83 000 uživateli, 7 audity, 1 formální ověřením a 0 USD na špatné dluhy Teď spouštíme soutěž o audit v hodnotě 107 000 dolarů s @code4rena 👇

V Breakpointu jsme otevřeli @jup_lend. Dnes slavíme další významný milník: formální ověření od firmy @Certora, která získala přes 100 miliard dolarů napříč Aave, Uniswap a Coinbase. To přesahuje pouhý audit. Formální ověřování využívá matematické důkazy ke kontrole každé možné kombinace cesty a stavu.