Изучение всех тонкостей доказательств с нулевым разглашением (ZK)

Доказательства с нулевым разглашением (ZK-доказательства) стали популярными в мире криптографии в этом году, но некриптографы и программисты могут сбить с толку.

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

Лишь немногие ученые в середине 1980-х годов стали пионерами этой идеи. С тех пор он стал реалистичным механизмом проверяемых вычислений и заложил основу для среды Web3, где ZK-доказательства более важны.

ZK в блокчейне: его меняющаяся роль

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

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

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

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

Попытки найти решение проблемы масштабируемости

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

• Некоторые типы информации, которую могут получить смарт-контракты, ограничены. Например, они не могут получить информацию о ценах токенов или что-то еще, что не сохранено в блокчейне.

• Способность блокчейна хранить данные. Блокчейны не были созданы для хранения большого количества данных. Внедрение его в действие будет очень дорогостоящим и займет много времени.

• Тип мышления, на который они способны: смарт-контракт может использовать самые базовые формы условной логики только в том случае, если ему не придется платить заоблачные затраты на газ.

  
  

Эти проблемы необходимо устранить, чтобы блокчейн мог масштабироваться и удовлетворять потребности экосистемы Web3. К счастью, ZK вырос вместе с Web3.

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

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

Будущее поколение ZK в целом

Хотя ZK-доказательства децентрализованного хранилища и ZK-агрегации расширили возможности блокчейна, чего-то важного все еще не хватает. Возможности децентрализованного хранения больше, чем кажутся.

Хранение данных имеет решающее значение, но неспособность этих платформ делать больше, чем просто извлечение данных (а не «вычисления») ограничивает их применимость. ZK-коллапы, которые могут выполнять несколько вычислительных задач, также не закрывают этот пробел.