इंटरैक्टिव प्रूफ सिस्टम में पूर्णता और स्पष्टता को अनौपचारिक रूप से परिभाषित किया गया है:
पूर्णता: अगर एक वाक्य सही है, ईमानदार prover समझा सकते हैं ईमानदार इस तथ्य का सत्यापनकर्ता whp ।
ध्वनि: यदि कोई कथन गलत है, तो धोखा देने वाला ईमानदार ईमानदार सत्यापनकर्ता (झूठे अंक की वैधता) को स्पष्ट नहीं कर सकता
"व्हिप" शब्द की व्याख्या "किसी भी बहुपद के पारस्परिक से अधिक संभावना के साथ" (कहना) 2/3, "या" से अधिक संभावना के साथ की जाती है। यह निम्नलिखित चर्चा के लिए सारहीन लगता है कि "व्हिप" की व्याख्या क्या चुनना है।
मुश्किल हिस्सा यह है कि संभावना की गणना कैसे की जाती है: कुछ स्रोतों में, संभावना को प्रोवर और सत्यापनकर्ता दोनों के यादृच्छिक सिक्कों पर लिया जाता है। अन्य स्रोतों में, संभावना केवल सत्यापनकर्ता के यादृच्छिक सिक्कों पर गणना की जाती है। उत्तरार्द्ध आमतौर पर उचित है: "जो भी कहावत के यादृच्छिक सिक्के हैं, सत्यापनकर्ता सही निर्णय लेता है।"
मेरे लिए, संभाव्यता की दोनों परिभाषाएं समान हैं; अभी तक मैं यह साबित नहीं कर सकता। क्या मैं सही हू? क्या आप उन्हें समकक्ष साबित कर सकते हैं?