Доказательство с нулевым разглашением (ZKP): Парадоксы криптографии

Классическое интуитивное объяснение ZKP — это притча о Пещере Али-Бабы. Пещера имеет форму кольца, перегороженного волшебной дверью. Проверяющий (Боб) стоит снаружи, а Доказывающий (Алиса) заходит в пещеру и идет либо по левому, либо по правому коридору. Затем Боб заходит в пещеру и кричит Алисе: "Выйди ко мне по левому коридору!". Если Алиса действительно знает секретное слово, открывающее волшебную дверь, она выйдет оттуда, откуда просят, независимо от того, куда зашла. Если она не знает пароль, она сможет выполнить требование лишь с вероятностью 50% (если угадает, откуда попросит Боб). Повторив этот тест 40 раз, вероятность случайного успеха Алисы падает до нуля. Боб абсолютно убежден, что Алиса знает пароль, но самого пароля он так и не услышал.

Математически криптографический ZKP (например, протокол Шнорра) строится на проблеме вычисления дискретного логарифма в конечных полях Галуа или на эллиптических кривых. Протокол должен обладать тремя строгими свойствами:

1. Полнота (Completeness): если утверждение истинно, честный доказывающий всегда убедит проверяющего.
2. Корректность (Soundness): если утверждение ложно, никакой мошенник не сможет обмануть проверяющего (вероятность обмана математически ничтожна).
3. Нулевое разглашение (Zero-Knowledge): проверяющий не узнает абсолютно ничего нового, кроме самого факта истинности утверждения. Записанный протокол общения (транскрипт) нельзя передать третьему лицу в качестве доказательства, так как его можно алгоритмически подделать.

Сегодня ZKP переживает грандиозный ренессанс благодаря технологии блокчейн. Неинтерактивные доказательства (zk-SNARKs и zk-STARKs) позволяют упаковывать тысячи транзакций Ethereum в один крошечный математический сертификат, проверка которого занимает миллисекунды. А криптовалюты вроде Zcash используют нулевое разглашение, чтобы подтвердить, что у отправителя достаточно денег для перевода, оставляя суммы, отправителя и получателя полностью анонимными.