#матлог #учёба #семинар #не_мехмат #ВШЭ

Научный семинар "Современные проблемы математической логики" в ВШЭ продолжает свою работу в новом полугодии!

❗Обратите внимание на аудиторию.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 23.01.2026 в 16:20

Название: Верифицируемое вычисление и GKR-протокол

Докладчик: Амир Исмаилов

Аннотация:
В докладе будет представлено введение в теорию верифицируемого вычисления (SNARKs). Это область криптографии и теоретической информатики, занимающаяся созданием эффективно проверяемых (O(1) или O(log N)), коротких (O(1) или O(log N)), неинтерактивных доказательств корректности вычисления программ.

Мы поговорим об общей криптографической формализации задачи и, начиная с модели интерактивных протоколов с оракулами (IOP), введём несколько абстрактных компиляторов (Polynomial Commitment Schemes, Fiat-Shamir heuristic) для создания таких доказательств. Главным примером для нас будет Sumcheck-протокол и его обобщение, протокол GKR.

Если позволит время, то обсудим современные оптимизации GKR-протокола и направления исследования в области в целом.

Предполагается минимальное знакомство с вычислимостью и теорией сложности, а также знание абстрактной алгебры на уровне первого курса матфака. Все необходимые сведения из криптографии будут напоминаться по ходу доклада.

➰ ВК