经过 6 个月的开发和测试，Jupiter Lend 正式结束 Beta 测试阶段。 目前拥有 83,000 名用户，完成了 7 次审计，1 次正式验证，并且没有出现任何不良贷款。 现在，我们将携手 @code4rena 发起一项奖金高达 107,000 美元的审计竞赛👇

在 Breakpoint，我们开源了 @jup_lend。 今天，我们庆祝另一个重要的里程碑：获得 @Certora 的正式验证，该公司已为Aave、 Uniswap和 Coinbase 等平台提供了超过 1000 亿美元的安全保障。 这超越了简单的审计。形式化验证使用数学证明来检查每一种可能的执行路径和状态组合。