PANews는 3월 15일, Scallop Lend가 Asymptotic(Mysten Labs의 공식 감사 파트너)이 수행한 포괄적인 형식 검증을 완료했다고 보도했습니다. 이 검증을 통해 핵심 회계 로직, 청산 계산, 접근 제어 및 고정 소수점 연산을 포함한 프로토콜의 핵심 메커니즘의 수학적 정확성이 확인되었습니다.
Scallop은 Asymptotic이 수행한 모든 형식적 검증을 완료했습니다.
공유하기:
작성자: PA一线
이 내용은 시장 정보 제공만을 목적으로 하며, 투자 조언을 구성하지 않습니다.
PANews 공식 계정을 팔로우하고 함께 상승장과 하락장을 헤쳐나가세요
PANews 앱
24시간 블록체인 업계 소식을 추적하고 심층 기사를 분석합니다.