Всем привет! Рад вас видеть во второй части. Ну а если вы не читали первую, то прошу прочесть её) Ну а мы начинаем
Изобретение доказательства с нулевым разглашением
ZKP были изобретены в 1985 году Шафи Голдвассером, Сильвио Микали и Чарльзом Ракоффом. Трио написало статью, посвященную доказательствам с нулевым разглашением, под названием "Сложность знаний интерактивных систем доказательства," которые помогли заложить прочную основу для роста доказательств с нулевым разглашением. В своем стремлении найти эффективные методы передачи доказательств GMR (Гольдвассер, Микали и Ракофф) разработали концепцию доказательств с нулевым разглашением, которые можно использовать для доказательства того, что теорема "T" верна, без передачи какой-либо дополнительной информации.
Люди использовали несколько примеров для описания ZKP с момента их создания, одним из самых популярных из которых является следующий:
Есть два друга, Майк (доказывающий) и Карлос (проверяющий). Карлос дальтоник и не может отличить два одинаковых шара разного цвета, красный и зеленый. Когда Карлос берет два мяча, Майк говорит ему, что держит два мяча разного цвета (зеленый в левой руке и красный в правой). Карлос не верит Майку, и теперь ему нужно что-то, кроме слов Майка, чтобы убедить его.
Затем Карлос придумывает для Майка способ с нулевым разглашением, чтобы доказать свое утверждение, поскольку Карлос не может обрести способность видеть цвет.
В нем Боб хочет доказать Алисе, что знает секрет волшебной двери, соединяющей два пути внутри пещеры. Пока Алиса ждет снаружи пещеры, Боб проходит через путь А и выходит через Б. Повторяя этот трюк несколько раз, он доказывает, что знает секрет, хотя она и не могла наблюдать, как он это делает.
Типы доказательств с нулевым разглашением
В криптографии существует два основных типа доказательств с нулевым разглашением:
Интерактивные доказательства с нулевым разглашением
Из примера доказательства с нулевым разглашением Карлоса и Майка видно, что они оба продолжали разговаривать друг с другом на протяжении всего упражнения. Беседы взад и вперед помогли Майку доказать истинность его утверждений, пока Карлос не был убежден. Это называется интерактивным ZKP, и он похож на то, как работали первые ZKP.
Поскольку Неинтерактивные доказательства с нулевым разглашением требуют только одного обмена информацией, для их производства требуется больше вычислительной мощности, чем для интерактивных доказательств с нулевым разглашением.
Однако благодаря своему удобству неинтерактивные доказательства с нулевым разглашением приобрели популярность.
Заключение
Изобретение доказательства с нулевым разглашением
ZKP были изобретены в 1985 году Шафи Голдвассером, Сильвио Микали и Чарльзом Ракоффом. Трио написало статью, посвященную доказательствам с нулевым разглашением, под названием "Сложность знаний интерактивных систем доказательства," которые помогли заложить прочную основу для роста доказательств с нулевым разглашением. В своем стремлении найти эффективные методы передачи доказательств GMR (Гольдвассер, Микали и Ракофф) разработали концепцию доказательств с нулевым разглашением, которые можно использовать для доказательства того, что теорема "T" верна, без передачи какой-либо дополнительной информации.
Люди использовали несколько примеров для описания ZKP с момента их создания, одним из самых популярных из которых является следующий:
Есть два друга, Майк (доказывающий) и Карлос (проверяющий). Карлос дальтоник и не может отличить два одинаковых шара разного цвета, красный и зеленый. Когда Карлос берет два мяча, Майк говорит ему, что держит два мяча разного цвета (зеленый в левой руке и красный в правой). Карлос не верит Майку, и теперь ему нужно что-то, кроме слов Майка, чтобы убедить его.
Затем Карлос придумывает для Майка способ с нулевым разглашением, чтобы доказать свое утверждение, поскольку Карлос не может обрести способность видеть цвет.
- Карлос сначала держит два мяча перед Майком, который может видеть, какой мяч в какой руке. Карлос держит зеленый мяч в левой руке и красный мяч в правой.
- Затем за его спиной Карлос перетасовывает шары. Теперь он знает, какой мяч в какой руке, а Майк нет, так как он их не видит.
- Карлос снова представляет мячи Майку, спрашивая Майка, поменял ли он мячи или нет. Поскольку Майк может отличить оба мяча по цвету, он легко отвечает на вопрос.
- Карлос не убежден, потому что мячей всего два, что дает Майку 50% шанс угадать, поменял он мячи местами или нет. Кроме того, оба шара могут быть одного цвета, поэтому после одной проверки Карлос все еще сомневается в правильности результата.
- Однако, если Карлос повторит процедуру, вероятность того, что Майк угадает, поменял ли он шары или нет, в конечном итоге станет достаточно низкой, чтобы убедить проверяющего (Карлоса). Получив множество последовательных правильных ответов от Майка, Карлос узнает, что Майк действительно может отличить два мяча. Однако он не научился отличать зеленые предметы от красных.
В нем Боб хочет доказать Алисе, что знает секрет волшебной двери, соединяющей два пути внутри пещеры. Пока Алиса ждет снаружи пещеры, Боб проходит через путь А и выходит через Б. Повторяя этот трюк несколько раз, он доказывает, что знает секрет, хотя она и не могла наблюдать, как он это делает.
Типы доказательств с нулевым разглашением
В криптографии существует два основных типа доказательств с нулевым разглашением:
Интерактивные доказательства с нулевым разглашением
Из примера доказательства с нулевым разглашением Карлоса и Майка видно, что они оба продолжали разговаривать друг с другом на протяжении всего упражнения. Беседы взад и вперед помогли Майку доказать истинность его утверждений, пока Карлос не был убежден. Это называется интерактивным ZKP, и он похож на то, как работали первые ZKP.
Неинтерактивные доказательства с нулевым разглашением
Неинтерактивные доказательства с нулевым разглашением не обязательно требуют установления связи между доказывающим и проверяющим за пределами одной итерации. Например, когда доказывающий представляет доказательство знания, проверяющий подтверждает его подлинность в течение одного обмена. Это ближе к тому, чтобы показать верификатору банковскую выписку, например.Поскольку Неинтерактивные доказательства с нулевым разглашением требуют только одного обмена информацией, для их производства требуется больше вычислительной мощности, чем для интерактивных доказательств с нулевым разглашением.
Однако благодаря своему удобству неинтерактивные доказательства с нулевым разглашением приобрели популярность.
Заключение