본 논문에서는 Azure 기밀 원장 서비스의 기반이 되는 오픈소스 플랫폼인 CCF(Confidential Consortium Framework)의 분산 프로토콜 정확성을 검증하기 위해 스마트 캐주얼 검증 방식을 적용한 사례를 소개합니다.