Изменения

# <tex>\mathit{Verifier}</tex> ограничен полиномиальным временем работы.

}}

<tex>\mathit{Verifier}</tex>, обменивающийся сообщениями с <tex>\mathit{Prover}</tex>, будем обозначать <tex>\mathit{Verifier^{Prover}}</tex>.