- Тема
35897 Популярность
3185 Популярность
4046 Популярность
38481 Популярность
16209 Популярность
30393 Популярность
30113 Популярность
2441 Популярность
111536 Популярность
26666 Популярность
- Закрепить
35897 Популярность
3185 Популярность
4046 Популярность
38481 Популярность
16209 Популярность
30393 Популярность
30113 Популярность
2441 Популярность
111536 Популярность
26666 Популярность
PSE Trading: Где выход из доказательств с нулевым разглашением?
Исходное сообщение @Calvin, торгового аналитика PSE
«В целом, я считаю, что в краткосрочной перспективе накопительный пакет Optimistic будет иметь преимущество с точки зрения совместимости с EVM, в то время как ZKrollup, как ожидается, будет лучше на простых уровнях оплаты, транзакциях и других конкретных случаях использования.
Однако в среднесрочной и долгосрочной перспективе ZK Rollup выиграет во всех случаях использования благодаря усовершенствованию технологии ZK-SNARK. "
Это оригинальные слова God V в его блоге «Неполное руководство по роллапам».
ZK — это идеал ETH. Применение доказательств с нулевым разглашением (далее — ZK) в экосистеме Ethereum раскрывает его способность решать невозможную проблему треугольника блокчейна (т. е. безопасности, масштабируемости и децентрализации) без централизации. необходимость доступа к полной информации о транзакциях, улучшающая масштабируемость системы без ущерба для безопасности.
Внедрение 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.
Недостатки:
ОП написал статью, посвященную изучению совместимости EVM и эквивалентности EVM. Вначале OVM, используемый OP, позже был изменен на эквивалент EVM. Это также важная причина, почему я думаю, что ОП не делал ARB в начальный период варварского роста.Существует разрыв между эквивалентом EVM и ARB по совместимости, но теперь он был изменен, и он даже превосходит ARB по совместимости. .
С этой точки зрения мы также можем понять важность совместимости EVM, и даже эквивалентность требуется для привлечения разработчиков, тем самым создавая пользователей и тем самым создавая экологию.
1.2 Техническая среда накопительного пакета ZK на самом деле незрела
С точки зрения проверяемости данных, проверяемость данных является ключевой особенностью системы блокчейн, которая обеспечивает прозрачность и проверяемость системы.
Структура доказательства ZK Rollup относительно сложна и требует, чтобы все данные были доступны в цепочке. Это обеспечивает надежную безопасность и целостность, но также увеличивает сложность и стоимость хранения данных, что сильно отличается от OP.
По мере роста размера данных 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, чтобы проверить действительность транзакций, даже не зная полных данных. Это может снизить требования к вычислительным ресурсам и памяти для работы узла, тем самым снижая порог участия в сети. Согласно оригинальным словам V God: «Мобильные телефоны могут участвовать в работе узлов ETH».
Снижая требования к оборудованию и техническому обслуживанию для работы узлов, ZKP позволяют большему количеству участников присоединиться к сети. Это увеличивает децентрализованный характер сети, тем самым усиливая децентрализацию.
2.3
Внедрение ZK может помешать любому центральному органу отслеживать и вмешиваться в определенные транзакции, защищая конфиденциальность транзакций.Кроме того, децентрализация также гарантирует отсутствие единой точки отказа, что затрудняет атаку или отключение сети.
Защита конфиденциальности побуждает к участию больше людей, будь то отдельные лица или организации, чтобы эта открытая экосистема могла свободно развиваться без ограничений со стороны центрального органа.
В конце концов, ZK превращает ETH в действительно глобальную сеть за счет интеграции конфиденциальности и децентрализации с неограниченным потенциалом и эластичностью, столь же неизгладимой, как дракон, входящий в море.
3. Нулевое разглашение доказывает разумный путь для будущей реализации
Необходимость – это пункт назначения, проблема – статус-кво, так каков же путь?
**Сначала давайте поговорим о заключении: нужно сделать эквивалентное свертывание ZK для EVM и дождаться, пока текущий Ethereum обновит дружественную к ZK EVM, и идти рука об руку, чтобы помочь идеальной интеграции технологии ZK и ETH. **
3.1 Четыре типа ZKrollup в устах Бога V
ZK-EVM типа 1 стремится быть полностью эквивалентным Ethereum без каких-либо компромиссов. Это ничего не меняет, даже если затрудняет получение доказательств.
Достоинства: идеальная совместимость.
Недостаток: долгое время проверки.
Кто его разрабатывает? : ZK-EVM Community Edition.
Тип 2 ZK-EVM стремится быть полностью эквивалентным EVM, но с изменениями во внешних структурах данных.
Преимущество: абсолютно эквивалентно на уровне виртуальной машины.
Недостаток: улучшенное, но по-прежнему медленное время проверки.
Кто его разрабатывает? : Прокрутка и полигон Hermez.
Тип 3 ZK-EVM почти эквивалентен EVM, но сделаны некоторые компромиссы, чтобы еще больше сократить время проверки и упростить разработку.
Преимущества: Легче построить, ускорить время проверки.
Недостаток: больше несовместимостей.
Кто его разрабатывает? : Прокрутка и Многоугольник.
Системы типа 4 работают путем компиляции непосредственно из языка высокого уровня без выполнения через EVM.
Преимущество: Очень быстрое время проверки.
Недостаток: больше несовместимостей.
Кто его разрабатывает? : ZKSync и проект Warp от Nethermind. (обратите внимание, StarkNet даже не совместим с EVM и не обсуждается)
Различные типы ZK-EVM представляют собой сложный набор компромиссов между совместимостью и эффективностью.
Тип 1 нацелен на полную совместимость, но требует длительного времени проверки, что представляет собой реальную проблему, заключающуюся в том, что Ethereum не считает дизайн ZK-дружественным.
Тип 2 и тип 3 ищут баланс между полной совместимостью и подтвержденной эффективностью, демонстрируя поиск и компромисс практических решений в существующих технических условиях.
Тип 4 ставит в качестве основной цели стремление к эффективности, но за счет совместимости, что немного затрудняет экологическое развитие.
3.2 Совместное обновление EVM и ZK: работайте вместе, чтобы встретиться в конце
Лучший путь для ETH по внедрению ZK предполагает не только реализацию ZK EVM, эквивалентного доказательству с нулевым разглашением, но, что более важно, модернизацию и трансформацию самой EVM.
ZK-дружественная трансформация EVM — сложный, но необходимый процесс. Мало того, что EVM должен быть эквивалентен ZK-EVM, он также должен учитывать возможное будущее развитие ZK-SNARK ASIC.
Сотрудничество ZK-EVM и EVM заключается не только в совместимости и эффективности на техническом уровне, но также в интеграции инструментов разработчика и поддержке перед компиляцией.
Многие люди мечтают постепенно реализовать Тип 1 посредством постоянного улучшения ZK-EVM и самого Ethereum. Этот процесс может быть медленным, но он прокладывает четкий путь в будущее.
3.3 Совместные усилия и сотрудничество в области экологии – это свет
Задача внедрения доказательства с нулевым разглашением (ZK) в Ethereum — это не просто техническая проблема, а исследование, направленное на поиск наилучшего пути между идеалом и реальностью. Этот процесс показывает, как постепенно внедрять более быстрые и эффективные решения, сохраняя при этом совместимость с существующей инфраструктурой.
В этом исследовательском процессе идеальным решением является создание решения ZK, полностью эквивалентного существующему EVM, а затем ожидание удобного для ZK обновления самого EVM. Суть этого процесса заключается в том, что обе стороны работают в тандеме и вместе продвигаются вперед, чтобы встретиться в какой-то промежуточной точке.
Эта идея совместных усилий отражается не только в технической реализации, но и в том, как направить все сообщество на развитие в более безопасном и масштабируемом направлении на основе сохранения уникальной ценности Ethereum и существующей экологии. Этот процесс требует технических знаний, стратегического планирования и глубокого понимания динамики всей экосистемы.
Таким образом, мы видим, что внедрение технологии ZK в Ethereum — это не только технологическая инновация, но и путь изменений, в котором участвует вся экосистема. Это путешествие определит будущее Эфириума в поисках среды блокчейна, которая сочетает в себе инновации и стабильность, скорость и совместимость.
4. Резюме
Открытие эры ZK знаменует собой не только новую главу в экологии Ethereum, но и исторический скачок. Ожидается, что на этой волне тенденций Ethereum не только превзойдет существующую интернет-систему в некоторых аспектах, но и предвещает рождение нового, более совершенного метода подключения.