 |
כל זה מזכיר לי סרטון שהראו לנו בקורס בקריפטולוגיה מודרנית, על מנת להבהיר לנו את מהות ההוכחה האינטראקטיבית.
טד קופל מראיין את דניאל בירנבוים. בירנבוים טוען שהוא זוכר את כל היצירות של מוצרט, לצורך הדיון, בעל-פה.
קופל אומר לו לנגן את [הכניסו יצירה של מוצרט כאן]. בירנבוים שואל אותו: "תגיד, אתה באמת חושב שהצופים בבית לא יחשבו שסידרנו את כל זה מראש?" אח"כ קופל, הפעם כתמלילן, אומר כי לא היה בכך צורך.
אבל איך אנחנו יודעים?
כל החוכמה בהוכחה אינטראקטיבית (ראיון או חקירה) היא שבשביל באמת להשתכנע, על האדם לראיין או לחקור בעצמו.
בהוכחות אפס-ידע, אין באמת שום דרך אחרת להשתכנע בצדקת דבר מה.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש