Город: Санкт-Петербург Казань Язык: Русский English

Базовая теория интерактивных доказательств
Интерактивные доказательства


Что: Лекция
Когда: Суббота, 23 марта 2019, 17:15–18:45
Где: ПОМИ РАН

Описание

На этой лекции мы введём точные определения, познакомимся в примерами интерактивных протоколов и обсудим вариант, когда прувер может подглядывать на уже выпавшие случайные биты верификатора.

Видео