Zero-Knowledge Proof: как доказать что-то не раскрывая ничего

Парадокс нулевого знания

Представьте: вы хотите доказать банку, что знаете пароль — без того, чтобы сам пароль куда-то передавался. Или подтвердить возраст для покупки алкоголя, не показывая паспорт. Именно это делают Zero-Knowledge Proof (ZKP) — доказательства с нулевым разглашением.

Как это работает: пещера Али-Бабы

Классический пример — пещера с двумя туннелями, соединёнными дверью с замком. Прувер (тот, кто доказывает) заходит в один из туннелей пока верификатор не смотрит. Верификатор кричит, из какого туннеля выйти. Если пруверу известен код — он откроет дверь и выйдет нужным путём. После 20 повторений вероятность случайного успеха — 0,0001%. Код так и не раскрыт.

Типы ZKP

zk-SNARK

Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. Используется в Zcash и большинстве ZK-роллапов Ethereum. Маленький размер доказательства (менее 200 байт), быстрая верификация. Слабое место: требует trusted setup — доверенной генерации параметров.

zk-STARK

Zero-Knowledge Scalable Transparent Argument of Knowledge. Не требует trusted setup. Доказательства больше, но квантово-устойчивы — используют хеш-функции, а не эллиптические кривые. Используется в StarkNet и Cairo VM.

Bulletproofs

Без trusted setup, компактные, но верификация медленнее. Применяются в Monero для скрытия сумм транзакций.

Где ZKP применяются прямо сейчас

• Блокчейн и приватность: Zcash, Aztec Network — скрывают суммы и адреса транзакций.
• Масштабирование Ethereum: ZK-роллапы (zkSync, StarkNet, Polygon zkEVM) проверяют тысячи транзакций одним доказательством.
• Цифровая идентификация: Polygon ID позволяет доказать, что вам 18+ без раскрытия даты рождения.
• Машинное обучение: Доказательство того, что модель обучена на легитимных данных без раскрытия самих данных.

ZKP и постквантовая безопасность

Большинство ZKP-систем используют эллиптические кривые, уязвимые для квантовых компьютеров (алгоритм Шора). Исключение — zk-STARK: основан на хеш-функциях, которые квантово-устойчивы по природе. Именно поэтому STARK считается будущим ZKP в постквантовую эпоху.

Будущее: ZKP в повседневной жизни

К 2030 году ZKP могут использоваться для анонимного голосования, верификации налоговых деклараций без раскрытия доходов, доступа к медицинским системам без передачи данных пациента. Технология готова — остаётся вопрос регуляторного принятия.