Доказательство не интерактивное с разглашением нулевым [ Noninteractive zero-knowledge proof ]

Доказательство с разглашением нулевым, выполняемое за один цикл (протокола): доказывающий посылает сообщение проверяющему, который на основе анализа этого сообщения либо принимает, либо отвергает доказательство [ Словарь крипт. терминов ].