Доказательство с нулевым разглашением: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
исправление грамматических ошибок
Строка 43:
 
[[File:Cave for Zero-knowledge proof.jpg|thumb|145px|Пещера нулевого разглашения.]]Впервые данный пример был написан в хорошо известной работе по доказательству с нулевым разглашением “Как объяснить протокол доказательства с нулевым разглашением вашим детям” Жак-Жаком Кискатером<ref>Quisquater, Jean-Jacques; Guillou, Louis C.; Berson, Thomas A. (1990). "How to Explain Zero-Knowledge Protocols to Your Children". Advances in Cryptology - CRYPTO '89: Proceedings 435: 628–631.</ref>.
В данном случае Пегги выступаете в качестве доказывающего утверждение и Виктор в качестве проверяющего. У Пегги есть магические слова (ключ), который позволяет открыть дверь между C и D. Виктор хочет узнать действительно ли Пегги знает пароль, при самэтом Пегги не хочет выдавать сам пароль. Соответственно пещера имеет круглую форму, как представлено на картинке. Для того, чтобы решить проблему они поступают следующим способом. Пока Виктор находится в точке А, Пегги идет к двери, и после того как она исчезает из виду, Виктор идет к разветвлению, то есть в B и кричит откуда Пегги нужно выйти. Получаем каждый раз шанс того, что Пегги знает пароль равен 50%. Если же повторить процесс k раз, то вероятность будет ''1 к 2^'''k'''''. При 20 же повторениях этот шанс будет порядка ''1 к 1млн'', что является достаточным в справедливости утверждения.
 
Если Боб запишет все происходящие на камеру, то полученная видеозапись не будет являться доказательством для какой либо другой стороны. Ведь они могли договориться, откуда будет выходить Пегги. Соответственно она сможет найти выход, не зная при этом самого ключа. Существует еще один способ, Боб просто вырезает все неудачные попытки Пегги. Все выше написанные заключения доказывают, что пример с пещерой удовлетворяют формальному определение: полноте, корректности и нулевому разглашению.