🛡 Scallop hat eine umfassende formale Überprüfung durch Asymptotic abgeschlossen. Scallop Lend hat eine umfassende formale Überprüfungsprüfung durchgeführt von @AsymptoticTech, dem offiziellen Prüfpartner von @Mysten_Labs. Die Überprüfung beweist wichtige Korrektheitseigenschaften in den Bereichen Kernbuchhaltung, Liquidationsmathematik, Zugriffskontrolle und Festkommaarithmetik. Sicherheit bleibt eine Kernpriorität für Scallop. Diese Überprüfung verstärkt die Robustheit des Protokolls und spiegelt unser fortwährendes Engagement wider, eine sichere und zuverlässige DeFi-Infrastruktur auf @SuiNetwork aufzubauen. Wir werden weiterhin eng mit Asymptotic zusammenarbeiten, um das Protokoll und seine Funktionen weiter zu stärken. Lesen Sie den vollständigen Bericht: