Доказательство с нулевым разглашением — криптографический метод, позволяющий убедить проверяющего в истинности заданного утверждения, скрывая секретную информацию, которая его подтверждает. Такая информация называется свидетелем. Само утверждение и предусмотренные открытые входные данные могут оставаться видимыми: «нулевое разглашение» не означает, что проверяющий вообще ничего не узнаёт.
Что устанавливает доказательство
Доказывающий использует свидетель, чтобы сформировать доказательство для проверки. Полнота означает принятие честно построенного доказательства истинного утверждения. Корректность ограничивает возможность выдать ложное утверждение за истинное. Свойство нулевого разглашения исключает раскрытие дополнительных сведений о свидетеле сверх публичного утверждения.
Например, система может подтвердить, что подписанное удостоверение соответствует возрастному порогу, не раскрывая дату рождения. При этом важны выдавшая удостоверение сторона и правила, заложенные в доказательство. В блокчейнах технология также применяется для приватных платежей и проверки вычислений, выполненных вне системы.
Приватность зависит от приложения
Системы доказательств различаются вычислительными затратами, размером доказательства и предпосылками настройки. Одним нужна доверенная настройка, другим — нет.
Доказательство подтверждает лишь закодированное утверждение при принятых предпосылках. Неверные ограничения или ошибки реализации могут подорвать его надёжность. Открытые детали транзакций и сетевые метаданные всё ещё способны раскрывать информацию, поэтому ZK-технология не делает приложение автоматически анонимным.