Доказательство с нулевым разглашением: различия между версиями
Перейти к навигации
Перейти к поиску
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Vopros (обсуждение | вклад) Нет описания правки |
Vopros (обсуждение | вклад) Нет описания правки |
||
| Строка 6: | Строка 6: | ||
# '''Нулевое разглашение''': если утверждение верно, то любой даже нечестный проверяющий не узнает ничего кроме самого факта, что утверждение верно. |
# '''Нулевое разглашение''': если утверждение верно, то любой даже нечестный проверяющий не узнает ничего кроме самого факта, что утверждение верно. |
||
Доказательства с нулевым разглашением |
Доказательства с нулевым разглашением нашли применение в [[Криптографический протокол|криптографических протоколах]] чтобы убедиться в том, что другая сторона следует протоколу честно. На практике доказательства с нулевым разглашением также используются в [[Протокол конфиденциального вычисления|протоколах конфиденциального вычисления]]. |
||
[[da:Vidensløst bevis]] |
[[da:Vidensløst bevis]] |
||
Версия от 10:13, 5 июня 2008
В криптографии Доказательство с нулевым разглашением (информации) (англ. Zero-knowledge proof) - это интерактивный протокол, позволяющий одной из сторон (проверяющему, verifier) убедиться в достоверности какого-либо утверждения (обычно математического), не получив при этом никакой другой информации от второй стороны (доказывающего, prover).
Доказательство с нулевым разглашением должно обладать тремя свойствами:
- Полнота: если утверждение действительно верно, то доказывающий убедит в этом проверяющего.
- Корректность: если утверждение неверно, то даже нечестный доказывающий не сможет убедить проверяющего за исключением пренебрежимо малой вероятности.
- Нулевое разглашение: если утверждение верно, то любой даже нечестный проверяющий не узнает ничего кроме самого факта, что утверждение верно.
Доказательства с нулевым разглашением нашли применение в криптографических протоколах чтобы убедиться в том, что другая сторона следует протоколу честно. На практике доказательства с нулевым разглашением также используются в протоколах конфиденциального вычисления.