🚨New: Kamino Lend has been formally verified by Certora, becoming the first Solana DeFi protocol to achieve this milestone. @KaminoFinance has now undergone 13 audits across its smart contracts and continues rolling audits with external partners. https://t.co/eyV102iav2