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

Доказательство с нулевым разглашением (ZK-proof) — это криптографический способ доказать, что утверждение истинно, не раскрывая сами данные. Например, что знаешь пароль, не показывая его.

Как это работает

Есть две стороны: доказывающий и проверяющий. Доказывающий создаёт короткое математическое доказательство, а проверяющий быстро убеждается, что оно правильное, и не узнаёт при этом ничего лишнего. Подделать такое доказательство практически невозможно.

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

Технология сложная: создание доказательств требует мощных вычислений, а ошибки в реализации трудно найти. Слово «ZK» в названии проекта само по себе ничего не гарантирует, и многие токены используют его как модное слово.

Пример с цифрами

ZK-роллап собирает 5 000 переводов. Вместо того чтобы публиковать проверку каждого в Ethereum, он отправляет одно доказательство. Если публикация обходится, допустим, в $50, то на одного пользователя приходится $0,01 плюс расходы самого роллапа — поэтому переводы там стоят центы.

Частая ошибка

Ошибка — покупать токен только потому, что в названии есть ZK, и считать технологию гарантией роста. Технология и токен — разные вещи: у сильной сети может быть слабая токеномика. Оценивай реальное использование, разлоки и команду так же, как у любого другого проекта.

Вопросы и ответы

Что такое ZK простыми словами?

Это способ доказать, что ты что-то знаешь или что-то верно, не раскрывая подробностей. Как показать, что тебе больше 18, не называя дату рождения.

Зачем ZK блокчейнам?

Чтобы сжимать много транзакций в одно доказательство и экономить на комиссиях, а также чтобы скрывать данные, которые не нужно показывать всем.

Что такое ZK-роллап?

Это сеть второго уровня, которая проводит транзакции у себя и публикует в основной сети доказательство их правильности. Так переводы становятся быстрее и дешевле.