Gate News Nachricht: Am 15. März hat Scallop Lend eine umfassende formale Verifizierung durch Asymptotic (offizieller Audit-Partner von Mysten Labs) abgeschlossen. Die Verifizierung hat die mathematische Korrektheit der Kernmechanismen des Protokolls bestätigt, einschließlich der zentralen Buchführungslogik, Liquidationsberechnungen, Zugriffskontrolle und kritischer Module für Festkommaarithmetik.