*Примечание редактора: доказательства с нулевым разглашением (ZKP) являются «секретной книгой» Crypto для развития во многих направлениях, таких как расширение и конфиденциальность. Отрасль ожидает от доказательств с нулевым разглашением больших ожиданий. Однако, поскольку большая часть пояснительного контента по этой концепции предназначена для людей с определенными знаниями в области информатики или криптографии, для большинства обычных пользователей все еще существуют определенные препятствия для полного понимания самой концепции. *
*8 сентября партнер a16z Майкл Блау опубликовал научно-популярную статью о доказательствах с нулевым разглашением. Статья ловко избегает абстрактных математических спекуляций в самой концепции доказательства с нулевым разглашением, но использует магические представления, чтобы конкретно продемонстрировать полезность ZKP. *
*Далее представляет собой компиляцию оригинального текста Майкла Блау (голос от первого лица), сделанного Odaily Planet Daily. Некоторые изменения были внесены для удобства чтения. *
Кларк, автор книги «2001: Космическая одиссея», сказал: «Любая достаточно развитая технология неотличима от магии».
Доказательство с нулевым разглашением — одна из таких волшебных технологий.На самом деле это криптографическая концепция, которую можно использовать для решения двух основных проблем в области масштабируемости и конфиденциальности Web3. **
С точки зрения полезности, использование ** доказательств с нулевым разглашением может помочь снизить затраты на транзакции в цепочке и разработать новые приложения для защиты конфиденциальности, тем самым способствуя распространению Crypto среди одного миллиарда пользователей. **Помимо шифрования, ZKP также может использоваться для безопасной передачи конфиденциальных данных, тем самым помогая бороться с незаконными финансовыми системами или бороться с распространением мошеннической информации.
Но что такое доказательства с нулевым разглашением? Для небольшого числа исследователей и разработчиков в Интернете можно найти множество подробных объяснений, но это содержимое не предназначено для обычных пользователей с меньшим опытом в информатике или оккультизме. Хотя некоторые пионеры также написали несколько научно-популярных статей, основанных на аналогиях, на сегодняшний день все еще непростая задача найти острое и популярное объяснение, связанное с доказательствами с нулевым разглашением, которое помогло бы обычным людям точно понять его магию.
Итак, в следующей статье я объединяю свой опыт работы в сфере криптографии и магической индустрии, чтобы исследовать новую аналогию — рассматривать доказательства с нулевым разглашением как великий магический трюк. **
Прежде всего, нам нужны базовые знания
Сначала я поделюсь «высокоуровневым» определением доказательства с нулевым разглашением (особенно его классическим алгоритмом zk-SNARK) и его основными характеристиками, а затем сопоставлю эти «компоненты» один за другим в магию.
Джастин Талер, исследовательский партнер a16z, определяет zk-SNARK как: «zk-SNARK позволяет кому-то (доказывающему) доказать другому человеку (проверяющему), что он не верит в то, что знает некоторые данные, не имея Раскрыть любую информацию о самих данных.»
В курсе Массачусетского технологического института это определяется следующим образом: «Протоколы с нулевым разглашением позволяют мне доказать вам, что я знаю факт, не сообщая вам сам факт».».
Это имеет большую прикладную ценность в контексте блокчейна, потому что:
(соответствует конфиденциальности) ** Доказательство с нулевым разглашением может защитить личную информацию, позволяя другим проверить подлинность информации. **
(Соответствует расширению) ** Доказательство с нулевым разглашением может «упростить» и «сэкономить» рабочую нагрузку. ** «Упрощение» означает, что размер «доказательства» меньше, чем сами «данные», которые доказываются; «сохранение» означает, что проверяющий может проверить «доказательство» более эффективно, чем анализировать сами исходные «данные». В Ethereum это означает, что смарт-контракты будут обрабатывать меньше данных, поэтому затраты пользователей на газ будут ниже.Уровень 2 также может воспользоваться этими функциями, позволяя децентрализованным приложениям обрабатывать больше данных с меньшими затратами.
Таким образом, доказательства с нулевым разглашением имеют два основных свойства:
Одним из них является конфиденциальность: «данные» (или «факты» или «знания»), которые вы доказываете, не будут раскрыты проверяющему.
Второе — это масштабируемость: проверка «доказательств» более эффективна, чем прямой анализ необработанных «данных».
Это классическое объяснение доказательств с нулевым разглашением, но оно по-прежнему звучит как загадка: как кто-то может доказать, что он что-то знает, не поделившись информацией?
Давайте еще раз посмотрим на определение, но на этот раз мы собираемся проделать волшебный трюк.
Магия сама по себе является доказательством с нулевым разглашением
Проще говоря, в магическом шоу сама «магия» является доказательством с нулевым разглашением. Чтобы совершить фокус, «фокуснику» необходимо знать «тайну», стоящую за ним. Только зная эту тайну, они смогут выполнить представление, но раскрывать эту тайну «зрителям» они уж точно не хотят — это, очевидно, разрушит эффект магии.
*Примечание Odaily Planet Daily: Обратите внимание, что четыре символа заключены в кавычки. *
"Секрет" соответствует исходным "данным";
"Магия" соответствует "доказательству";
"Маг" соответствует "Испытателю";
«Аудитория» соответствует «Верификатору». *
Далее мы добавим в эту магию «расширенное» определение доказательства с нулевым разглашением из предыдущего абзаца: ** представьте себе фокусника как «доказывающего», а аудиторию — как «проверяющего». **
**Магическое шоу — это процесс, в котором «доказывающий» доказывает «проверяющему». **Если представление прошло успешно, это эквивалентно доказательству его эффективности, а зрители также могут подтвердить, что фокусник должен понять секрет, стоящий за ним; Если представление не удалось, это эквивалентно доказательству что это неверно, и зрители будут разочарованы. Имейте в виду, что фокусник может не знать фокуса.
Очевидно, что магия ясно демонстрирует конфиденциальность доказательств с нулевым разглашением, потому что аудитории никогда не раскрывают, в чем секрет, скрывающийся за ней. А как насчет масштабируемости? Давайте продолжим возвращаться к этой метафоре…
Если зрители хотят знать, овладел ли фокусник секретом (знает ли «доказывающий» исходные «данные»), они могут пропустить обычное представление и просто попросить фокусника поделиться секретом, стоящим за ним. Однако магические техники, как правило, довольно сложны и громоздки. Зрителям сложно за короткий период времени понять механизм создания и эффекты реализации этих техник, не говоря уже о том, чтобы полностью овладеть ими. Маг может даже предоставить неправильную технику. и зрители будут разочарованы.Также сложно сказать, настоящее оно или нет. Поэтому для завершения доказательства путем анализа самого секрета часто требуется много времени и большая рабочая нагрузка.
Точно так же, как непосредственный анализ исходных «данных» требует больше времени и труда, проверка «доказательства» будет более эффективной. За этим стоит масштабируемость доказательств с нулевым разглашением.
Используйте игральные карты в качестве примера
В качестве простого примера предположим, что я хвастаюсь тем, что обладаю навыком «обратного перетасовывания» и могу перетасовать колоду хаотичных игральных карт до желаемого эффекта. Так как я могу тебе это доказать?
Самый эффективный способ для меня - это напрямую перетасовать для вас колоду карт с определенным рисунком. Когда вы увидите эту колоду карт, вы можете подтвердить, что у меня есть этот навык. Это не требует от меня делиться с вами своими навыками , но это также лучше, чем ваше. Медленное обучение самостоятельно придет быстрее.
В общем, я надеюсь, что эта аналогия поможет демистифицировать доказательства с нулевым разглашением. Этот набор объяснений о «магии», «тайне», «волшебнике» и «аудитории» можно использовать как эффективную модель для понимания основных характеристик доказательств с нулевым разглашением. Доказательства с нулевым разглашением и дополнительная помощь Многие обычные пользователи сталкиваются с этой концепцией.
Опять же, магия — это, по сути, доказательство с нулевым разглашением, а доказательство с нулевым разглашением — то же самое, что и магия. **
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
a16z: Как использовать волшебное шоу, чтобы понять доказательства с нулевым разглашением
Эта статья взята из | a16z
Автор оригинала | Майкл Блау
Составлено | Odaily Planet Daily Azuma
*Примечание редактора: доказательства с нулевым разглашением (ZKP) являются «секретной книгой» Crypto для развития во многих направлениях, таких как расширение и конфиденциальность. Отрасль ожидает от доказательств с нулевым разглашением больших ожиданий. Однако, поскольку большая часть пояснительного контента по этой концепции предназначена для людей с определенными знаниями в области информатики или криптографии, для большинства обычных пользователей все еще существуют определенные препятствия для полного понимания самой концепции. *
*8 сентября партнер a16z Майкл Блау опубликовал научно-популярную статью о доказательствах с нулевым разглашением. Статья ловко избегает абстрактных математических спекуляций в самой концепции доказательства с нулевым разглашением, но использует магические представления, чтобы конкретно продемонстрировать полезность ZKP. *
*Далее представляет собой компиляцию оригинального текста Майкла Блау (голос от первого лица), сделанного Odaily Planet Daily. Некоторые изменения были внесены для удобства чтения. *
Кларк, автор книги «2001: Космическая одиссея», сказал: «Любая достаточно развитая технология неотличима от магии».
Доказательство с нулевым разглашением — одна из таких волшебных технологий.На самом деле это криптографическая концепция, которую можно использовать для решения двух основных проблем в области масштабируемости и конфиденциальности Web3. **
С точки зрения полезности, использование ** доказательств с нулевым разглашением может помочь снизить затраты на транзакции в цепочке и разработать новые приложения для защиты конфиденциальности, тем самым способствуя распространению Crypto среди одного миллиарда пользователей. **Помимо шифрования, ZKP также может использоваться для безопасной передачи конфиденциальных данных, тем самым помогая бороться с незаконными финансовыми системами или бороться с распространением мошеннической информации.
Но что такое доказательства с нулевым разглашением? Для небольшого числа исследователей и разработчиков в Интернете можно найти множество подробных объяснений, но это содержимое не предназначено для обычных пользователей с меньшим опытом в информатике или оккультизме. Хотя некоторые пионеры также написали несколько научно-популярных статей, основанных на аналогиях, на сегодняшний день все еще непростая задача найти острое и популярное объяснение, связанное с доказательствами с нулевым разглашением, которое помогло бы обычным людям точно понять его магию.
Итак, в следующей статье я объединяю свой опыт работы в сфере криптографии и магической индустрии, чтобы исследовать новую аналогию — рассматривать доказательства с нулевым разглашением как великий магический трюк. **
Прежде всего, нам нужны базовые знания
Сначала я поделюсь «высокоуровневым» определением доказательства с нулевым разглашением (особенно его классическим алгоритмом zk-SNARK) и его основными характеристиками, а затем сопоставлю эти «компоненты» один за другим в магию.
Джастин Талер, исследовательский партнер a16z, определяет zk-SNARK как: «zk-SNARK позволяет кому-то (доказывающему) доказать другому человеку (проверяющему), что он не верит в то, что знает некоторые данные, не имея Раскрыть любую информацию о самих данных.»
В курсе Массачусетского технологического института это определяется следующим образом: «Протоколы с нулевым разглашением позволяют мне доказать вам, что я знаю факт, не сообщая вам сам факт».».
Это имеет большую прикладную ценность в контексте блокчейна, потому что:
Таким образом, доказательства с нулевым разглашением имеют два основных свойства:
Это классическое объяснение доказательств с нулевым разглашением, но оно по-прежнему звучит как загадка: как кто-то может доказать, что он что-то знает, не поделившись информацией?
Давайте еще раз посмотрим на определение, но на этот раз мы собираемся проделать волшебный трюк.
Магия сама по себе является доказательством с нулевым разглашением
Проще говоря, в магическом шоу сама «магия» является доказательством с нулевым разглашением. Чтобы совершить фокус, «фокуснику» необходимо знать «тайну», стоящую за ним. Только зная эту тайну, они смогут выполнить представление, но раскрывать эту тайну «зрителям» они уж точно не хотят — это, очевидно, разрушит эффект магии.
"Секрет" соответствует исходным "данным";
"Магия" соответствует "доказательству";
"Маг" соответствует "Испытателю";
Далее мы добавим в эту магию «расширенное» определение доказательства с нулевым разглашением из предыдущего абзаца: ** представьте себе фокусника как «доказывающего», а аудиторию — как «проверяющего». **
**Магическое шоу — это процесс, в котором «доказывающий» доказывает «проверяющему». **Если представление прошло успешно, это эквивалентно доказательству его эффективности, а зрители также могут подтвердить, что фокусник должен понять секрет, стоящий за ним; Если представление не удалось, это эквивалентно доказательству что это неверно, и зрители будут разочарованы. Имейте в виду, что фокусник может не знать фокуса.
Очевидно, что магия ясно демонстрирует конфиденциальность доказательств с нулевым разглашением, потому что аудитории никогда не раскрывают, в чем секрет, скрывающийся за ней. А как насчет масштабируемости? Давайте продолжим возвращаться к этой метафоре…
Если зрители хотят знать, овладел ли фокусник секретом (знает ли «доказывающий» исходные «данные»), они могут пропустить обычное представление и просто попросить фокусника поделиться секретом, стоящим за ним. Однако магические техники, как правило, довольно сложны и громоздки. Зрителям сложно за короткий период времени понять механизм создания и эффекты реализации этих техник, не говоря уже о том, чтобы полностью овладеть ими. Маг может даже предоставить неправильную технику. и зрители будут разочарованы.Также сложно сказать, настоящее оно или нет. Поэтому для завершения доказательства путем анализа самого секрета часто требуется много времени и большая рабочая нагрузка.
Точно так же, как непосредственный анализ исходных «данных» требует больше времени и труда, проверка «доказательства» будет более эффективной. За этим стоит масштабируемость доказательств с нулевым разглашением.
Используйте игральные карты в качестве примера
В качестве простого примера предположим, что я хвастаюсь тем, что обладаю навыком «обратного перетасовывания» и могу перетасовать колоду хаотичных игральных карт до желаемого эффекта. Так как я могу тебе это доказать?
Самый эффективный способ для меня - это напрямую перетасовать для вас колоду карт с определенным рисунком. Когда вы увидите эту колоду карт, вы можете подтвердить, что у меня есть этот навык. Это не требует от меня делиться с вами своими навыками , но это также лучше, чем ваше. Медленное обучение самостоятельно придет быстрее.
В общем, я надеюсь, что эта аналогия поможет демистифицировать доказательства с нулевым разглашением. Этот набор объяснений о «магии», «тайне», «волшебнике» и «аудитории» можно использовать как эффективную модель для понимания основных характеристик доказательств с нулевым разглашением. Доказательства с нулевым разглашением и дополнительная помощь Многие обычные пользователи сталкиваются с этой концепцией.
Опять же, магия — это, по сути, доказательство с нулевым разглашением, а доказательство с нулевым разглашением — то же самое, что и магия. **