Certora、Kamino Earn Vaultsの形式的検証を正式完了：DeFiセキュリティの飛躍的進歩

CertoraによるKamino Earn Vaultsの形式的検証がSolana上のDeFiセキュリティを強化し、スマートコントラクトの支払能力と信頼性を保証する仕組みを解説します。

2025年7月22日