Setelah 6 bulan membangun dan menguji, Jupiter Lend secara resmi keluar dari Beta. Dengan 83.000 pengguna, 7 audit, 1 verifikasi formal, dan hutang macet $0 Sekarang kami meluncurkan kontes audit senilai $107.000 dengan @code4rena 👇

Di Breakpoint, kami membuka @jup_lend. Hari ini, kami merayakan tonggak penting lainnya: verifikasi formal dari @Certora, perusahaan yang mengamankan lebih dari $100 miliar di Aave, Uniswap, dan Coinbase. Ini melampaui audit. Verifikasi formal menggunakan bukti matematis untuk memeriksa setiap jalur eksekusi yang mungkin dan kombinasi status.