Scallop Lend는 Mysten Labs의 공식 감사 파트너인 Asymptotic이 수행한 포괄적인 형식 검증을 성공적으로 완료했습니다. 검증 과정에서는 핵심 회계 논리, 청산 계산, 접근 제어 및 고정 소수점 산술을 포함한 Scallop Lend의 핵심 메커니즘의 수학적 정확성이 확인되었습니다. 이는 프로토콜의 신뢰성과 보안을 보장하는 데 있어 중요한 이정표를 의미합니다.