Неинтерактивное доказательство с нулевым разглашением (noninteractive zero-knowledge proof)- доказательство с нулевым разглашением, выполняемое за один цикл (протокола): доказывающий посылает сообщение проверяющему, который на основе анализа этого сообщения либо принимает, либо отвергает доказательство. |
|
