🛡 Scallop dokončuje komplexní formální ověření pomocí asymptotické metody Scallop Lend dokončila komplexní formální ověřovací přezkum provedený @AsymptoticTech, oficiálním auditorským partnerem @Mysten_Labs. Ověření dokazuje klíčové vlastnosti správnosti v oblasti základního účetnictví, likvidační matematiky, řízení přístupu a aritmetiky s pevnou desetinnou čárkou. Bezpečnost zůstává pro Scallop klíčovou prioritou. Toto ověření posiluje robustnost protokolu a odráží náš pokračující závazek budovat bezpečnou a spolehlivou DeFi infrastrukturu na @SuiNetwork. Budeme i nadále úzce spolupracovat s Asymptotic na dalším posílení protokolu a jeho funkcí. Přečtěte si celou zprávu: