Probabilistic Spot-Check Verification
확률적 표본 검사 검증
전체 추론을 모두 재실행하지 않고 영수증 중 일부를 표본으로 골라 다시 계산하는 검증 방식입니다. 불일치가 발견되면 거부하고, 표본 수와 오류 비율에 따라 검출 확률이 1−(1−f )k 형태로 증가해 낮은 비용으로 대규모 결과를 점검합니다.
확률적 표본 검사 검증
전체 추론을 모두 재실행하지 않고 영수증 중 일부를 표본으로 골라 다시 계산하는 검증 방식입니다. 불일치가 발견되면 거부하고, 표본 수와 오류 비율에 따라 검출 확률이 1−(1−f )k 형태로 증가해 낮은 비용으로 대규모 결과를 점검합니다.
