מערכת הוכחה אינטראקטיבית
הוכחה אינטראקטיבית היא שיחה בין מי שטוען משהו לבין מי שבודק. המוכיח מנסה לשכנע. המוודא בודק. דניאל בארנבוים אמר שהוא למד לנגן את כל היצירות של מוצרט. כדי לבדוק, המראיין בחר יצירה אקראית. בארנבוים ניגן אותה. כך המראיין השתכנע. כאן המוודא בוחר שאלות לא מראש. זה עוזר לא לגלות רמאים. פרוטוקול הוא חו...