🛡 Scallop завершает комплексную формальную проверку от Asymptotic Scallop Lend завершил комплексный обзор формальной проверки, проведенный @AsymptoticTech, официальным аудитором @Mysten_Labs. Проверка подтверждает ключевые свойства корректности в области основного учета, математики ликвидации, контроля доступа и арифметики с фиксированной точкой. Безопасность остается основным приоритетом для Scallop. Эта проверка укрепляет надежность протокола и отражает нашу постоянную приверженность созданию безопасной и надежной инфраструктуры DeFi на @SuiNetwork. Мы продолжим тесно сотрудничать с Asymptotic, чтобы еще больше укрепить протокол и его функции. Читать полный отчет: