1/ Estou entusiasmado em anunciar que o Kamino Lend foi formalmente verificado pela @osec_io — elevando nosso total de verificações formais para 4 Isso estabelece ainda mais o Kamino como o padrão ouro para segurança e proteção no DeFi da @solana Código aberto. 18 auditorias. 4 verificações formais.