Что такое доказательство нулевого знания

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

Существует два типа протоколов доказательства нулевого знания - интерактивные ZKP и неинтерактивные ZKP

Есть три существенных предпосылки для доказательств нулевого знания - полнота, достоверность и нулевое знание.

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

Тысячи людей ежедневно пользуются Интернетом, принимают файлы cookie и делятся своей личной информацией, чтобы воспользоваться преимуществами различных онлайн-услуг и продуктов. К сожалению, с каждым годом пользователи все больше подвергаются риску утечки данных и несанкционированного использования их информации. Кроме того, иногда они вынуждены отказываться от своей конфиденциальности, чтобы получить доступ к услугам, которые предлагают такие платформы, как Google и Facebook - таким как рекомендации, консультации, индивидуальная помощь и т.д. Однако они не могут получить к нему доступ при использовании частного просмотра.

BBVA New Digital Businesses считает асимметрию нынешнего цифрового общества в отношении доступа к информации серьезной проблемой, поскольку конфиденциальность и владение данными являются "фундаментальными правами, которые мы должны защищать." Поэтому NDB ( New Digital Businesses) занимается исследованием новых механизмов, инструментов и научных методов, полезных для обеспечения безопасности экономики, основанной на данных, при защите частной жизни", объясняет Де ла Гандара , возглавляющий этот проект.

Zero-Knowledge Proof (ZKP) выделяется как одна из технологий, демонстрирующих самый огромный потенциал для достижения этого баланса, набор инструментов, позволяющих подтвердить часть информации без раскрытия данных, которые ее демонстрируют. Технология возможна благодаря тому, что вычислительное утверждение может быть математически проверено на правильность без раскрытия каких-либо данных тестером "" с использованием криптографических алгоритмов.

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

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

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

Существует три существенных условия для доказательств с нулевым знанием:

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

2.Валидность: Ни одно утверждение не может быть фальсифицировано, и проверяющий не может быть убежден, что у проверяемого есть требуемые входные данные, когда у проверяющего их нет.

3.Нулевое знание: проверяющий не может знать ничего, кроме того, является ли утверждение истинным или ложным. Данные и информация о других сторонах остаются конфиденциальными.


Использование доказательств нулевого знания в блокчейне

---

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

Частные сделки (EY и Nightfall)
Компания EY разработала решения на основе блокчейна и ЗКП в ответ на проблемы конфиденциальности и суверенитета данных.

Публичный протокол ZKP, Nightfall, был выпущен компанией EY в 2019 году, который позволяет компаниям проводить частные, безопасные транзакции с использованием публичных блокчейнов, сохраняя конфиденциальность.

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

С помощью Nightfall и Starlight пользователи могут получить доступ к приложениям блокчейн с большей безопасностью и конфиденциальностью.

Приложения на основе сообщений
Передача сообщений в частном порядке стала возможной благодаря сквозному шифрованию. Однако традиционные приложения для обмена сообщениями требуют от пользователя подтверждения своей личности на сервере. ЗКП позволяют лицам подтвердить свою личность без раскрытия личной информации.

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



Лучшие проекты, использующие доказательства нулевого знания

---

NuCypher
NuCypher - это проект ICO, который работает над созданием системы повторного шифрования прокси-сети. Она основана на идее владения, когда Вы запираете (шифруете) документ, которым владеете, с помощью закрытого ключа. Чтобы поделиться этим документом, Вы должны будете предоставить закрытый ключ получателю. Это само по себе является тем, чего не следует делать. Следовательно, возникает необходимость в повторном шифровании прокси.

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

NuCypher управляет набором взаимосвязанных узлов, что позволяет повторно зашифровывать ключи. Эта сеть узлов хранит ключи по частям на всех узлах, что делает ее более безопасной. Скорость этой операции зависит от производной технологии ZKP, называемой NIKP (Non-interactive Zero-knowledge proof). Эта технология работает как часы, обеспечивая правильность и безопасность каждого повторного шифрования с узлов KMS.

Nuggets
Эта программа ориентирована на то, чтобы дать пользователям возможность больше контролировать свои продажи при покупке товаров в Интернете. Благодаря этому проекту пользователи смогут нормировать количество персональных данных, которые они предоставляют при покупке товаров через онлайн-продавцов.
Рабочая стратегия была основана на том, что централизованные базы данных, принадлежащие этим онлайн-продавцам, не являются безопасными. Следовательно, они являются легкой мишенью для взлома и утечки данных. Проект Nuggets использует технологию ZKP для сокрытия частной информации пользователей.

ZCash
ZCash (или Zero Cash) осуществляет свои операции, используя базовое программное обеспечение и протокол Bitcoin. Недавно она добавила ZK-SNARKs в свою сеть блокчейн, чтобы гарантировать, что все ее бухгалтерские книги зашифрованы и не имеют двойных трат. Этот протокол блокчейна работает с использованием протокола ZKP.

Верификация голосов
Это распространенное применение ЗКП в современном мире. ZKP используется вместе с блокчейном для создания демократического способа проверки голосов на выборах. Она обеспечивает прозрачную систему, в которой весь процесс голосования может быть проверен и доступен.
Следовательно, нет необходимости в третьей стороне для проверки результатов выборов. ZKP также предоставляет избирателям платформу для проверки их права на участие в выборах. Это, в свою очередь, помогает избирателям защитить свою личную информацию.

Действительность транзакции ING
Это еще одно практическое применение ZKP наряду с блокчейном в решении реальной проблемы. Недавно ING объявил, что собирается начать использовать ZKP наряду с известной блокчейн-платформой Corda для подтверждения транзакций на платформе.
Ранее платформа Corda была ограничена в применении, поскольку ее можно было использовать только для выбора безопасности и конфиденциальности. Теперь он может делать гораздо больше.





Автор: Gate.io Обозреватель: M. Олатунджи
Отказ от ответственности:
* Данная статья представляет только мнение обозревателей и не является инвестиционным предложением.
*Gate.io оставляет за собой все права на эту статью. Перепечатка статьи будет разрешена при условии ссылки на Gate.io. Во всех остальных случаях будут предприняты юридические действия в связи с нарушением авторских прав.