В современном мире цифровые технологии требуют баланса между прозрачностью и приватностью. Блокчейн-сети обеспечивают неизменяемость данных, но их открытая природа становится проблемой для конфиденциальности. Здесь на сцену выходят доказательства с нулевым разглашением (ZKP) и, в частности, zk-SNARK — мощный инструмент, позволяющий подтвердить истинность утверждения без раскрытия данных. Сегодня они используются для анонимных транзакций, масштабирования сетей и скрытия чувствительной информации в публичных системах.
Разработка zk-протоколов требует понимания их архитектуры, выбора подходящих языков и инструментов, а также грамотной интеграции с существующими блокчейн-сетями, такими как EVM и TON. В этом докладе мы рассмотрим, как zk-SNARK помогает строить приватные, но проверяемые системы, разберем концепции zkKYC и zkToken, а также детально изучим реальный кейс TornadoCash, чтобы понять возможности и ограничения технологии в реальном мире.
Backend-developer, frontend-developer, project-manager, product-manager, team-lead, manager.
Any level.
Блокчейн-энтузиаст, аудитор смарт-контрактов EVM и TON, исследователь безопасности, full stack blockchain developer. С 2021 года начал погружаться в блокчейн решения и криптовалюты. Преподаватель курса по безопасности в web3 в НИУ ВШЭ. Победитель web3 хакатона от ИТМО. Финалист нескольких web3 хакатонов от Сбербанка и ВТБ. Разработчик инфраструктуры и задач CTF для блокчейн-платформ. No-code децентрализованных приложений.
