본 논문은 분산 머신러닝 시스템에서 블록체인의 한계로 인해 외부 참여자에게 DNN 추론과 같은 리소스 집약적인 작업을 위임하는 상황에서 검증 가능한 컴퓨팅(VC)의 효율적인 적용을 제안합니다. 기존 방식의 복잡한 부울 인코딩, 고차 다항식, 대용량 조회 테이블 사용을 피하고 유한체 기반 증명 시스템과 호환되는 새로운 프레임워크인 \texttt{Range-Arithmetic}을 제시합니다. 고정 소수점 행렬 곱셈 후 반올림 및 ReLU와 같은 비산술 연산을 sum-check 프로토콜과 연결된 범위 증명을 사용하여 검증 가능한 산술 단계로 변환하는 방식입니다.
