6개월간의 개발 및 테스트를 거쳐 Jupiter Lend가 공식적으로 베타 테스트를 종료했습니다. 사용자 83,000명, 감사 7건, 형식 검증 1건, 부실채권 0달러 지금 @code4rena와 함께 10만 7천 달러 규모의 감사 콘테스트를 시작합니다 👇

Breakpoint에서는 @jup_lend를 오픈 소스로 공개했습니다. 오늘 우리는 또 하나의 중요한 이정표를 세웠습니다. 바로 아베(AAVE), 유니스왑(Uniswap) , Coinbase 등에서 1,000억 달러 이상의 자산을 안전하게 관리해 온 Certora로부터 형식 검증 . 이는 단순한 감사를 넘어섭니다. 형식 검증 수학적 증명을 사용하여 가능한 모든 실행 경로와 상태 조합을 확인합니다.