🛡 Scallop kończy kompleksową formalną weryfikację przeprowadzoną przez Asymptotic Scallop Lend zakończył kompleksowy przegląd formalnej weryfikacji przeprowadzonej przez @AsymptoticTech, oficjalnego partnera audytowego @Mysten_Labs. Weryfikacja potwierdza kluczowe właściwości poprawności w zakresie podstawowej księgowości, matematyki likwidacyjnej, kontroli dostępu i arytmetyki stałoprzecinkowej. Bezpieczeństwo pozostaje kluczowym priorytetem dla Scallop. Ta weryfikacja wzmacnia solidność protokołu i odzwierciedla nasze ciągłe zaangażowanie w budowanie bezpiecznej i niezawodnej infrastruktury DeFi na @SuiNetwork. Będziemy nadal ściśle współpracować z Asymptotic, aby dalej wzmacniać protokół i jego funkcje. Przeczytaj pełny raport: