#дневниклекций
Попробую в этом семестре кратко описывать пройденное на лекциях. Если пропускаю что-то важное, дополняйте. Вчера было вот что (возможно, в другом порядке):
- Общее понятие криптографической задачи. Примеры: шифрование, цифровая подпись, авторизация, распределённые вычисления
- Парадигма доказательной криптографии. Её важность в связи с бурным развитием ИИ-моделей.
- Варианты угроз: равномерный и неравномерный противник
- Связь возможности построить криптопротоколы и проблемы P/NP
- Перечень основных математических конструкций и криптографических протоколов, которые мы будем изучать в курсе
- Одноразовый блокнот (гаммирование) как один из немногих гарантированно защищённых протоколов. Его ненадёжность относительно двукратной атаки
- Немного о шифровальной машине Enigma и её взломе Тьюрингом
- Немного о квантовой и постквантовой криптографии
- Определение односторонней функции в сильном и слабом смыслах, относительно равномерного и неравномерного противника
- Теорема: если f(x) односторонняя, то и g(xy)=f(x)y тоже односторонняя (с идеей доказательства)
- Теорема: если существует слабо односторонняя функция, то существует и сильно односторонняя. Конструкция сильно односторонней из слабо односторонней и её защищённость против наивных обратителей.

В следующий раз начнём с полного доказательства теоремы об усилении: почему полученную функцию не смогут обратить не только наивные, но и произвольные обратители.