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

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