Após 6 meses de construção e testes, o Jupiter Lend está oficialmente fora da Beta. Com 83.000 usuários, 7 auditorias, 1 verificação formal e $0 de dívida ruim Agora estamos lançando um concurso de auditoria de $107.000 com @code4rena 👇

Na Breakpoint, tornámos o @jup_lend open source. Hoje, celebramos outro marco importante: a verificação formal da @Certora, a empresa que garantiu mais de $100B em Aave, Uniswap e Coinbase. Isto vai além de uma auditoria. A verificação formal utiliza provas matemáticas para verificar cada possível caminho de execução e combinação de estados.