Что такое Zero Knowledge Application (zkApp)?

Zero Knowledge Application (zkApp) это программа на блокчейне, которая доказывает, что соблюдала правила, не раскрывая приватные данные, которые использовала. Представьте швейцара: вы доказываете, что достаточно взрослый, но дата вашего рождения остаётся вашей личной информацией. Цепочка проверяет математику, а не секреты.

Миф

«Zero Knowledge Application (zkApp) делает всё анонимным.» Не совсем. Оно может скрывать входные данные, сохраняя проверяемость результатов, но многие zkApp по-прежнему показывают то, что важно для консенсуса и комиссий.

Как работают zkApp

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

Шаг 1: Вы открываете приложение и выбираете, что хотите доказать, например доход выше порога или право владения токеном.
Шаг 2: Ваше устройство создаёт доказательство того, что утверждение верно, используя схему, предоставленную приложением. Исходные данные не покидают ваше устройство.
Шаг 3: Доказательство вместе с минимальной метаинформацией упаковывается в транзакцию и отправляется в сеть.
Шаг 4: Смартконтракт проверяет доказательство с помощью верификатора. Если проверка пройдена, контракт продолжает выполнение.
Шаг 5: Блокчейн обновляет состояние, например предоставляет доступ, переводит средства или фиксирует голос, не раскрывая ваши приватные входные данные.

Вот и всё. Математика говорит за вас, так что ваши данные могут оставаться приватными.

Зачем нужны zkApp

Что это даёт вам?

Преимущество: Реальная конфиденциальность с публичной проверкой, то есть меньше утечек и меньше лишних процедур.
Перспектива: Они подходят для ситуации, когда люди хотят контролировать свои данные и иметь доказательство подлинности, представьте Rolex рядом с обсуждением на Reddit.
Применимость: Ожидайте их в DeFi для проверок кредитоспособности, приватном голосовании, упрощённом KYC для доступа, в игровых проектах и даже в подписках для создателей.

Совет

Перед использованием Zero Knowledge Application (zkApp) проверьте, генерируются ли доказательства локально и сколько времени это занимает на вашем устройстве. Если приложение предлагает сервис генерации доказательств, убедитесь, что вы сохраняете контроль над тем, какие данные передаются.

Основные характеристики zkApp

Что их отличает:

Доказательства: Они демонстрируют корректность вычисления без раскрытия входных данных.
Минимум данных: На цепь попадает только необходимая информация, что экономит комиссии и сохраняет приватность.
Композиция: Доказательство, проверенное в одном приложении, может разблокировать действия в другом.
Локально: Тяжёлая часть работы может выполняться вне цепи на вашем устройстве, а блокчейн лишь проверяет результат.
Аудируемость: Математика публична, поэтому любой может независимо проверить результат.

Варианты

Не все реализации одинаковы. Наиболее распространённые варианты:

SNARK: zkApp, основанные на кратких доказательствах, которые проверяются быстро и остаются компактными.
STARK: Доказательства без доверенной установки, часто более объёмные, но прозрачные и масштабируемые.
Rollup: Приложения внутри zk rollup, которые объединяют множество действий в одном доказательстве.
Identity: Доказательство личности, возраста, места жительства или членства без раскрытия личных данных.
DeFi: Приватные свапы, проверки кредитоспособности и проверки залога с выборочным раскрытием.

Напоминание

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

Пример

Вы используете Zero Knowledge Application (zkApp), чтобы доказать, что на вашем счёте есть требуемое количество токенов для входа в приватный Discord, при этом точный баланс остаётся скрытым.

Интересный факт

Математика, лежащая в основе zk доказательств, восходит к 1980-м годам, но запоминающийся термин zkApp получил распространение только после того, как разработчики начали упаковывать эти доказательства в повседневные приложения на блокчейне, которыми реально можно пользоваться.

Итог

Вкратце: Zero Knowledge Application (zkApp) позволяет доказывать вещи в цепочке без излишнего раскрытия, что похоже на то, что интернет стал немного взрослее.

Zero Knowledge Application (zkApp)