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

Доказательства с нулевым разглашением помогают гарантировать, что Политика конфиденциальности транзакций не идет в ущерб доверию. Читайте дальше, чтобы Словарь , что такое доказательства с нулевым разглашением, как они работают и зачем они нам нужны в Web3.

Это партнерский контент, полученный из«Освобожденные» Лоры Шин и опубликовано CoinDesk.

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

Доказательства с нулевым разглашением (ZKP) — это протоколы, которые помогают доказать действительность утверждений в блокчейнах, не предоставляя информацию, которая может поставить под угрозу Политика конфиденциальности.Они позволяют пользователям проверять действительность транзакции, не раскрывая ее деталей.

В доказательствах с нулевым разглашением доказывающий несет ответственность за доказательство утверждения, а роль верификатора заключается в его валидации. Протоколы раскрывают в цепочке, что скрытая информация действительна, и доказывающий знает это с высокой степенью уверенности.

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

Рассмотрим сценарий, в котором вам необходимо подтвердить свою личность для завершения транзакции. Вам нужно будет предоставить доказательства, такие как водительские права и другие PII.

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

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

Как работают доказательства с нулевым разглашением?

Доказательства с нулевым разглашением используют алгоритмы, которые обрабатывают входные данные и подтверждают их истинность. Такие проекты, как StarkNet на Ethereum, Polygon Zero, Zk Sync и другие, в настоящее время используют протоколы в своей функциональности.

Для эффективной работы доказательств с нулевым разглашением они должны соответствовать трем критериям:

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

Базовое доказательство с нулевым разглашением состоит из трех элементов.

• Во-первых, у нас есть свидетель, которая является Secret информацией. Доказывающий задает вопросы, ответы на которые может знать только сторона, посвященная в эту информацию.
• Вторым элементом являетсяиспытание, где проверяющий выбирает вопрос из набора, на который должен ответить доказывающий.
• Третий и последний элемент — этоответ, где доказывающий отвечает на вопрос. С помощью ответа проверяющий подтверждает, что доказывающий может получить доступ к свидетелю. Затем проверяющий переходит к выбору дополнительных вопросов из набора. Множественные вопросы ограничивают возможность доказывающего подделать знание информации.

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

Существует два типа доказательств с нулевым разглашением: интерактивные и неинтерактивные.

• Интерактивные доказательства с нулевым разглашениемпозволяют осуществлять двустороннюю связь между двумя сторонами. Связь позволяет проводить проверку действительности заявления к удовлетворению проверяющего.
• Неинтерактивные доказательства с нулевым разглашением: Здесь две стороны участвуют только в ONE раунде общения. Доказывающий делится информацией с алгоритмом, который вычисляет доказательство с нулевым разглашением. Проверяющий получает доказательство и использует другой алгоритм для подтверждения знаний доказывающего.

Учитывая удобство неинтерактивных ZKP, многие доступные в настоящее время протоколы попадают в категорию неинтерактивных ZKP. Давайте рассмотрим некоторые из них.

• ZK-SNARK:Известные в полном объеме как Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, их небольшой размер упрощает процесс проверки. Эти протоколы используют эллиптические кривые для генерации криптографического доказательства, процесс считается GAS .
• ZK-STARK:Они известны как Zero-Knowledge Scalable Transparent Argument of Knowledge. Они быстры из-за минимального взаимодействия между двумя сторонами.
• Пуленепробиваемые: Они не требуют доверенной настройки. Короткие неинтерактивные доказательства с нулевым разглашением позволяют проводить приватные Криптовалюта транзакции.
• ПЛОНК:Они известны как Перестановки по Лагранжевым базам для Вселенских Неинтерактивных Аргументов Знания. PLONK допускают большое количество участников, используя универсальную доверенную настройку.

Зачем нам нужны доказательства с нулевым разглашением?

Различные варианты использования объясняют, почему нам нужны доказательства с нулевым разглашением. Давайте рассмотрим некоторые из наиболее важных.

• Безопасность и Политика конфиденциальности: Псевдонимность Web3 не гарантирует полной Политика конфиденциальности , поскольку история транзакций доступна в публичных блокчейнах. С ZKP проверка информации возможна без раскрытия PII, что позволяет сохранить анонимность.
• Проверка личности:Подтверждение личности не обязательно подразумевает передачу конфиденциальной информации. ZKP предлагают возможность провести процесс проверки личности конфиденциально и безопасно.
• Масштабируемость:С ZKP сети блокчейнов могут проверять транзакции, не раскрывая базовые данные. Эффективность сети повышается, поскольку объем информации, хранящейся в блокчейне, значительно сокращается.
• Согласие:Организации могут соблюдать нормативные требования в отношении отмывания денег, KYC и других соответствующих законов. ZKP позволяют организациям соблюдать требования без хранения личной информации пользователей в централизованных базах данных.

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