Поскольку в эпоху цифровых технологий компьютерные технологии продолжают совершенствоваться, мы теперь можем легко хранить, обмениваться и анализировать огромные объемы деловых и личных данных в Интернете, что вызывает обеспокоенность по поводу прав. Конфиденциальность и безопасность данных также улучшаются.
Доказательство с нулевым разглашением — это разновидность криптографии. Согласно теории ZKP, проверяющая сторона должна продемонстрировать проверяющему, что предоставленная им информация является точной, не раскрывая при этом никаких реальных подробностей.
#zkp предлагает свободу и выбор потребителям, которые стремятся к контролю и независимости над своей информацией. Объединив технологию ZKP и #blockchain , можно реализовать несколько вариантов использования.
Также доступны интерактивные и неинтерактивные доказательства с нулевым разглашением.
Интерактивные доказательства с нулевым разглашением (IZKP) требуют постоянного обмена вопросами и ответами между доказывающим и проверяющим. Это взаимодействие может происходить офлайн или онлайн через сеть, например Интернет. Верификатор должен иметь несколько контактов с проверяющим, прежде чем он сможет запросить дополнительную информацию о доказываемом утверждении. Доказывающий должен ответить на вопрос проверяющего в каждом раунде.
Для некоторых серьезных задач этот метод интерактивного доказательства возможен, но он вызывает проблемы со временем и вычислительными затратами и требует сотрудничества всех участников.
С другой стороны, неинтерактивные доказательства с нулевым разглашением (NIZKP) не требуют связи между доказывающим и проверяющим. Вместо этого проверяющий создает отдельное независимое доказательство, которое проверяющий может изучить самостоятельно без необходимости дополнительной коммуникации. Это может быть более удобно и эффективно, чем интерактивные доказательства, поскольку доказывающему и проверяющему не нужно одновременно находиться в сети или обмениваться большим количеством сообщений.
Интерактивные доказательства требуют больше времени для анализа и передачи, чем неинтерактивные доказательства. Тем не менее, бывают ситуации, когда это может оказаться непрактичным, например, когда для доказательства или демонстрации очень запутанного аргумента требуется больше деталей.
Одним из ключевых различий между интерактивными и неинтерактивными доказательствами с нулевым разглашением является уровень доверия, необходимый между доказывающим и проверяющим. При интерактивном доказательстве проверяющий должен быть уверен, что доказывающий будет соблюдать правила и давать правдивые ответы на свои вопросы. В отличие от интерактивных доказательств, неинтерактивные доказательства позволяют проверяющему независимо проверять доказательство, не полагаясь на информацию доказывающего.
Лучший подход для конкретной ситуации будет зависеть от потребностей и ограничений. Как интерактивные, так и неинтерактивные доказательства с нулевым разглашением имеют свои преимущества и недостатки.
Интерактивные доказательства могут быть более подходящими в тех случаях, когда доказывающий и проверяющий одновременно находятся в сети и могут легко общаться.
С другой стороны, неинтерактивные доказательства могут быть более подходящими в тех случаях, когда доказывающий и проверяющий не находятся в сети одновременно или надежность доказывающего сомнительна. Наконец, интерактивные и неинтерактивные доказательства с нулевым разглашением часто выбираются на основе конкретных задач и ситуаций применения.
Интерактивное доказательство с нулевым разглашением — одна из самых ранних изученных и наиболее часто используемых форм доказательства с нулевым разглашением. На протяжении всего процесса доказательства будет несколько раундов взаимодействия между доказывающим и проверяющим.
Требуется взаимодействие между проверяющими и проверяющими, что может занять много времени и быть неэффективным. Доказывающий и проверяющий должны активно общаться, чтобы завершить доказательство. Это может стать проблемой в ситуациях, когда скорость важна, например, при высокочастотной торговле или принятии решений в реальном времени.
Например, если молодой владелец магазина вызывает подозрения, вы должны войти в заведение, чтобы купить алкоголь, но вы не можете доказать свой возраст ничем, кроме внешнего вида. На этом этапе вам нужно будет с помощью закадрового голоса описать, как покупать алкоголь.
ИЗКП предполагает, что и доказывающий, и проверяющий говорят правду и не пытаются фальсифицировать или изменить доказательства. Тем не менее, это не всегда так, и доказывающий может попытаться обмануть проверяющего, посылая ложные сигналы или изменяя доказательства каким-либо другим способом. Это может поставить под угрозу достоверность доказательств и сделать их менее полезными.
Проще говоря, ты еще недостаточно взрослый, чтобы пить, но ты все еще пытаешься аргументировать эту точку зрения словами. Такая ситуация была бы разрушительной.
Следовательно, несмотря на высокие гарантии безопасности и конфиденциальности IZKP, их широкое распространение сдерживается вышеупомянутыми недостатками.
Сжатый неинтерактивный аргумент с нулевым разглашением знаний также известен как ZK-SNARK. К протоколу ZK-SNARK применимы следующие особенности:
Верификаторы с нулевой информацией могут подтвердить истинность утверждения, ничего о нем не зная. Единственное, что проверяющий знает об утверждении, — это истинно оно или ложно.
Одним словом, доказательство с нулевым разглашением проще доказательства и может быть показано быстро.
Неинтерактивные доказательства отличаются от интерактивных доказательств тем, что доказывающие и проверяющие общаются только один раз, в отличие от интерактивных доказательств, которые предполагают множество раундов общения.
Аргумент: Поскольку доказательства отвечают требованию «рациональности», мошенничество очень маловероятно.
(О) Знания: Трудно создать доказательство с нулевым разглашением без доступа к конфиденциальной информации. Доказывающему без свидетелей будет очень сложно, если не невозможно, вычислить действительное доказательство с нулевым разглашением.
Пользователь должен доверять участникам, создающим параметр, чтобы использовать доверенную настройку. Тем не менее, разработка ZK-STARK позволила продемонстрировать протоколы, которые работают в неопределенных условиях.
Масштабируемый прозрачный аргумент знаний с нулевым разглашением называется ZK-STARK. ZK-STARK и ZK-SNARK идентичны, за исключением следующих моментов:
Масштабируемость: если размер свидетеля больше, ZK-STARK генерирует и проверяет доказательства быстрее, чем ZK-SNARK. При использовании доказательств STARK время доказывания и верификации увеличивается минимально с ростом числа свидетелей (время доказывания и верификации SNARK увеличивается линейно с размером свидетеля).
Прозрачность: вместо укрепления доверия ZK-STARK полагается на публично проверяемую рандомизацию для создания общедоступных параметров для доказательства и проверки. В результате они менее непрозрачны, чем ZK-SNARK.
Вероятно, затраты на проверку будут выше, поскольку ZK-STARK генерирует более крупные доказательства, чем ZK-SNARK. Тем не менее, #ZK-STARK может быть более экономичным, чем #ZK-SNARK в некоторых ситуациях (например, проверка больших наборов данных).
#ZK-STARK основаны на кратких интерактивных доказательствах, что указывает на то, что доказательства могут быть быстро проверены без необходимости какого-либо взаимодействия между доказывающим и проверяющим. Благодаря этому преимущества ZK-STARK с точки зрения безопасности и масштабируемости лучше.
Технологии с нулевым разглашением данных будут продолжать развиваться и использоваться по мере совершенствования технологий.
Хотя блокчейн предлагает децентрализацию, прозрачность и многие другие преимущества, использование адресов, а не только идентификационных данных, не гарантирует конфиденциальность.
Защита от нулевого разглашения #technology предлагает широкий спектр приложений для проверки конфиденциальности и безопасности. Хотя это не новая технология, еще многое предстоит изучить и продемонстрировать на практике в ее применении для развития индустрии блокчейнов.