SecureCROWN 프레임워크를 통해 신경망의 프라이버시 보호 강건성 검증이 가능해졌어요. 모델 소유자와 데이터 소유자가 2PC를 통해 협력하여 프라이버시를 보호하면서 검증 경계를 계산해요. 조건부 연산을 연속 산술 연산으로 변환하고 뉴턴-랩슨 정제법을 도입하여 수치적 안정성을 높였어요. 다양한 모델 크기와 통신 환경에서 0.1초에서 200초 내에 검증을 완료하며 실용성을 입증했어요.