PSE Trading: Где выход из доказательств с нулевым разглашением?

Исходное сообщение @Calvin, торгового аналитика PSE

Торговля PSE: где выход для доказательств с нулевым разглашением?

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

Однако в среднесрочной и долгосрочной перспективе ZK Rollup выиграет во всех случаях использования благодаря усовершенствованию технологии ZK-SNARK. "

Это оригинальные слова Бога Ви в его блоге «Неполное руководство по накопительным пакетам».

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

Торговля PSE: где выход для доказательств с нулевым разглашением?

Внедрение ZK еще больше усилило децентрализацию системы ETH (снижение порога узла) и обеспечило возможности децентрализации и антицензуры сети, в результате чего ETH попал в море, как дракон, и его было трудно стереть.

При таком важном ЗК, почему у всех такой плохой опыт его использования, а масштабное внедрение не может вызвать никаких волнений?

1. Текущая проблема свертки доказательства с нулевым разглашением

Я объясняю причину, по которой нынешнее доказательство с нулевым разглашением все еще находится в периоде «узких мест», тремя аспектами: проблемами совместимости, проблемами эффективности и проблемами структуры данных.

1.1 Главный и самый актуальный вопрос: Проблемы совместимости

Поскольку EVM (виртуальная машина Ethereum) достигла статуса Java-подобного в пространстве блокчейнов, она стала лингва-франка нового ценного Интернета. Благодаря многочисленным инструментам, сервисам, библиотекам и инфраструктуре широкое использование EVM практически стало неизбежной тенденцией в современной технологической среде.

В Интернете ходит поговорка: «Все, что можно реализовать на Java, в конце концов будет реализовано на Java».

Еще одно важное, но запутанное понятие — «совместимость EVM» и «эквивалент EVM».

** Поймите разницу между ними в «близости» и «методе реализации» —— **

«Совместимость»: система способна выполнять и понимать байт-код EVM таким образом, чтобы поддерживать смарт-контракты, написанные на Solidity или других языках EVM.

«Эквивалент»: эквивалентность EVM — это более высокая планка. Система, эквивалентная EVM, не только способна выполнять байт-код EVM, но также точно соответствует EVM по поведению и пути. Все инструменты и библиотеки, предназначенные для Ethereum, также должны работать на эквивалентных системах EVM без каких-либо изменений.

Преимущества и недостатки «эквивалента EVM»:

Преимущество:

Полная поддержка инструментов и инфраструктуры. Ethereum имеет обширную экосистему инструментов и инфраструктуры, включая различные инструменты разработки, среды тестирования, библиотеки кода и сервисы. Если решение L2 эквивалентно EVM, то все эти инструменты и сервисы могут легко интегрироваться с ним, поскольку с их точки зрения это решение L2 похоже на еще одну сеть Ethereum.

  • Легче привлекать и мигрировать разработчиков: разработчики Ethereum уже привыкли к поведению и характеристикам EVM. Если решение L2 эквивалентно EVM, то разработчики могут напрямую использовать язык (например, Solidity) и инструменты, с которыми они уже знакомы, для разработки этого решения L2 без изучения новой модели программирования или языка.
  • Улучшенная совместимость контрактов: многие существующие контракты Ethereum полагаются на специфическое поведение EVM. Если решение L2 эквивалентно EVM, то эти контракты могут выполняться на этом решении L2 без изменений или с минимальными изменениями.
  • Будущие улучшения и функции EVM: EVM все еще развивается и совершенствуется, и новые EIP (предложения по улучшению Ethereum) могут включать новые функции или оптимизации. Эти улучшения и функции можно легко реализовать в решении L2, если оно эквивалентно EVM.

Недостатки:

  • Более технически сложный: EVM — это сложная виртуальная машина, поведение и функции которой требуют глубокого понимания и точной реализации. Достижение эквивалентности EVM в решениях L2 может потребовать решения некоторых технических трудностей, например, как смоделировать поведение EVM в другой консенсусной среде или сетевой модели.
  • Производительность и эффективность: EVM разработан для Ethereum, и его конструкция может не полностью соответствовать характеристикам и потребностям решений L2. Например, EVM использует для вычислений 256-битные целые числа, в то время как многие системы, защищенные от zk, более естественно работают с полями простых чисел. Непосредственная реализация EVM может потребовать введения дополнительных операций, таких как проверка диапазона, что может снизить производительность и эффективность.
  • Ограничения гибкости и инноваций. Настаивание на эквивалентности EVM может в некоторых отношениях ограничить гибкость и инновационные возможности решений L2. Например, если решение L2 хочет ввести новую функцию или оптимизацию, оно должно гарантировать, что это изменение не нарушит его эквивалентность EVM.

ОП написал статью, посвященную изучению совместимости EVM и эквивалентности EVM. Вначале OVM, используемый OP, позже был изменен на эквивалент EVM. Это также важная причина, почему я думаю, что ОП не делал ARB в начальный период варварского роста.Существует разрыв между эквивалентом EVM и ARB по совместимости, но теперь он был изменен, и он даже превосходит ARB по совместимости. .

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

1.2 Техническая среда накопительного пакета ZK на самом деле незрела

С точки зрения проверяемости данных, проверяемость данных является ключевой особенностью системы блокчейн, которая обеспечивает прозрачность и проверяемость системы.

Структура доказательства ZK Rollup относительно сложна и требует, чтобы все данные были доступны в цепочке. Это обеспечивает надежную безопасность и целостность, но также увеличивает сложность и стоимость хранения данных, что сильно отличается от OP.

  • Оптимистическое объединение: OP Rollup использует оптимистическую стратегию, при которой транзакции считаются действительными, если они не оспариваются. Этот подход не требует, чтобы все данные хранились в сети, достаточно информации, чтобы любой мог оспорить действительность транзакции. Поэтому к OP Rollup предъявляются относительно низкие требования с точки зрения проверки данных.
  • ZK Rollup: ZK Rollup использует доказательства с нулевым разглашением (ZK-SNARK) для сжатия транзакций и подтверждения их достоверности. Все данные о транзакциях должны быть доступны в сети, чтобы любой мог генерировать доказательства действительности. Если масштаб данных слишком велик и все они хранятся в основной цепочке, могут возникнуть узкие места емкости.

По мере роста размера данных zkSync может оказаться невозможным хранить все данные в основной цепочке. Это может потребовать введения внешней проверки данных, тем самым изменив существующий метод вторичной проверки и уменьшив зависимость от основных сетевых данных.

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

Следовательно, трансформация zkSync в STARK также частично вызвана этим, потому что STARK больше подходит для использования внешних проверяемых данных, чем SNARK.

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

###1.3 Помимо роллапа ЗК есть и другие проблемы, например проблемы с эффективностью:

В области блокчейна скорость Sequencer (обычно измеряемая количеством транзакций в секунду, TPS) является ключевым показателем для оценки производительности системы ZK. Sequencer отвечает за сортировку и обработку транзакций, а его вычислительная мощность напрямую определяет пропускную способность всей цепочки.

Однако в текущей реализации (Zksync) вычислительная мощность одного секвенсора составляет всего несколько сотен транзакций в секунду, ограничение, которое обнажает значительное узкое место в производительности.

Чтобы расширить TPS, следует рассмотреть два основных способа: один — продолжать улучшать возможности одного секвенсора, но это может увеличить риск централизации системы; другой — ввести больше секвенсоров для распределения обработки. нагрузка, хотя при этом улучшенная децентрализация, но координация нескольких секвенсоров может увеличить задержку и снизить общий TPS. Этот вопрос подчеркивает тщательно взвешенную задачу поиска правильного баланса между повышением производительности и сохранением децентрализации.

Направление развития технологии ZK, как демонстрирует zkSync, имеет тенденцию продвигать процесс децентрализованного секвенсора. Такой выбор сделает производительность и дальше важным узким местом в развитии технологии ZK. Хотя использование нескольких секвенсоров и модульной конструкции дает определенное решение, на практике могут возникнуть сложные проблемы координации и синхронизации. Это может не только повлиять на время отклика и пропускную способность системы, но также может создать новые проблемы безопасности и надежности.

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

2. Доказательство с нулевым разглашением — высший идеал ETH

Мы поговорили о текущих проблемах ЗК и трудностях, с которыми он сталкивается, так в чем же причина смерти ЗК?

2.1

«Протокол Ethereum изначально задумывался как обновленная версия криптовалют, обеспечивающая расширенные функциональные возможности посредством языка программирования общего назначения... Протокол Ethereum выходит далеко за рамки валюты».

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

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

2.2

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

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

Внедрение ZK позволит упростить процесс проверки узлов ETH, чтобы проверить действительность транзакций, даже не зная полных данных. Это может снизить требования к вычислительным ресурсам и памяти для работы узла, тем самым снизив порог участия в сети. Согласно первоначальным словам Ви Года, «мобильные телефоны могут участвовать в работе узлов ETH».

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

2.3

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

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

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

3. Нулевое разглашение данных доказывает разумный путь для будущего внедрения

Необходимость – это пункт назначения, проблема – статус-кво, так каков же путь?

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

3.1 Четыре типа ZKrollup в устах Бога V

  • Тип 1 (полный эквивалент Ethereum)

ZK-EVM типа 1 стремится быть полностью эквивалентным Ethereum без каких-либо компромиссов. Это ничего не меняет, даже если затрудняет получение доказательств.

Достоинства: идеальная совместимость.

Недостаток: долгое время проверки.

Кто его разрабатывает? : Издание сообщества ZK-EVM.

  • Тип 2 (полный эквивалент EVM)

Тип 2 ZK-EVM стремится быть полностью эквивалентным EVM, но с изменениями во внешних структурах данных.

Преимущество: абсолютно эквивалентно на уровне виртуальной машины.

Недостаток: улучшенное, но по-прежнему медленное время проверки.

Кто его разрабатывает? : Прокрутка и полигон Hermez.

  • Тип 3 (почти эквивалент EVM)

Тип 3 ZK-EVM почти эквивалентен EVM, но сделаны некоторые компромиссы, чтобы еще больше сократить время проверки и упростить разработку.

Преимущества: Легче построить, ускорить время проверки.

Недостаток: больше несовместимостей.

Кто его разрабатывает? : Прокрутка и Многоугольник.

  • Тип 4 (эквивалент языка высокого уровня)

Системы типа 4 работают путем компиляции напрямую с языка высокого уровня без выполнения через EVM.

Преимущество: Очень быстрое время проверки.

Недостаток: больше несовместимостей.

Кто его разрабатывает? : ZKSync и проект Warp от Nethermind. (обратите внимание, StarkNet даже не совместим с EVM и не обсуждается)

Торговля на PSE: где выход из принципа доказательства с нулевым разглашением данных?

Различные типы ZK-EVM представляют собой сложный набор компромиссов между совместимостью и эффективностью.

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

Тип 2 и тип 3 ищут баланс между полной совместимостью и подтвержденной эффективностью, демонстрируя поиск и компромисс практических решений в существующих технических условиях.

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

3.2 Совместное обновление EVM и ZK: работайте вместе, чтобы встретиться в конце

Лучший путь для ETH по внедрению ZK предполагает не только реализацию ZK EVM, эквивалентного доказательству с нулевым разглашением, но, что более важно, модернизацию и трансформацию самой EVM.

  • Удобная для ZK трансформация EVM

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

  • Двустороннее сотрудничество между ZK-EVM и EVM

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

  • Шаг за шагом к будущему типа 1

Многие люди мечтают постепенно реализовать Тип 1 посредством постоянного улучшения ZK-EVM и самого Ethereum. Этот процесс может быть медленным, но он прокладывает четкий путь в будущее.

3.3 Совместные усилия и сотрудничество в области экологии – это свет

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

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

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

Таким образом, мы видим, что внедрение технологии ZK на Ethereum — это не только технологическая инновация, но и путь изменений, в котором участвует вся экосистема. Это путешествие определит будущее Ethereum, стремясь к созданию среды блокчейна, которая сочетает в себе инновации и стабильность, скорость и совместимость.

4. Резюме

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

Исходная ссылка

Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • комментарий
  • Поделиться
комментарий
0/400
Нет комментариев
  • Закрепить