Изменения

'''Протокол Артура-Мерлина''' - [[интерактивный протокол доказательства|Класс IP]], в котором <tex>A</tex>(prover, Arthur) видит вероятностную ленту <tex>M</tex>(verifier, Merlin)(''т.н. public coins'')