最新消息：@KaminoFinance 宣布其收益库已获得 @CertoraInc 的正式验证，这是其在 @solana 上的收益产品的重要安全里程碑。