Scallop Lend a réussi à compléter une vérification formelle complète réalisée par Asymptotic, le partenaire officiel d'audit de Mysten Labs. Le processus de vérification a confirmé la justesse mathématique des mécanismes fondamentaux de Scallop Lend, y compris sa logique comptable principale, les calculs de liquidation, le contrôle d'accès et l'arithmétique en virgule fixe. Cela représente une étape importante pour garantir la fiabilité et la sécurité du protocole.