经过6个月的构建和测试，Jupiter Lend正式推出了Beta版。 拥有83,000名用户，7次审计，1次正式验证，以及$0的不良债务。 现在我们正在与@code4rena推出一个$107,000的审计竞赛👇

在Breakpoint，我们开源了@jup_lend。 今天，我们庆祝另一个重要里程碑：来自@Certora的正式验证，这家公司已经为Aave、Uniswap和Coinbase保障了超过1000亿美元的资金。 这不仅仅是一次审计。正式验证使用数学证明来检查每一个可能的执行路径和状态组合。