DSperse는 전략적인 암호화 검증을 포함하는 분산 머신러닝 추론을 위한 모듈식 프레임워크입니다. 분산 제로지식 머신러닝의 새로운 패러다임 내에서 작동하는 DSperse는 전체 모델 회로화의 높은 비용과 경직성을 피하기 위해 전략적으로 선택된 하위 계산의 표적 검증을 가능하게 합니다. 이러한 검증 가능한 세그먼트 또는 "슬라이스"는 추론 파이프라인의 일부 또는 전부를 포함할 수 있으며, 감사, 복제 또는 경제적 인센티브를 통해 전역 일관성이 유지됩니다. 이 아키텍처는 실용적인 형태의 신뢰 최소화를 지원하여 제로지식 증명을 가장 큰 가치를 제공하는 구성 요소에 국한시킵니다. 여러 증명 시스템을 사용하여 DSperse를 평가하고 슬라이스 및 슬라이스되지 않은 구성에서 메모리 사용량, 실행 시간 및 회로 동작에 대한 실험 결과를 보고합니다. 증명 경계를 모델의 논리적 구조에 유연하게 맞출 수 있도록 함으로써 DSperse는 다양한 배포 요구 사항에 적합한 확장 가능하고 표적화된 검증 전략을 지원합니다.