15.1 Введение

Теория доказательства с нулевым разглашением прежде всего предназначено для исследования протоколов аутентификации, поскольку оно достаточно точно отражает те требования, которым должны удовлетворять такие протоколы. Подробнее об этом говорится в главе 3. Но концепция нулевого разглашения оказалась весьма плодотворной и для многих других типов криптографических протоколов. Она позволяет формализовать интуитивное представление о протоколе, в процессе выполнения которого не происходит утечки секретной информации.

Поскольку доказательство с нулевым разглашением представляет собой интерактивное доказательство, удовлетворяющее дополнительному требованию неразглашения секретной информации, в разделе 15.2 даются основы теории интерактивных доказательств. В этом же разделе приводятся некоторые понятия теории сложности алгоритмов и вычислений, необходимые для дальнейшего изложения. Раздел 15.3 посвящен собственно доказательствам с нулевым разглашением.