Это выпуск Vernacular Blockchain за 1943 год. Оригинальный автор | Составлено участником | Продюсер: Huohuo |

В течение долгого времени можно было получить только два из трех невозможных треугольников блокчейна (то есть масштабируемость, децентрализацию и безопасность). Поэтому после того, как Эфириум достиг более высокой степени безопасности и конфиденциальности, расширение стало главным приоритетом. Таким образом, появился уровень 2. В текущем плане расширения уровня 2 технология ZK рассматривается Виталиком Бутерином (V God), соучредителем Ethereum, как окончательное решение проблемы расширения.

21 мая на конференции EDCON 2023, некоммерческой ежегодной глобальной конференции Ethereum, проходящей в Черногории, Бутерин заявил, что в ближайшие 10 лет zk-SNARK с ZK в качестве базовой технологии будет так же важен, как и блокчейн.

Итак, что же представляют собой zk-SNARK, недавно продвигаемые V God? Какие неразрешимые проблемы может решить блокчейн? Давайте посмотрим на сегодняшнее вступление. Ниже приводится текст:

01 Что такое zk-SNARK?

1. Кто создал зк-СНАРК?

Термин «zk-SNARK» был придуман группой криптографов, в том числе Ниром Битански, Алессандро Кьеза и Эраном Тромером, которые первоначально опубликовали основные принципы zk-SNARK в статье. С тех пор zk-SNARK постепенно разрабатывались и совершенствовались множеством различных проектов и команд.

2. Что означает zk-SNARK?

- ЗК: нулевое знание, нулевое знание

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

- С: простота

Краткие доказательства zk-SNARKs — это короткие и легко проверяемые доказательства. В этом отличие от обычных доказательств с нулевым разглашением, которые могут быть очень длинными и сложными. Обычно доказательства zk-SNARK можно проверить за миллисекунды.

- N: неинтерактивный неинтерактивный

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

- AR: аргумент аргумент

Аргумент – это причина или набор причин, поддерживающих определенную точку зрения. В контексте zk-SNARK аргумент — это последовательность математических операций, используемых для доказательства правильности заявленного аргумента.

- К: знания знания

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

Подводя итог, zk-SNARKs — это система ZK (система доказательства с нулевым разглашением), которая позволяет пользователям («сертификаторам») доказывать что-то другой стороне («верификатору»), например, свою личность, владение своими средствами и т. д. без раскрытия какой-либо информации об этих активах. Например:

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

В качестве примера того, как «объяснить zk-SNARK пятилетнему ребенку», вот игра, объясняющая, что такое zk-SNARK:

«Представьте, что вы играете с тремя друзьями. «Где учитель китайского языка? Вы и ваши друзья сидите за столом, и каждому дается фотография учителя китайского языка.

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

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

Другими словами, zk-SNARK позволяют вам подтвердить необходимую вам информацию для проверки, не раскрывая конкретную ценность этой информации. В нынешней кросс-чейн-экосистеме использование технологии zk-SNARKs может обеспечить конфиденциальность блокчейнов и децентрализованных приложений, построенных на ее платформе. Здесь ключевая идея заключается в том, что проверяющий не может получить какую-либо информацию о доказательстве (отсюда и название «доказательство с нулевым разглашением»).

02 Как работает zk-SNARKs

zk-SNARK особенно важны в криптопространстве, где конфиденциальность особенно важна, поскольку многие блокчейны являются публичными по своей природе. Самый известный пример — Zcash, криптоактив, обеспечивающий конфиденциальность. Когда Zcash торгуется в публичных цепочках, таких как Биткойн и Ethereum, для проверки используются такие данные, как адреса отправителя и получателя, а также входные и выходные значения (т. е. сколько было потрачено и сколько не было потрачено). Но с помощью zk-SNARK Zcash может доказать, что транзакция действительна, не раскрывая такую ​​информацию, как адрес и стоимость.

Как Zcash использует zkSNARKS для обеспечения уровня конфиденциальности для пользователей криптовалюты Источник: Blockchainhub.net

Как работают zk-SNARK? Цифровые подписи определяют принцип работы zk-SNARK. Цифровые подписи используют алгоритмы шифрования для защиты конфиденциальной информации, скрывая ее от другой стороны и предоставляя ей необходимые запрошенные доказательства. Так как же именно это делается? Шаги следующие: 1. Доказывающая сначала генерирует пару ключей: один открытый ключ и один закрытый ключ. Он подписывает транзакцию, используя свой личный ключ. 2. Затем доказывающая программа кодирует эту транзакцию в zk-SNARK, что является математическим доказательством того, что транзакция действительна. 3. Доказательство отправляется верификатору вместе с открытым ключом. Затем верификатор использует открытый ключ, чтобы проверить правильность формулы, не зная никакой другой информации о транзакции. Поскольку проверяется лишь небольшой объем информации, эту проверку можно выполнить очень быстро, чтобы подтвердить действительность транзакции.

03 Конкретные случаи использования zk-SNARK

1. Какие токены используют zk-SNARK?

Криптографический токен SNARK — это криптографический актив, который использует zk-SNARK для улучшения конфиденциальности, также известный как токен конфиденциальности. Примерами таких токенов конфиденциальности являются: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN). Основная проблема zk-SNARK заключается в том, что Если закрытый ключ скомпрометирован, могут быть созданы поддельные доказательства. Это может позволить создателям фальшивых доказательств совершать мошенничества, например создавать и использовать поддельные монеты конфиденциальности.

2. Другие применения zk-SNARKS

Filecoin — это децентрализованный поставщик хранилища, который работает на нескольких фронтах.

Во-первых, поставщики хранилищ в сети Filecoin (предоставляющие место для хранения в обмен на вознаграждение за блоки) и «сертификаторы» должны доказать, что они правильно хранят данные в цепочке. С другой стороны, у нас есть «валидаторы», то есть узлы, которые должны проверять, что поставщик хранилища правильно хранит и защищает данные. Эти валидаторы должны быть удовлетворены доказательствами, предоставленными поставщиком хранилища. Это требует, чтобы поставщики хранилищ и узлы обменивались данными, когда данные переходят из рук в руки. Как вы можете себе представить, этот процесс будет ресурсоемким. В официальном сообщении в блоге Filecoin поясняется: «Объем данных, который должен быть подтвержден сегодня одним поставщиком хранилища, чтобы подтвердить их хранилище, огромен и со временем будет только расти. В сети Filecoin время блокировки составляет 30 секунд». не зависящий от времени и обеспечивающий масштабируемые методы, Filecoin требовалось решение, которое позволяло бы осуществлять быструю, эффективную и надежную проверку».

С помощью zk-SNARK сеть Filecoin может повысить свою масштабируемость и эффективность за счет сокращения времени, необходимого каждой стороне для проверки хранилища. Для поставщиков хранилищ zk-SNARKs сокращают объем данных, которые им необходимо передать для подтверждения своего хранилища, тем самым снижая эксплуатационные расходы.

3. zk-SNARK также можно использовать для других целей, таких как:

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

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

- Сжатие данных: это интересное использование zk-SNARKS, заслуживающее отдельного раздела.

04 Резюме

В целом, zk-SNARKS имеет три ключевых момента: 1. zkSNARKS — это система доказательства с нулевым разглашением, которая позволяет одной стороне доказать другой стороне, что она знает значение x, не передавая никакой другой информации о x. 2. Ключевая идея заключается в том, что проверяющий не может сделать какой-либо вывод о x просто на основании того факта, что доказывающий может доказать, что он знает x. Это защищает конфиденциальность данных проверяющего. 3. Системы доказательства с нулевым разглашением используются в различных приложениях, включая безопасные коммуникации, криптографию и анализ данных с сохранением конфиденциальности. Хотя системы доказательства с нулевым разглашением в настоящее время являются относительно новой областью исследований, по-прежнему остается много открытых вопросов об их осуществимости и практичности. Тем не менее, они были использованы для создания некоторых впечатляющих продуктов.

Что вы думаете о zk-SNARKs? Пожалуйста, оставьте сообщение в области комментариев для обсуждения.

Исходная ссылка: https://phemex.com/academy/what-is-zksnark Оригинальное название: What Is zkSNARK: Объяснение для начинающих Первоначальный автор: Участник, составитель: Huohuo

КОНЕЦ