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