일반 분포 특성에 대한 상호작용 증명

연구진이 알 수 없는 분포의 성질을 서브리니어 자원으로 검증할 수 있는 인터랙티브 증명 시스템을 제시했다.

검증자는 bounded-depth 회로나 bounded-depth 튜링 머신으로 판정 가능한 성질에 대해 주장 여부를 확인할 수 있다.

이 프로토콜은 doubly efficient하며, 샘플·시간·통신 비용이 거의 O(D+N^0.99)이고 라운드는 O(D log N)이다.

이를 통해 대규모 데이터셋에서 비싼 계산을 다시 하지 않고도 통계 분석의 정합성을 검증할 수 있다.