1/ Animado em anunciar que 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 em @solana DeFi Código aberto. 18x auditorias. 4x verificações formais.