Доказательство, скрывающее догадки

witness hiding proof

Криптографический протокол, представляющий собой модификацию понятия доказательства с нулевым разглашением, в которой требование нулевого разглашения ослаблено следующим образом. Пусть для данного языка из класса NP существует эффективный вероятностный алгоритм $G$, генерирующий пары $(x, w)$, где $w$ — догадка (NP-доказательство) для слова $x$. Протокол доказательства скрывает догадки относительно алгоритма $G$, если его выполнение на слове $x$ не помогает найти догадку (все равно какую) для этого слова.

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