Доказательство с нулевым разглашением (ZKP).

Криптографический протокол, в котором доказатель убеждает проверяющего в истинности утверждения, не раскрывая ничего, кроме самого факта его истинности. Относится к категории Криптография в кибербезопасности.

Криптографический протокол, в котором доказатель убеждает проверяющего в истинности утверждения, не раскрывая ничего, кроме самого факта его истинности.

Доказательство с нулевым разглашением (ZKP) — это криптографический протокол, позволяющий доказателю показать проверяющему обладание секретом или истинность утверждения, не выдавая никакой дополнительной информации. Формальное ZKP удовлетворяет трём свойствам: полноте (честный доказатель убеждает честного проверяющего), корректности (нечестный доказатель имеет лишь пренебрежимо малую вероятность успеха) и нулевому разглашению (проверяющий не узнаёт ничего, кроме самого факта истинности). ZKP лежат в основе аутентификации, сохраняющей приватность, анонимных удостоверений, масштабирования блокчейнов (rollup) и конфиденциальных транзакций. Современные неинтерактивные варианты, такие как zk-SNARK и zk-STARK, позволяют проверять компактные доказательства за миллисекунды и за последние десять лет превратились из академической диковинки в применяемую на практике технологию.

Защита от Доказательство с нулевым разглашением (ZKP) обычно сочетает технические меры и операционные практики, как описано в определении выше.

Распространённые альтернативные названия: ZKP, Протокол с нулевым разглашением.