6
правок
Изменения
Новая страница: «В криптографии '''Доказательство с нулевым разглашением (информации)''' (Zero-knowledge proof) — это …»
В криптографии '''Доказательство с нулевым разглашением (информации)''' (Zero-knowledge proof) — это интерактивный протокол, позволяющий одной из сторон (проверяющему, verifier) убедиться в достоверности какого-либо утверждения (обычно математического), не получив при этом никакой другой информации от второй стороны (доказывающего, prover).
Доказательство с нулевым разглашением должно обладать тремя свойствами:
# '''Полнота''': если утверждение действительно верно, то доказывающий убедит в этом проверяющего.
# '''Корректность''': если утверждение неверно, то даже нечестный доказывающий не сможет убедить проверяющего за исключением пренебрежимо малой вероятности.
# '''Нулевое разглашение''': если утверждение верно, то любой даже нечестный проверяющий не узнает ничего кроме самого факта, что утверждение верно.
Доказательство с нулевым разглашением должно обладать тремя свойствами:
# '''Полнота''': если утверждение действительно верно, то доказывающий убедит в этом проверяющего.
# '''Корректность''': если утверждение неверно, то даже нечестный доказывающий не сможет убедить проверяющего за исключением пренебрежимо малой вероятности.
# '''Нулевое разглашение''': если утверждение верно, то любой даже нечестный проверяющий не узнает ничего кроме самого факта, что утверждение верно.
