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

Доказательство с нулевым разглашением позволяет одной стороне доказать истинность утверждения, не раскрывая данные, на которых оно основано. Кошелёк может подтвердить, что средств достаточно, не показывая баланс, а роллап — доказать, что тысячи транзакций выполнены корректно, не публикуя их целиком. Пригодное доказательство должно убеждать честного проверяющего, быть практически невозможным для подделки при ложном утверждении и не раскрывать ничего сверх самого факта. В криптоиндустрии доказательства с нулевым разглашением (ZK-доказательства) лежат в основе инструментов приватности, подтверждений личности и систем масштабирования, где проверка намного дешевле повторного исполнения. Это математика, а не автоматическая анонимность: степень приватности зависит от схемы, параметров и того, как с данными обращается само приложение.