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

minimum-knowledge proof

Криптографический протокол, решающий задачу распознавания языка, и удовлетворяющий требованиям к стойкости, которые аналогичны требованиям к стойкости доказательств с нулевым разглашением. В доказательстве с минимальным разглашением для данного фиксированного языка $L$ общим входом доказывающего и проверяющего может быть произвольная строка $x$. Доказывающий должен определить, принадлежит ли эта строка языку L, и доказать соответствующее утверждение, $x\in L$ или $x\notin L$, проверяющему. При этом проверяющий, даже нечестный, не получает в результате выполнения протокола никакой дополнительной информации, за исключением одного бита, соответствующего истинности или ложности отношения $x\in L$. Для внешнего противника, подслушивающего сеанс выполнения протокола, случаи $x\in L$ и $x\notin L$ должны быть неразличимы.

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