セキュリティは、DeFiプロトコルの成功において重要な役割を果たします。web3の中で最も複雑な貸付プラットフォームの一つである @$aave の成功は、主にバグや脆弱性を防ぐことに依存しています。2020年以降、Certoraはプロトコルが高いセキュリティ基準を維持できるよう、継続的な形式的検証を通じて支援しています。🫡🛡️Certoraのサービスの更新が間もなく$DAOで投票にかけられることをお知らせできることを嬉しく思います。$Aaveとの過去の仕事を見てみましょう: 🧵