🚨新消息：Kamino Lend 已通過 Certora 正式驗證，成爲首個實現該里程碑的 Solana DeFi 協議。@KaminoFinance 目前已對其智能合約進行了 13 次審計，並與外部合作伙伴持續進行審計。 https://t.co/eyV102iav2