6 aylık yapım ve testten sonra, Jupiter Lend resmi olarak beta sürümünden çıktı. 83.000 kullanıcı, 7 denetim, 1 resmi doğrulama ve 0 dolarlık kötü borç Şimdi ise 107.000 dolarlık bir denetim yarışması başlatıyoruz @code4rena 👇

Breakpoint'te @jup_lend açık kaynak yaptık. Bugün, başka önemli bir dönüm noktasını kutluyoruz: Aave, Uniswap ve Coinbase genelinde 100 milyar dolardan fazla güvence altına alan firma @Certora'dan resmi doğrulama. Bu sadece bir denetimin ötesine geçiyor. Resmi doğrulama, her olası yürütme yolu ve durum kombinasyonunu kontrol etmek için matematiksel ispatlar kullanır.