Исходное название: "Является ли zkSNARK: объяснение для начинающих"
Автор: Автор
Сборник: firefire
Долгое время невозможный треугольник блокчейна (то есть масштабируемость, децентрализация и безопасность) может быть только вторым из трех), поэтому после того, как Ethereum достигнет более высокой степени безопасности и конфиденциальности, расширение станет высшим приоритетом.
Таким образом, появился уровень 2. В настоящее время в плане расширения уровня 2 технология ZK рассматривается Виталиком Бутериным (V God), соучредителем Ethereum, как окончательное решение проблемы расширения.
21 мая на некоммерческой ежегодной глобальной конференции Ethereum EDCON 2023, проходившей в Черногории, Ви Год сказал, что в ближайшие 10 лет zk-SNARK с ZK в качестве базовой технологии будет так же важен, как и блокчейн.
Так что же такое zk-SNARK, недавно продвигаемый V God? Какие проблемы с блокчейном можно решить? Давайте посмотрим на сегодняшнее введение.
Ниже текст:
##01 Что такое zk-SNARK?
**1. Кто создал zk-SNARK? **
Термин «zk-SNARK» был придуман группой криптографов, включая Нира Битански, Алессандро Кьезу и Эрана Тромера, которые первоначально опубликовали обоснование zk-SNARK в статье. В результате zk-SNARK постепенно развивались и улучшались многими различными проектами и командами.
**2. Что означает zk-SNARK? **
ZK: ноль знаний, ноль знаний
Нулевое знание означает, что лицо, проверяющее утверждение, не может получить никакой новой информации в процессе проверки. ** Другими словами, в процессе доказательства с нулевым разглашением верификатор знает только, является ли утверждение истинным или ложным, и ничего больше. **
S: Простота, лаконичность
Краткие доказательства zk-SNARKs являются самыми короткими и легко проверяемыми доказательствами. ** Это отличается от обычных доказательств с нулевым разглашением, которые могут быть очень длинными и сложными. Как правило, доказательства zk-SNARK можно проверить за миллисекунды.
N: неинтерактивный неинтерактивный
Неинтерактивные доказательства zk-SNARKs не требуют взаимодействия между доказывающим и проверяющим. ** Это означает, что от доказывающего к верификатору отправляется только одно сообщение о результатах. ** Это отличается от интерактивных доказательств, где доказывающий и проверяющий должны взаимодействовать друг с другом, чтобы завершить доказательство.
AR: аргумент аргумент
Аргумент — это причина или набор причин в поддержку точки зрения. В контексте zk-SNARK аргумент представляет собой серию математических операций, используемых для доказательства истинности утверждения.
К: знание знание
Знание относится к идее, что доказывающий знает определенную информацию, необходимую для завершения доказательства. Например, это может быть закрытый ключ учетной записи.
** Подводя итог, zk-SNARKs — это система ZK (система доказательства с нулевым разглашением), которая позволяет пользователю («доказывающему») что-то доказать другой стороне («верификатору»), например, свою личность, владение средствами. и т. д., не раскрывая никакой информации об этих активах. **Например:
Пользователь должен иметь возможность доказать, что на его счету достаточно средств для покупки продукта или услуги, не сообщая точную сумму, которую он имеет;
Пользователь должен иметь возможность подтвердить свою личность перед доступом к приложению без необходимости делиться своими личными данными.
В качестве примера возьмем, как «объяснить zk-SNARK 5-летнему ребенку», вот игра, объясняющая, что такое zk-SNARKs:
Представьте, что вы играете в «Где учитель иностранных языков?» с тремя друзьями, а приз — ставка в размере 1000 долларов, которую нужно разделить поровну между победителями. Вы и ваши друзья садитесь за стол, и каждый получает фотографию учителя китайского языка.
Вы должны найти учителя китайского языка на картинке, как только вы найдете учителя китайского языка, вам нужно доказать, что вы его нашли, но вы не можете раскрыть ее местонахождение или любую другую информацию. Другими словами, вы хотите продемонстрировать знание фактов, не раскрывая ничего, кроме обоснованности ваших утверждений.
Используя zkSNARK, вы можете взять лист бумаги одинакового размера и отметить на картинке точку положения учителя китайского языка. Затем бумагу можно спрятать в коробку, и как только ваши друзья решат головоломку, они сами увидят, где находится отмеченный вами китайский учитель.
Другими словами, zk-SNARK позволяют вам подтвердить информацию, которую вам нужно проверить, не раскрывая точное значение этой информации. ** В текущей кроссчейн-экосистеме использование технологии zk-SNARKs может поддерживать конфиденциальность блокчейнов и DApp, созданных на его платформе. **
В нем ключевая идея заключается в том, что проверяющий не может получить какую-либо информацию о доказательстве (отсюда и название «доказательство с нулевым разглашением»).
02zk-SNARKs принцип работы
zk-SNARK особенно важны в криптопространстве, где конфиденциальность становится еще более важной, поскольку многие блокчейны являются общедоступными по своей природе.
Самый известный пример — Zcash, криптографический актив конфиденциальности. Когда Zcash торгуется в общедоступных сетях, таких как Биткойн и Эфириум, для проверки используются такие детали, как адреса отправителя и получателя, а также входные и выходные значения (т. е. сколько было и не было потрачено).
Но с помощью zk-SNARK Zcash может доказать, что транзакция действительна, не раскрывая такой информации, как адрес и стоимость.
Как Zcash использует zkSNARKS для обеспечения уровня конфиденциальности для криптопользователей
Источник: Blockchainhub.net
Как работают zk-SNARK? Цифровые подписи** определяют принцип работы zk-SNARK**. Цифровые подписи используют криптографические алгоритмы для защиты конфиденциальной информации от другой стороны, предоставляя этой стороне необходимые запрошенные доказательства.
** Так как именно это делается? Выполните следующие действия:**
Доказывающая сторона сначала генерирует пару ключей: открытый ключ и закрытый ключ. Он подписывает транзакции своим закрытым ключом.
Затем доказывающая сторона кодирует эту транзакцию в zk-SNARK, которые являются математическим доказательством того, что транзакция действительна.
Доказательство отправляется верификатору вместе с открытым ключом. Затем верификатор использует открытый ключ, чтобы проверить правильность формулы, не зная ничего больше о транзакции. Поскольку проверяется лишь небольшой объем информации, эту проверку можно выполнить очень быстро, чтобы подтвердить, что транзакция действительна.
03 Конкретные варианты использования zk-SNARK
**1. Какие токены используют zk-SNARK? **
Зашифрованный токен SNARK — это зашифрованный актив, который использует zk-SNARK для повышения конфиденциальности, также известный как токен конфиденциальности. Примеры таких токенов конфиденциальности:
Зкэш (ЗЭК)
Грани (XVG)
Монеро (XMR)
Тире (DASH)
Луч (ЛУЧ)
Горизен (ЗЕН)
Байткойн (BCN)
Основная проблема zk-SNARK заключается в том, что если закрытый ключ скомпрометирован, могут быть созданы поддельные доказательства. Это может позволить создателям поддельных доказательств совершать мошенничество, например, создавая и используя поддельные монеты конфиденциальности.
2. Другие приложения zk-SNARKS
Filecoin — это поставщик децентрализованного хранилища, и его работа включает в себя множество аспектов.
Во-первых, поставщики хранилища в сети Filecoin (предоставляют место для хранения в обмен на вознаграждение за блок) и «сертификаторы» должны доказать, что они правильно хранят данные в сети.
С другой стороны, у нас есть «валидаторы», то есть узлы, которые должны проверять, правильно ли хранят и защищают данные поставщики хранилища. Эти верификаторы должны быть удовлетворены аттестациями, предоставленными поставщиком хранилища.
**Для этого требуется, чтобы поставщики хранилищ и узлы обменивались данными, когда данные переходят из рук в руки. Как вы можете себе представить, этот процесс будет ресурсоемким. **
В официальном сообщении в блоге Filecoin объясняется: "Объем данных, который один провайдер хранилища должен подтвердить сегодня, чтобы подтвердить свое хранилище, огромен и со временем будет только расти. Сеть Filecoin имеет время блокировки 30 секунд. Чтобы сохранить постоянная времени и обеспечивающий масштабируемый подход, Filecoin нуждается в решении, которое обеспечивает быструю, эффективную и надежную проверку».
С помощью zk-SNARK сеть Filecoin может улучшить свою масштабируемость и эффективность, сократив время, необходимое сторонам для проверки хранилища.
Для поставщиков хранилищ zk-SNARK сокращают объем данных, которые им необходимо передать, чтобы подтвердить свое хранилище, снижая эксплуатационные расходы.
3. zk-SNARK также можно использовать для других целей
Например:
** Аутентификация: ** Аутентифицируйте учетные данные пользователя без пароля, больше никаких документов, таких как паспорта, свидетельства о рождении, для защиты конфиденциальной информации, такой как место и дата рождения.
**Система голосования: ** Личность избирателя может быть проверена без идентификации, даже если бюллетени просочились, личность избирателя не может быть идентифицирована, что защищает конфиденциальность избирателя.
Сжатие данных: Это интересное использование zk-SNARKS, которое заслуживает отдельного раздела.
##04 Резюме
В целом, у zk-SNARKS есть три ключевых вывода:
zkSNARKS — это система доказательства с нулевым разглашением, которая позволяет одной стороне доказать другой стороне, что она знает значение x, не сообщая никакой другой информации об x.
Ключевая идея состоит в том, что проверяющий не может вывести какую-либо информацию об x только из того факта, что доказывающий может доказать, что он знает x. Это защищает конфиденциальность данных прувера.
Системы доказательства с нулевым разглашением используются в различных приложениях, включая безопасные коммуникации, криптографию и анализ данных с сохранением конфиденциальности.
Хотя системы доказательства с нулевым разглашением являются относительно новой областью исследований, все еще остается много открытых вопросов об их осуществимости и практичности. Тем не менее, они были использованы для создания некоторых впечатляющих продуктов.
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
В этой статье рассказывается о zk-SNARK, которые, по мнению Виталика, будут так же важны, как и блокчейн в ближайшие десять лет.
Исходное название: "Является ли zkSNARK: объяснение для начинающих"
Автор: Автор
Сборник: firefire
Долгое время невозможный треугольник блокчейна (то есть масштабируемость, децентрализация и безопасность) может быть только вторым из трех), поэтому после того, как Ethereum достигнет более высокой степени безопасности и конфиденциальности, расширение станет высшим приоритетом.
Таким образом, появился уровень 2. В настоящее время в плане расширения уровня 2 технология ZK рассматривается Виталиком Бутериным (V God), соучредителем Ethereum, как окончательное решение проблемы расширения.
21 мая на некоммерческой ежегодной глобальной конференции Ethereum EDCON 2023, проходившей в Черногории, Ви Год сказал, что в ближайшие 10 лет zk-SNARK с ZK в качестве базовой технологии будет так же важен, как и блокчейн.
Так что же такое zk-SNARK, недавно продвигаемый V God? Какие проблемы с блокчейном можно решить? Давайте посмотрим на сегодняшнее введение.
Ниже текст:
##01 Что такое zk-SNARK?
**1. Кто создал zk-SNARK? **
Термин «zk-SNARK» был придуман группой криптографов, включая Нира Битански, Алессандро Кьезу и Эрана Тромера, которые первоначально опубликовали обоснование zk-SNARK в статье. В результате zk-SNARK постепенно развивались и улучшались многими различными проектами и командами.
**2. Что означает zk-SNARK? **
ZK: ноль знаний, ноль знаний
Нулевое знание означает, что лицо, проверяющее утверждение, не может получить никакой новой информации в процессе проверки. ** Другими словами, в процессе доказательства с нулевым разглашением верификатор знает только, является ли утверждение истинным или ложным, и ничего больше. **
S: Простота, лаконичность
Краткие доказательства zk-SNARKs являются самыми короткими и легко проверяемыми доказательствами. ** Это отличается от обычных доказательств с нулевым разглашением, которые могут быть очень длинными и сложными. Как правило, доказательства zk-SNARK можно проверить за миллисекунды.
N: неинтерактивный неинтерактивный
Неинтерактивные доказательства zk-SNARKs не требуют взаимодействия между доказывающим и проверяющим. ** Это означает, что от доказывающего к верификатору отправляется только одно сообщение о результатах. ** Это отличается от интерактивных доказательств, где доказывающий и проверяющий должны взаимодействовать друг с другом, чтобы завершить доказательство.
AR: аргумент аргумент
Аргумент — это причина или набор причин в поддержку точки зрения. В контексте zk-SNARK аргумент представляет собой серию математических операций, используемых для доказательства истинности утверждения.
К: знание знание
Знание относится к идее, что доказывающий знает определенную информацию, необходимую для завершения доказательства. Например, это может быть закрытый ключ учетной записи.
** Подводя итог, zk-SNARKs — это система ZK (система доказательства с нулевым разглашением), которая позволяет пользователю («доказывающему») что-то доказать другой стороне («верификатору»), например, свою личность, владение средствами. и т. д., не раскрывая никакой информации об этих активах. **Например:
В качестве примера возьмем, как «объяснить zk-SNARK 5-летнему ребенку», вот игра, объясняющая, что такое zk-SNARKs:
Другими словами, zk-SNARK позволяют вам подтвердить информацию, которую вам нужно проверить, не раскрывая точное значение этой информации. ** В текущей кроссчейн-экосистеме использование технологии zk-SNARKs может поддерживать конфиденциальность блокчейнов и DApp, созданных на его платформе. **
В нем ключевая идея заключается в том, что проверяющий не может получить какую-либо информацию о доказательстве (отсюда и название «доказательство с нулевым разглашением»).
02zk-SNARKs принцип работы
zk-SNARK особенно важны в криптопространстве, где конфиденциальность становится еще более важной, поскольку многие блокчейны являются общедоступными по своей природе.
Самый известный пример — Zcash, криптографический актив конфиденциальности. Когда Zcash торгуется в общедоступных сетях, таких как Биткойн и Эфириум, для проверки используются такие детали, как адреса отправителя и получателя, а также входные и выходные значения (т. е. сколько было и не было потрачено).
Но с помощью zk-SNARK Zcash может доказать, что транзакция действительна, не раскрывая такой информации, как адрес и стоимость.
Как Zcash использует zkSNARKS для обеспечения уровня конфиденциальности для криптопользователей
Источник: Blockchainhub.net
Как работают zk-SNARK? Цифровые подписи** определяют принцип работы zk-SNARK**. Цифровые подписи используют криптографические алгоритмы для защиты конфиденциальной информации от другой стороны, предоставляя этой стороне необходимые запрошенные доказательства.
** Так как именно это делается? Выполните следующие действия:**
03 Конкретные варианты использования zk-SNARK
**1. Какие токены используют zk-SNARK? **
Зашифрованный токен SNARK — это зашифрованный актив, который использует zk-SNARK для повышения конфиденциальности, также известный как токен конфиденциальности. Примеры таких токенов конфиденциальности:
Основная проблема zk-SNARK заключается в том, что если закрытый ключ скомпрометирован, могут быть созданы поддельные доказательства. Это может позволить создателям поддельных доказательств совершать мошенничество, например, создавая и используя поддельные монеты конфиденциальности.
2. Другие приложения zk-SNARKS
Filecoin — это поставщик децентрализованного хранилища, и его работа включает в себя множество аспектов.
Во-первых, поставщики хранилища в сети Filecoin (предоставляют место для хранения в обмен на вознаграждение за блок) и «сертификаторы» должны доказать, что они правильно хранят данные в сети.
С другой стороны, у нас есть «валидаторы», то есть узлы, которые должны проверять, правильно ли хранят и защищают данные поставщики хранилища. Эти верификаторы должны быть удовлетворены аттестациями, предоставленными поставщиком хранилища.
**Для этого требуется, чтобы поставщики хранилищ и узлы обменивались данными, когда данные переходят из рук в руки. Как вы можете себе представить, этот процесс будет ресурсоемким. **
В официальном сообщении в блоге Filecoin объясняется: "Объем данных, который один провайдер хранилища должен подтвердить сегодня, чтобы подтвердить свое хранилище, огромен и со временем будет только расти. Сеть Filecoin имеет время блокировки 30 секунд. Чтобы сохранить постоянная времени и обеспечивающий масштабируемый подход, Filecoin нуждается в решении, которое обеспечивает быструю, эффективную и надежную проверку».
С помощью zk-SNARK сеть Filecoin может улучшить свою масштабируемость и эффективность, сократив время, необходимое сторонам для проверки хранилища.
Для поставщиков хранилищ zk-SNARK сокращают объем данных, которые им необходимо передать, чтобы подтвердить свое хранилище, снижая эксплуатационные расходы.
3. zk-SNARK также можно использовать для других целей
Например:
##04 Резюме
В целом, у zk-SNARKS есть три ключевых вывода:
Хотя системы доказательства с нулевым разглашением являются относительно новой областью исследований, все еще остается много открытых вопросов об их осуществимости и практичности. Тем не менее, они были использованы для создания некоторых впечатляющих продуктов.