Нулевое разглашение относительно честного проверяющего (honest-verifier zero-knowledge)- ослабленный вариант нулевого разглашения, при котором требуется, чтобы протокол интерактивного доказательства не давал никакой дополнительной информации о доказываемом утверждении лишь честному проверяющему, т. е. выполняющему действия, предписанные протоколом. С криптографической точки зрения данное свойство защищает доказывающего не от нечестного проверяющего, а от противника, который подслушивает сеанс выполнения протокола. |
|