1/ 我们很自豪地与大家分享，Kamino Earn Vaults 已通过 @CertoraInc 的正式验证——这是一个重要的安全里程碑 这证实了 Kamino Earn 符合最高安全标准，使其成为 @solana 上最安全的收益产品 完全开源。4 倍经审计。正式验证。

2/ Kamino 自 2022 年 9 月推出以来一直没有发生任何事故。 零智能合约失败，零漏洞，没有协议引起的不良债务。 这种正式验证确认了使 Kamino 成为安全 DeFi 基础设施基准的工程标准。

3/ 简而言之，形式验证严格检查Kamino的代码在逻辑和数学上的正确性——确保合约的行为完全符合预期。 这为Kamino已经很高的智能合约安全标准增加了一层保障。