City: Saint-Petersburg Kazan Language: Русский English

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


What: Lecture
When: Saturday, 23 March 2019, 17:15–18:45
Where: ПОМИ

Description

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