Доказательства нулевого знания (ZKP) — криптографические методы, позволяющие одной стороне (пословице) доказать другой стороне (проверяющему), что утверждение является истинным, не раскрывая никакой дополнительной информации, выходящей за рамки достоверности самого утверждения.