1/ 我們自豪地分享 Kamino Earn Vaults 已經由 @CertoraInc 正式驗證——這是一個重大的安全里程碑 這確認了 Kamino Earn 符合最高的安全標準，使其成為 @solana 上最安全的收益產品 完全開源。經過 4 次審核。正式驗證。

2/ Kamino 自 2022 年 9 月推出以來一直沒有發生任何事故。 零智能合約失敗，零漏洞，沒有協議引起的壞債務。 這項正式驗證確認了使 Kamino 成為安全 DeFi 基礎設施基準的工程標準。

3/ 總之，正式驗證嚴格檢查 Kamino 的代碼在邏輯和數學上的正確性——確保合約的行為完全符合預期。 這是對 Kamino 已經高標準的智能合約安全性的一層額外保證。