1/ Kamino Earn Vaultsが@CertoraIncによって正式に検証されたことをお知らせできることを誇りに思います — これは主要なセキュリティマイルストーンです これにより、Kamino Earn が最高の安全基準を満たしていることが確認され、@solana 上で最も安全な歩留まり製品となっています 完全にオープンソース。4回監査済み。正式に検証済み。

2/ カミノは2022年9月のローンチ以来、事故がありません。 スマートコントラクトの失敗、エクスプロイト、プロトコルによる不良債権なし この正式な検証は、Kamino を安全な DeFi インフラストラクチャのベンチマークにしたエンジニアリング標準を確認するものです

3/ つまり、形式検証では、カミノのコードが論理的および数学的に正確であるかどうかを厳密にチェックし、契約が意図したとおりに動作することを保証します これは、スマートコントラクトの安全性に関するカミノのすでに高い基準に加えて、追加の保証層です