Zk-proof - криптографическое доказательство с нулевым разглашением (zero-knowledge proof), позволяющее одной стороне убедить другую в истинности некоторого утверждения, не раскрывая при этом самих данных, на которых основано доказательство. Его ключевая особенность состоит в сохранении приватности: наблюдатель получает подтверждение корректности без доступа к содержимому секретов. Zk-подходы находят применение в системах, где важны одновременно проверяемость вычислений и ограничение раскрытия информации.