대화 형 증거 시스템 의 완전성과 건전성은 다음과 같이 비공식적으로 정의됩니다.
완전성 : 진술이 사실이면, 정직한 증명 자는이 사실을 정직한 검증 자 에게 확신시킬 수 있습니다 whp .
건전성 : 진술이 허위 일 경우, 부정 행위를 한 입증 인은 정직한 검증 자 (허위 진술의 타당성)를 확신 할 수 없습니다.
"whp"라는 용어는 "(2/3보다 큰 확률로)"또는 "다항식의 역수보다 큰 확률로"해석된다. "whp"의 어떤 해석을 선택해야하는지에 대해서는 다음과 같은 논의에서 중요하지 않은 것 같습니다.
일부 소스에서 확률이의 임의의 동전을 점령되어 까다로운 부분은 확률을 계산하는 방법입니다 모두 피 인증 및 검증. 다른 출처에서 확률은 검증기의 무작위 동전에 대해서만 계산됩니다. 후자는 일반적으로 다음과 같이 정당화됩니다. "발표자의 무작위 동전이 무엇이든 검증자는 올바른 결정을 내립니다."
나에게 확률에 대한 두 가지 정의는 동등한 것으로 보인다. 그러나 나는 이것을 증명할 수 없다. 내가 맞아? 그것들이 동등한 것을 증명할 수 있습니까?