Доказа́тельство — рассуждение по определённым логическим правилам, обосновывающее истинность какого-либо предположения, утверждения, гипотезы или теории. В разных областях науки, искусства и иной человеческой деятельности этот термин может принимать различные значения. Прежде всего понятие «доказательство» является ключевым и в теории познания, и в философии науки — как ключевое в эпистемологии...

Доказательство с нулевым разглашением (ZK) — это криптографический протокол, позволяющий одному человеку (the prover — доказывающий) убедить другого (the verifier — проверяющий) в истинности определенного утверждения (информации), не раскрывая никаких подробностей о самом утверждении. Исследователи Шафи Голдвассер, Сильвио Микали и Чарльз Рэкофф впервые представили эту идею в начале 1980-х годов. Основная цель ZK-доказательства — убедить проверяющего в истинности утверждения, не раскрывая никакой информации, кроме его истинности...