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

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

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

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

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

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

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

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

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

Этот подход к интерактивному доказательству возможен для некоторых больших задач, но он требует времени и вычислительных затрат и требует общения со всеми игроками.

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

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

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

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

ИЗКП не могут быть реализованы экстенсивно

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

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

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

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

Проще говоря, вы еще не в том возрасте, чтобы пить, но вы все еще используете слова, чтобы доказать обратное. Если так, то это было бы катастрофой.

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

ЗК-СНАРК

ZK-SNARK расшифровывается как «краткий неинтерактивный аргумент знания с нулевым разглашением». Протокол ZK-SNARK имеет следующие характеристики:

Чтобы использовать доверенную настройку, пользователь должен доверять участникам, создающим параметр. Тем не менее, создание ZK-STARK позволило продемонстрировать протоколы, работающие в нестабильных условиях.

ЗК-СТАРК

Термин ZK-STARK расшифровывается как Zero-Knowledge Scalable Transparent Argument of Knowledge. ZK-STARK идентичен ZK-SNARK, но со следующими отличиями:

ZK-STARK создают более крупные доказательства, чем ZK-SNARK, что подразумевает более высокие затраты на проверку. Тем не менее, в определенных обстоятельствах (например, доказательство огромных наборов данных) ZK-STARK может быть более рентабельным, чем ZK-SNARK.

Заключение

В отличие от zkSNARK, zkSTARK основан на кратких интерактивных доказательствах, что означает, что доказательства могут быть быстро проверены без какого-либо взаимодействия между доказывающим и проверяющим. В результате zkSTARK имеет больше преимуществ с точки зрения безопасности и масштабируемости.

Но по мере развития технологий технологии доказательства с нулевым разглашением будут продолжать развиваться и использоваться.

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

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

ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ: Информация на этом веб-сайте предоставляется в качестве общего комментария к рынку и не является инвестиционным советом. Мы рекомендуем вам провести собственное исследование, прежде чем инвестировать.