Scallop Lend успешно завершил комплексную формальную верификацию, проведённую компанией Asymptotic, официальным аудитором Mysten Labs. В ходе проверки была подтверждена математическая корректность основных механизмов Scallop Lend, включая основную бухгалтерскую логику, расчёты ликвидации, контроль доступа и арифметику с фиксированной точкой. Это знаменует собой важный этап в обеспечении надёжности и безопасности протокола.