Scallop Lend(@Scallop_io)에 대한 포괄적인 형식 검증 핵심 회계, 청산 계산, 접근 제어 및 고정 소수점 연산 전반에 걸쳐 강력한 정확성 속성을 입증했습니다. 이는 포지션 안전성부터 청산 환율에 이르기까지 모든 대차대조표 운영을 포괄합니다. 본 보고서는 당사가 발표한 첫 번째 전체 프로토콜에 대한 종합적인 형식 검증 보고서입니다. 자세한 내용과 보고서는 아래에서 확인하실 수 있습니다.