Доказательство с минимальным разглашением (minimum-knowledge proof)- вид интерактивного доказательства, решающего задачу распознавания языка, и удовлетворяющего требованиям к криптографической стойкости, которые аналогичны требованиям к стойкости доказательств с нулевым разглашением. В д. с м. р. для данного фиксированного языка L общим входом доказывающего и проверяющего может быть произвольная строка х. Доказывающий должен определить, принадлежит ли эта строка языку L, и сообщить результат ( или ) проверяющему. При этом проверяющий, даже нечестный, не получает по завершении доказательства никакой дополнительной информации, за исключением значения предиката . Для противника, перехватывающего сообщения в процессе доказательства, случаи и должны быть неразличимы. |
|
