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