Доказательство с неразличимыми догадками

witness indistinguishable proof

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

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