Лекция 1: Интерактивные доказательства и протокол проверки суммы, часть 1

MIT 6.5630 Расширенные темы криптографии, осень 2023 г. Преподаватель: Яэль Т. Калай Полный курс доступен по ссылке: https://ocw.mit.edu/courses/6-5630-ad... Плейлист на YouTube:    • MIT 6.5630 Advanced Topics in Cryptography...   В этой лекции рассматриваются темы, включая определение интерактивных доказательств (IP), протокол проверки сумм и применение интерактивных доказательств для #SAT. Лицензия: Creative Commons BY-NC-SA Более подробная информация на https://ocw.mit.edu/terms Больше курсов на https://ocw.mit.edu Поддержите OCW по ссылке http://ow.ly/a1If50zVRlQ Мы приветствуем конструктивные комментарии и обсуждения на YouTube-канале OCW и в других социальных сетях. Личные нападки, разжигание ненависти, троллинг и неуместные комментарии запрещены и могут быть удалены. Подробнее на https://ocw.mit.edu/comments. Спикер: Яэль Т. Калай