🚨新消息：Kamino Lend 已通过 Certora 正式验证，成为首个实现该里程碑的 Solana DeFi 协议。@KaminoFinance 目前已对其智能合约进行了 13 次审计，并与外部合作伙伴持续进行审计。 https://t.co/eyV102iav2