經過 6 個月的開發和測試，Jupiter Lend 正式結束 Beta 測試階段。 目前擁有 83,000 名用戶，完成了 7 次審計，1 次正式驗證，並且沒有出現任何不良貸款。 現在，我們將攜手 @code4rena 發起一項獎金高達 107,000 美元的審計競賽👇

在 Breakpoint，我們開源了 @jup_lend。 今天，我們慶祝另一個重要的里程碑：獲得 @Certora 的正式驗證，該公司已為Aave、 Uniswap和 Coinbase 等平台提供了超過 1000 億美元的安全保障。 這超越了簡單的審計。形式化驗證使用數學證明來檢查每一種可能的執行路徑和狀態組合。