Комментарии — Вероятностно проверяемые доказательства. PCP-системы. PCP-теорема