Доказательство интерактивное

interactive proof

Понятие теории сложности вычислений, составляет основу понятия доказательства с нулевым разглашением. Интерактивное доказательство — протокол с двумя участниками, доказывающим и проверяющим, в котором цель доказывающего состоит в демонстрации истинности некоторого утверждения. Конкретное утверждение определяется входным словом, которое одинаково для обоих участников. Протокол должен удовлетворять двум требованиям: если утверждение истинно, то проверяющий принимает доказательство (полнота); если же утверждение ложно, то проверяющий принимает доказательство лишь с пренебрежимо малой вероятностью (корректность).

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

Адрес редакции сайта: dialogus@cryptography.ru
© При копировании материалов ссылка на авторов,
© а при их отсутствии — на сайт, обязательна