Після 6 місяців створення та тестування Jupiter Lend офіційно вийшов із бета-версії. З 83 000 користувачів, 7 аудитами, 1 офіційною верифікацією та $0 поганими боргами Тепер ми запускаємо конкурс аудиту на $107,000 разом із @code4rena 👇

У Breakpoint ми відкрили @jup_lend. Сьогодні ми святкуємо ще одну важливу віху: офіційну верифікацію від @Certora, компанії, яка забезпечила понад $100 млрд через Aave, Uniswap і Coinbase. Це виходить за межі аудиту. Формальна верифікація використовує математичні докази для перевірки кожного можливого шляху виконання та комбінації станів.