🛡 Scallop termine une vérification formelle complète par Asymptotic Scallop Lend a terminé une revue complète de vérification formelle réalisée par @AsymptoticTech, le partenaire d'audit officiel de @Mysten_Labs. La vérification prouve des propriétés de correction clés dans la comptabilité de base, les mathématiques de liquidation, le contrôle d'accès et l'arithmétique à virgule fixe. La sécurité reste une priorité essentielle pour Scallop. Cette vérification renforce la robustesse du protocole et reflète notre engagement continu à construire une infrastructure DeFi sécurisée et fiable sur @SuiNetwork. Nous continuerons à travailler en étroite collaboration avec Asymptotic pour renforcer davantage le protocole et ses fonctionnalités. Lisez le rapport complet :