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

Na Breakpoint, disponibilizamos @jup_lend de código aberto. Hoje, celebramos mais um marco importante: a verificação formal da @Certora, a empresa que já garantiu mais de US$ 100 bilhões na Aave, Uniswap e Coinbase. Isso vai além de uma auditoria. A verificação formal utiliza provas matemáticas para verificar todas as possíveis combinações de caminho de execução e estado.