Scallop завершила полную формальную верификацию, проведенную компанией Asymptotic.

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