פרוטוקולים קריפטוגרפיים

הקורס עוסק ביסודות התאורטיים של חישוב רב-משתתפים בטוח (Secure Multiparty Computation, MPC). תחום זה נמצא במפגש שבין חישוב מבוזר לקריפטוגרפיה, ומאפשר לקבוצת משתתפים לחשב פונקציה במשותף תוך שמירה מלאה על פרטיות הקלטים ונכונות הפלט. לטכנולוגיה זו שימושים מעשיים רבים, בהם למידת מכונה משמרת פרטיות, טכנולוגיות בלוקצ'יין, ושאילתות בבסיסי נתונים רגישים. במהלך הקורס נציג הגדרות בטיחות פורמליות, נלמד פרוטוקולים קלאסיים (BGW, GMW, Yao's garbled circuits), ונוכיח את בטיחותם. תחילה נכסה פרוטוקולים כנגד יריבים "הגונים אך סקרנים" בעזרת חלוקת סוד, העברה עלומה והצפנה הומומורפית מלאה, ובהמשך נתמודד עם יריבים זדוניים באמצעות הוכחות באפס ידיעה, הסכמה ביזנטית ופרוטוקולים להטלת מטבע. לצד אלו, יעמוד הקורס על המגבלות והחסמים התחתונים של הגדרות בטיחות שונות.