3. Борис перемещается в точку В.
4. Борис приказывает Антону появиться или через левый проход к двери,
или через правый.
5. Антон подчиняется приказу Бориса, в случае необходимости используя
волшебные слова, чтобы пройти через дверь.
6. Шаги 1—5 повторяются n раз, где n — параметр протокола.
Допустим, что у Бориса есть видеокамера, с помощью которой он
фиксирует все исчезновения Антона в недрах пещеры и все его последующие
появления. Если Борис покажет записи всех n экспериментов, произведенных
им совместно с Антоном, могут ли эти записи послужить доказательством
знания Антоном волшебных слов для другого человека (например, для
Владимира)?
Вряд ли. Владимир никогда не сможет удостовериться в том, что Антон
каждый раз предварительно не сообщал Борису о своих намерениях, чтобы
потом Борис приказывал ему выходить именно с той стороны двери, с какой
Антон зашел. Или что из сделанной видеозаписи не вырезаны все неудачные
эксперименты, в ходе которых Антон не смог выполнить распоряжения Бориса.
Это означает, что Борис не в состоянии убедить Владимира, лично не
присутствовавшего при проведении экспериментов в пещере, в том, что Антон
действительно подтвердил свое знание секрета. А значит использованный
Антоном протокол доказательства характеризуется именно нулевым
разглашением конфиденциальной информации. Если Антон не знает
волшебные слова, открывающие дверь в пещере, то, наблюдая за Антоном, не
сможет ничего узнать и Борис. Если Антону известны волшебные слова, то
Борису не поможет даже подробная видеозапись проведенных экспериментов.
Во-первых, поскольку при ее просмотре Борис увидит только то, что уже видел
живьем. А во-вторых, потому что практически невозможно отличить
сфальсифицированную Борисом видеозапись от подлинной.
Протокол доказательства с нулевым разглашением срабатывает в силу
того, что не зная волшебных слов, Антон может выходить только с той
стороны, с которой зашел. Следовательно лишь в 50% всех случаев Антон
сумеет обмануть Бориса, догадавшись, с какой именно стороны тот попросит
его выйти. Если количество экспериментов равно n, то Антон успешно пройдет
все испытания только в одном случае из 2
n
. На практике можно ограничиться
n=16. Если Антон правильно исполнит приказ Бориса во всех 16-ти случаях,
значит он и правда знает секрет волшебных слов.
Пример с пещерой является наглядным, но имеет существенный изъян.
Борису значительно проще проследить, как в точке В Антон поворачивает в
одну сторону, а потом появляется с противоположной стороны. Протокол
доказательства с нулевым разглашением здесь попросту не нужен.
Поэтому предположим, что Антону известны не какие-то там волшебные
слова, типа “Сезам, откройся”. Нет, Антон владеет более интересной
информацией — он первым сумел найти решение этой труднорешаем ой задачи.
Чтобы доказать данный факт Борису, Антону совсем не обязательно всем и