GPU блокчейн: Комплексный анализ ZK-копроцессоров

ПродвинутыйJul 24, 2024
ZK-сопроцессор можно рассматривать как плагин для вычислений вне цепи, основанный на модульной концепции. Его функция аналогична функции GPU в наших традиционных компьютерах, которая разделяет вычислительные задачи для ЦПУ, то есть процессор, который разделяет вычислительные задачи в конкретных сценариях. Под этой архитектурой проектирования, сложные задачи обработки данных и сложной логики вычислений, с которыми публичные цепи не справляются, могут быть рассчитаны с помощью ZK-сопроцессора. Цепочка только нуждается в получении возвращаемых результатов вычислений, и их правильность определяется гарантиями ZK-доказательств, и в конечном итоге позволяет выполнять доверенные вычисления сложных задач вне цепи.
GPU блокчейн: Комплексный анализ ZK-копроцессоров

tldr

  • Копроцессоры zk могут рассматриваться как плагины для вычислений вне цепи, происходящие из модульной концепции, аналогично графическим процессорам в традиционных компьютерах, которые разгружают графические вычисления с центрального процессора, обрабатывая конкретные вычислительные задачи.
  • они могут использоваться для обработки сложных вычислений и больших объемов данных, снижая комиссии за газ и расширяя функциональность смарт-контрактов.
  • В отличие от роллапов, ZK-сопроцессоры не имеют состояния, их можно использовать через цепочки и они подходят для сложных вычислительных сценариев.
  • Разработка сопроцессоров zk представляет собой сложную задачу с высокими затратами на производительность и отсутствием стандартизации. Затраты на оборудование также значительны. Хотя область значительно узрела по сравнению с прошлым годом, она все еще находится в начальной стадии.
  • по мере развития модульной эры в фрактальное масштабирование, блокчейн сталкивается с проблемами, такими как нехватка ликвидности, разрозненные пользователи, отсутствие инноваций и проблемы межцепочной совместимости, создавая парадокс с вертикально масштабированными цепочками l1. zk-сопроцессоры могут предложить способ преодоления этих вызовов, обеспечивая поддержку как существующих, так и новых приложений и принося новые сюжеты в пространство блокчейна.

еще одно направление модульной инфраструктуры: zk-сопроцессоры

1.1 обзор zk-сопроцессоров

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

В настоящее время популярные приложения, такие как ai, socialfi, dex и gamefi, имеют настоятельную необходимость в высокой производительности и контроле над затратами. В традиционных решениях эти «тяжелые приложения», требующие высокой производительности, часто выбирают модели активов с использованием on-chain + off-chain приложений или разрабатывают отдельную цепочку приложений. Однако оба подхода имеют внутренние проблемы: у первого есть «черный ящик», а у второго - высокие затраты на разработку, отделение от изначальной экосистемы цепочки и фрагментированная ликвидность. Кроме того, виртуальная машина основной цепочки накладывает значительные ограничения на разработку и функционирование таких приложений (например, отсутствие стандартов уровня приложений, сложные языки разработки).

Сопроцессоры ZK призваны решить эти проблемы. Чтобы предоставить более подробный пример, мы можем представить блокчейн как терминал (например, телефон или компьютер), который не может подключиться к Интернету. В этом сценарии мы можем запускать относительно простые приложения, такие как Uniswap или другие приложения DeFi, полностью в сети. Но когда появятся более сложные приложения, такие как запуск приложения, подобного ChatGPT, производительность и хранилище публичной цепочки будут совершенно недостаточными, что приведет к газовым взрывам. В сценарии Web2, когда мы запускаем ChatGPT, наш общий терминал сам не может обрабатывать большую языковую модель GPT-4O; Нам нужно подключиться к серверам OpenAI, чтобы передать вопрос, и после того, как сервер вычислит и выведет результат, мы напрямую получим ответ. Сопроцессоры ZK похожи на удаленные серверы блокчейна. В то время как различные проекты сопроцессоров могут иметь небольшие различия в дизайне в зависимости от типа проекта, лежащая в основе логика остается в целом похожей — вычисления вне цепочки + доказательства ZK или доказательства хранилища для проверки.

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

  • напишите приложение zkvm для обработки логики приложения.
  • написать solidity контракт, чтобы требовать bonsai для запуска вашего zkvm приложения и обрабатывать результаты.

1.2 различия от роллапов

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

1. основная цель:

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

2. принцип работы:

  • rollups: аггрегируют цепочечные транзакции и отправляют их на главную цепочку с доказательствами мошенничества или zk доказательствами.
  • zk сопроцессоры: аналогично zk rollups, но предназначены для различных сценариев применения. zk rollups, из-за цепно-специфических ограничений и правил, не подходят для задач сопроцессора.

3. управление состоянием:

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

4.сценарии применения:

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

5. отношения с основной цепочкой:

  • rollups: рассматриваются как расширения основной цепочки, обычно сосредоточенные на конкретных блокчейн-сетях.
  • zk-сопроцессоры: могут обслуживать несколько блокчейнов, не ограничиваясь конкретными основными цепочками, а также могут обслуживать rollups.

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

1.3 случая использования

Теоретически, область применения сопроцессоров zk обширна и охватывает проекты в различных секторах блокчейна. Сопроцессоры zk позволяют dapps иметь функциональность, близкую к функциональности централизованных веб-приложений web2. Вот несколько примеров использования, собранных из онлайн источников.

разработка dapp на основе данных:

Копроцессоры zk позволяют разработчикам создавать данных ориентированные dapps, которые используют полные исторические данные on-chain для сложных вычислений без дополнительных доверительных предположений. Это открывает невиданные возможности для разработки dapp, такие как:

  • расширенный анализ данных: функции анализа данных on-chain, аналогичные dune analytics.
  • сложная бизнес-логика: реализация сложных алгоритмов и бизнес-логики, присутствующих в традиционных централизованных приложениях.
  • приложения межцепочечного взаимодействия: создание межцепочечных dapps на основе данных из нескольких цепочек.

программа для трейдеров VIP для децентрализованных бирж (DEXs):

типичный сценарий применения - реализация программы скидок на комиссию на основе объема торговли на децентрализованных биржах, известная как «программа лояльности для вип-трейдеров». Такие программы распространены на централизованных биржах, но редки на децентрализованных биржах.

с использованием zk-копроцессоров, децентрализованные биржи (DEX) могут:

  • отслеживать исторические объемы торговли пользователей.
  • рассчитать уровни VIP пользователей.
  • динамически настраивать торговые комиссии в зависимости от уровней vip. Эта функциональность может помочь децентрализованным биржам улучшить удержание пользователей, увеличить ликвидность и в конечном итоге улучшить выручку.

расширение данных для смарт-контрактов:

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

  • доступ и обработка больших объемов исторических данных.
  • выполнять сложные внеленточные вычисления.
  • реализовать более сложную бизнес-логику.

технология моста между блокчейнами:

Некоторые технологии мостов межцепочечных с использованием zk, такие как Геродот и Лагранж, также могут рассматриваться как приложения zk-сопроцессоров. Эти технологии в основном сосредотачиваются на извлечении и проверке данных, обеспечивая надежный фундамент данных для межцепочечной коммуникации.

1.4 zk копроцессоры не идеальны

несмотря на многочисленные преимущества, вспомогательные zk-процессоры на текущем этапе далеки от идеальных и сталкиваются с несколькими проблемами. Я подвел итог следующим моментам:

  1. Разработка: Концепция ZK сложна для понимания многими разработчиками. Разработка требует соответствующих криптографических знаний и навыков работы с конкретными языками и инструментами разработки.
  2. Высокие затраты на оборудование: оборудование ZK, используемое для вычислений вне сети, должно полностью покрываться самим проектом. Аппаратное обеспечение ZK является дорогим и быстро развивающимся, поэтому оно может устареть в любой момент. Может ли это сформировать замкнутый коммерческий цикл – вопрос, который стоит рассмотреть.
  3. переполненное поле: технически не будет большой разницы в реализации, и конечный результат может напоминать текущий ландшафт layer2, где выделяются несколько важных проектов, в то время как остальные в значительной степени игнорируются.
  4. цепи zk: выполнение вычислений вне цепи в zk-сопроцессорах требует преобразования традиционных компьютерных программ в zk-цепи. написание пользовательских цепей для каждого приложения является затруднительным, и использование zkvms в виртуальных машинах для написания цепей представляет существенные вычислительные издержки из-за различных вычислительных моделей.

ii. важный элемент для массового принятия

(этот раздел сильно субъективен и представляет только личные взгляды автора.)

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

Фундаментальная причина отсутствия свежих нарративов заключается в том, что нынешняя модульная инфраструктура недостаточна для поддержки суперприложений, особенно при отсутствии некоторых предварительных условий (кроссчейн-совместимость, пользовательские барьеры и т. д.), что приводит к самой значительной фрагментации в истории блокчейна. Роллапы, как ядро модульной эры, действительно ускорили процесс, но они также принесли множество проблем, таких как фрагментация ликвидности, дисперсия пользователей и ограничения, налагаемые самой цепочкой или виртуальной машиной на инновации приложений. Кроме того, еще один «ключевой игрок» в области модульности, Celestia, стал первопроходцем в том, что DA не обязательно должен быть на Ethereum, что еще больше усугубило фрагментацию. Независимо от того, движимы ли они идеологией или затратами DA, в результате BTC вынужден стать DA, а другие публичные сети стремятся предоставлять более экономичные решения DA. Текущая ситуация такова, что в каждой публичной сети есть как минимум один, если не десятки, проектов уровня 2. Кроме того, все инфраструктурные и экосистемные проекты глубоко изучили стратегию стейкинга токенов, впервые разработанную Blur, требуя, чтобы пользователи размещали токены в рамках проекта. Этот режим, который приносит пользу китам тремя способами (проценты, повышение ETH или BTC и бесплатные токены), еще больше сжимает ликвидность в сети.

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

поэтому мое текущее внимание сосредоточено на том, как продвигать собранную ликвидность по всем цепочкам и поддерживать появление новых стилей игры и супер-приложений. В секторе межцепочечной совместимости традиционные ведущие проекты последовательно не соответствуют ожиданиям и все еще напоминают традиционные межцепочечные мосты. Новые решения взаимодействия, о которых мы говорили в предыдущих отчетах, в основном направлены на агрегацию нескольких цепей в одну цепь. В качестве примеров можно привести agglayer, superchain, elastic chain, jam и т. д., о которых здесь не будет подробно рассказываться. В итоге, кросс-цепная агрегация является необходимым препятствием в модульной инфраструктуре, но ее преодоление займет много времени.

zk-сопроцессоры являются критически важным элементом в текущей фазе. Они могут укрепить layer2 и дополнить layer1. Есть ли способ временно преодолеть проблемы межцепочности и трилеммы, позволяющий реализовать некоторые приложения текущей эры на определенных layer1s или layer2s с обширной ликвидностью? В конце концов, в приложениях блокчейн не хватает свежих сюжетов. Кроме того, обеспечение разнообразных стилей игры, контроля за газом, масштабных приложений, возможностей межцепочности и снижения барьеров для пользователей через интегрированные решения сопроцессора может быть более идеальным, чем полагаться на централизацию.

iii. обзор проекта

поле zk coprocessor появилось примерно в 2023 году и на данный момент стал относительно зрелым. согласно классификации messari, это поле в настоящее время охватывает три основных вертикальных области (общие вычисления, взаимодействие и перекрестные цепочки, искусственный интеллект и обучение машин) с 18 проектами. большинство из этих проектов поддерживают ведущие венчурные капиталы. ниже мы опишем несколько проектов из разных вертикальных областей.

3.1 гиза

giza - это протокол zkml (zero-knowledge machine learning), развернутый на starknet и официально поддерживаемый starkware. Он направлен на обеспечение возможности использования моделей искусственного интеллекта в смарт-контрактах блокчейна с возможностью верификации. Разработчики могут развернуть модели искусственного интеллекта на сети giza, которая затем проверяет правильность вывода модели с помощью доказательств нулевого разглашения и предоставляет результаты смарт-контрактам в безопасном режиме. Это позволяет разработчикам создавать приложения в блокчейне, объединяющие возможности искусственного интеллекта, сохраняя децентрализацию и верифицируемость блокчейна.

giza завершает рабочий процесс через следующие три шага:

  • конверсия модели: giza преобразует широко используемые модели искусственного интеллекта формата onnx в формат, который может работать в системе доказательства нулевого знания. это позволяет разработчикам обучать модели с помощью привычных инструментов, а затем развертывать их в сети giza.
  • Внеблокчейновый вывод: когда смарт-контракт запрашивает вывод модели искусственного интеллекта, Giza выполняет фактические вычисления вне блокчейна. Это позволяет избежать высоких затрат на прямое выполнение сложных моделей искусственного интеллекта на блокчейне.
  • zero-knowledge verification: giza генерирует zk доказательства для каждого вывода модели, доказывая, что вычисление было выполнено правильно. эти доказательства проверяются на цепочке, обеспечивая правильность результатов вывода без повторения всего процесса вычисления на цепочке.

Подход giza позволяет моделям искусственного интеллекта служить в качестве доверенных исходных источников для смарт-контрактов без использования централизованных оракулов или доверенных сред выполнения. Это открывает новые возможности для приложений блокчейна, таких как управление активами на основе искусственного интеллекта, выявление мошенничества и динамическое ценообразование. Это один из немногих проектов в текущем пространстве web3 x ai с логическим замкнутым циклом и умным использованием копроцессоров в области искусственного интеллекта.

3.2 риск ноль

risc zero - это ведущий проект копроцессора, поддерживаемый несколькими лучшими венчурными капиталами. Он ориентирован на обеспечение возможности проверки выполнения любых вычислений в блокчейн-смарт-контрактах. Разработчики могут писать программы на языке Rust и разворачивать их в сети risc zero. Risc zero затем проверяет правильность выполнения программы с помощью доказательств с нулевым разглашением и предоставляет результаты смарт-контрактам в децентрализованном режиме. Это позволяет разработчикам создавать сложные приложения внутри блокчейна, сохраняя децентрализацию и верифицируемость блокчейна.

мы кратко упомянули о развертывании и рабочем процессе. Здесь мы подробно рассмотрим два ключевых компонента:

  • bonsai: bonsai - это компонент сопроцессора внутри risc zero, безупречно интегрированный в zkvm набор команд архитектуры risc-v. Это позволяет разработчикам быстро интегрировать высокопроизводительные доказательства нулевого знания в ethereum, l1 блокчейны, цепочки приложений cosmos, l2 rollups и dapps всего за несколько дней. Он предлагает прямые вызовы смарт-контрактов, верифицируемые внешние вычисления, межцепочечную совместимость и общую функциональность rollup, при этом принимая децентрализованную архитектуру с распределением вперед. Объединяя рекурсивные доказательства, компиляторы пользовательских схем, продолжение состояния и постоянно улучшающиеся алгоритмы доказательств, он позволяет каждому генерировать высокопроизводительные доказательства нулевого знания для различных приложений.
  • zkvm: zkvm - это верифицируемый компьютер, который работает аналогично настоящему встроенному микропроцессору risc-v. Основываясь на архитектуре набора команд risc-v, он позволяет разработчикам писать программы на языках программирования высокого уровня, таких как Rust, C++, Solidity, Go и т.д., которые могут генерировать доказательства нулевого разглашения. Поддерживая более 70% популярных крейтов Rust, он находит плавное сочетание общего вычисления и доказательств нулевого разглашения, способен генерировать эффективные доказательства нулевого разглашения для вычислений любой сложности, сохраняя при этом конфиденциальность процесса вычисления и проверяемость результатов. zkvm использует zk-технологии, включая STARK и SNARK, и достигает эффективной генерации и проверки доказательств с помощью таких компонентов, как рекурсивный доказатель и доказатель SNARK-в-STARK, поддерживая выполнение вне цепи и проверку в цепи.

risc zero интегрировался с несколькими решениями eth layer2 и продемонстрировал различные варианты использования для bonsai. Один интересный пример - bonsai pay. В этой демонстрации используются zkvm risc zero и сервис bonsai proof, позволяющие пользователям отправлять или выводить eth и токены на ethereum, используя свои учетные записи google. Это показывает, как risc zero может без проблем интегрироваться с on-chain приложениями с использованием oauth2.0 (стандарт, используемый основными поставщиками идентификации, такими как google), обеспечивая вариант использования, который снижает барьеры для пользователей web3 через традиционные веб-приложения web2. Другие примеры включают приложения, основанные на daos.

3.3 =nil;

=nil; Это инвестиционный проект, поддерживаемый такими известными организациями, как Mina, PolyChain, StarkWare и Blockchain Capital. Примечательно, что пионеры ZK Technology, такие как Мина и Старкваре, входят в число спонсоров, что свидетельствует о высоком техническом признании проекта. =nil; был также упомянут в нашем отчете «Рынок вычислительных мощностей», в котором основное внимание уделяется рынку доказательств (рынок децентрализованной генерации доказательств). дополнительно =nil; имеет еще один подпродукт под названием zkllvm.

zkllvm, разработанный фондом =nil;, является инновационным компилятором цепей, который автоматически преобразует прикладной код, написанный на основных языках программирования, таких как c++ и rust, в эффективные, доказуемые цепи для ethereum без необходимости специализированных языков домена с нулевым знанием (dsl). Это значительно упрощает процесс разработки, снижает порог вхождения и повышает производительность за счет избегания zkvm. Он поддерживает аппаратное ускорение для ускорения генерации доказательств, что делает его подходящим для различных сценариев применения zk, таких как rollups, кросс-цепные мосты, оракулы, машинное обучение и игры. Он тесно интегрирован с рынком доказательств фонда =nil;, обеспечивая разработчикам полную поддержку от создания цепей до генерации доказательств.

3.4 brevis

brevis - это субпроект сети celer и является умным нулевым знанием (zk) копроцессором для блокчейна, позволяющим dapps получать доступ, вычислять и использовать произвольные данные по нескольким блокчейнам в полностью доверительном режиме. Как и у других копроцессоров, у brevis есть широкий спектр применений, таких как децентрализованное финансирование, zkbridges, привлечение пользователей на цепочку, zkdid и абстракция социального аккаунта.

архитектура brevis состоит из трех основных компонентов:

  • zkfabric: zkfabric - это ретрансляционный компонент архитектуры brevis. Его основная задача - собирать и синхронизировать информацию о заголовках блоков из всех подключенных блокчейнов, а затем генерировать доказательства согласия для каждого собранного заголовка блока через цепь zk light client.
  • zkquerynet: zkquerynet - это открытый рынок движков zk запросов, который может прямо принимать запросы данных от смарт-контрактов on-chain и генерировать результаты запросов и соответствующие доказательства zk запросов через цепочку zk запросов. Эти движки варьируются от высокоспециализированных (например, вычисление объема торговли на dex за определенный период) до высокообщих абстракций индексации данных и продвинутых языков запросов для удовлетворения различных потребностей приложений.
  • Zkaggregatorrollup: Служит уровнем агрегации и хранения для Zkfabric и ZkQueryNet. Он проверяет доказательства этих двух компонентов, хранит проверенные данные и отправляет корни состояния своих доказательств ZK во все подключенные блокчейны, позволяя децентрализованным приложениям напрямую получать доступ к проверенным результатам запросов в своей бизнес-логике смарт-контрактов в цепочке.

с такой модульной архитектурой Brevis может предоставить всем поддерживаемым общедоступным смарт-контрактам блокчейна безопасный, эффективный и гибкий метод доступа. V4-версия Uni также принимает участие в этом проекте и интегрирует его с хуками (системой для интеграции различной пользовательской логики), чтобы облегчить чтение исторических данных блокчейна, уменьшить комиссии за газ, обеспечивая децентрализацию. Это пример zk-сопроцессора, способствующего продвижению DEX.

3.5 лагранж

Лагранж - протокол интероперабельности совместного применения zk-копроцессора, руководимый 1kx и фондами основателей, в основном направленный на обеспечение доверительной межцепочной взаимодействия и поддержку приложений, требующих вычислений сложных данных масштаба. В отличие от традиционных мостов узлов, межцепное взаимодействие Лагранжа в основном достигается благодаря его инновационным механизмам zk Big Data и государственного комитета.

  • ZK Big Data: Это основной продукт Lagrange, отвечающий за обработку и проверку кроссчейн-данных и генерацию соответствующих ZK-доказательств. Этот компонент включает в себя высокопараллельный сопроцессор ZK для выполнения сложных вычислений вне сети и генерации доказательств с нулевым разглашением, специально разработанную проверяемую базу данных, поддерживающую неограниченное количество слотов хранения и прямые SQL-запросы из смарт-контрактов, механизм динамического обновления, который обновляет только измененные точки данных, чтобы сократить время проверки, и интегрированную функцию, позволяющую разработчикам использовать SQL-запросы непосредственно из смарт-контрактов для доступа к историческим данным без написания сложных Цепи. Вместе они образуют масштабную систему обработки и проверки данных блокчейна.
  • государственный комитет: этот компонент представляет собой децентрализованную сеть проверки, состоящую из нескольких независимых узлов, каждый из которых ставит eth в залог. Эти узлы действуют как zk-легкие клиенты, специально проверяющие состояние оптимизированных роллапов. Государственный комитет интегрируется с avs eigenlayer, используя механизм повторного ставки для повышения безопасности, поддерживая неограниченное количество участвующих узлов для достижения сверхлинейного роста безопасности. Он также предоставляет «быстрый режим», позволяя пользователям выполнять операции межцепочного обмена без ожидания окна вызова, что значительно улучшает пользовательский опыт. Сочетание этих двух технологий позволяет Lagrange эффективно обрабатывать крупномасштабные данные, выполнять сложные вычисления и безопасно передавать и проверять результаты на разных блокчейнах, поддерживая разработку сложных межцепочных приложений.

Lagrange уже интегрирован с Eigenlayer, Mantle, Base, Frax, Polymer, Layerzero, Omni, Altlayer и другими, и будет первым ZK AVS, связанным в экосистеме Ethereum.

о ybb

ybb - это фонд web3, посвящающий себя выявлению проектов, определяющих web3, с целью создания лучшей онлайн-среды для всех пользователей интернета. Основанный группой сторонников блокчейна, активно участвующих в этой отрасли с 2013 года, ybb всегда готов помочь проектам на ранних стадиях развития перейти от 0 к 1. Мы ценим инновации, самостоятельную страсть и продукты, ориентированные на пользователя, признавая потенциал криптовалют и блокчейн-приложений.

Веб-сайт | Twi: @ybbcapital

ссылки:

1.abcde: погружение в zk-копроцессор и его будущее:https://medium.com/ABCDE.com/ru-abcde-глубокая-погружение-в-zk-процессор-и-его-будущее-1d1b3f33f946

2. Все, что вам нужно - это "zk":https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3. нулевой риск:https://www.risczero.com/bonsai

4.лагранж:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6. Ускорение азота! Как сопроцессор zk преодолевает преграды данных смарт-контракта:https://foresightnews.pro/article/detail/48239

disclaimer:

  1. эта статья перепечатана с [ средний], пересылайте оригинальный заголовок‘the gpu of blockchain: comprehensive analysis of zk coprocessors’, все авторские права принадлежат оригинальному автору [исследователь ybb capital zeke]. если есть возражения по поводу этой репродукции, пожалуйста, свяжитесьGate learnкоманда, и они обработают это незамедлительно.

  2. отказ от ответственности: мнения и взгляды, выраженные в этой статье, являются исключительно мнениями автора и не являются инвестиционным советом.

  3. переводы статьи на другие языки выполняются командой Gate learn. если не указано иное, копирование, распространение или плагиат переведенных статей запрещены.

GPU блокчейн: Комплексный анализ ZK-копроцессоров

ПродвинутыйJul 24, 2024
ZK-сопроцессор можно рассматривать как плагин для вычислений вне цепи, основанный на модульной концепции. Его функция аналогична функции GPU в наших традиционных компьютерах, которая разделяет вычислительные задачи для ЦПУ, то есть процессор, который разделяет вычислительные задачи в конкретных сценариях. Под этой архитектурой проектирования, сложные задачи обработки данных и сложной логики вычислений, с которыми публичные цепи не справляются, могут быть рассчитаны с помощью ZK-сопроцессора. Цепочка только нуждается в получении возвращаемых результатов вычислений, и их правильность определяется гарантиями ZK-доказательств, и в конечном итоге позволяет выполнять доверенные вычисления сложных задач вне цепи.
GPU блокчейн: Комплексный анализ ZK-копроцессоров

tldr

  • Копроцессоры zk могут рассматриваться как плагины для вычислений вне цепи, происходящие из модульной концепции, аналогично графическим процессорам в традиционных компьютерах, которые разгружают графические вычисления с центрального процессора, обрабатывая конкретные вычислительные задачи.
  • они могут использоваться для обработки сложных вычислений и больших объемов данных, снижая комиссии за газ и расширяя функциональность смарт-контрактов.
  • В отличие от роллапов, ZK-сопроцессоры не имеют состояния, их можно использовать через цепочки и они подходят для сложных вычислительных сценариев.
  • Разработка сопроцессоров zk представляет собой сложную задачу с высокими затратами на производительность и отсутствием стандартизации. Затраты на оборудование также значительны. Хотя область значительно узрела по сравнению с прошлым годом, она все еще находится в начальной стадии.
  • по мере развития модульной эры в фрактальное масштабирование, блокчейн сталкивается с проблемами, такими как нехватка ликвидности, разрозненные пользователи, отсутствие инноваций и проблемы межцепочной совместимости, создавая парадокс с вертикально масштабированными цепочками l1. zk-сопроцессоры могут предложить способ преодоления этих вызовов, обеспечивая поддержку как существующих, так и новых приложений и принося новые сюжеты в пространство блокчейна.

еще одно направление модульной инфраструктуры: zk-сопроцессоры

1.1 обзор zk-сопроцессоров

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

В настоящее время популярные приложения, такие как ai, socialfi, dex и gamefi, имеют настоятельную необходимость в высокой производительности и контроле над затратами. В традиционных решениях эти «тяжелые приложения», требующие высокой производительности, часто выбирают модели активов с использованием on-chain + off-chain приложений или разрабатывают отдельную цепочку приложений. Однако оба подхода имеют внутренние проблемы: у первого есть «черный ящик», а у второго - высокие затраты на разработку, отделение от изначальной экосистемы цепочки и фрагментированная ликвидность. Кроме того, виртуальная машина основной цепочки накладывает значительные ограничения на разработку и функционирование таких приложений (например, отсутствие стандартов уровня приложений, сложные языки разработки).

Сопроцессоры ZK призваны решить эти проблемы. Чтобы предоставить более подробный пример, мы можем представить блокчейн как терминал (например, телефон или компьютер), который не может подключиться к Интернету. В этом сценарии мы можем запускать относительно простые приложения, такие как Uniswap или другие приложения DeFi, полностью в сети. Но когда появятся более сложные приложения, такие как запуск приложения, подобного ChatGPT, производительность и хранилище публичной цепочки будут совершенно недостаточными, что приведет к газовым взрывам. В сценарии Web2, когда мы запускаем ChatGPT, наш общий терминал сам не может обрабатывать большую языковую модель GPT-4O; Нам нужно подключиться к серверам OpenAI, чтобы передать вопрос, и после того, как сервер вычислит и выведет результат, мы напрямую получим ответ. Сопроцессоры ZK похожи на удаленные серверы блокчейна. В то время как различные проекты сопроцессоров могут иметь небольшие различия в дизайне в зависимости от типа проекта, лежащая в основе логика остается в целом похожей — вычисления вне цепочки + доказательства ZK или доказательства хранилища для проверки.

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

  • напишите приложение zkvm для обработки логики приложения.
  • написать solidity контракт, чтобы требовать bonsai для запуска вашего zkvm приложения и обрабатывать результаты.

1.2 различия от роллапов

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

1. основная цель:

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

2. принцип работы:

  • rollups: аггрегируют цепочечные транзакции и отправляют их на главную цепочку с доказательствами мошенничества или zk доказательствами.
  • zk сопроцессоры: аналогично zk rollups, но предназначены для различных сценариев применения. zk rollups, из-за цепно-специфических ограничений и правил, не подходят для задач сопроцессора.

3. управление состоянием:

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

4.сценарии применения:

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

5. отношения с основной цепочкой:

  • rollups: рассматриваются как расширения основной цепочки, обычно сосредоточенные на конкретных блокчейн-сетях.
  • zk-сопроцессоры: могут обслуживать несколько блокчейнов, не ограничиваясь конкретными основными цепочками, а также могут обслуживать rollups.

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

1.3 случая использования

Теоретически, область применения сопроцессоров zk обширна и охватывает проекты в различных секторах блокчейна. Сопроцессоры zk позволяют dapps иметь функциональность, близкую к функциональности централизованных веб-приложений web2. Вот несколько примеров использования, собранных из онлайн источников.

разработка dapp на основе данных:

Копроцессоры zk позволяют разработчикам создавать данных ориентированные dapps, которые используют полные исторические данные on-chain для сложных вычислений без дополнительных доверительных предположений. Это открывает невиданные возможности для разработки dapp, такие как:

  • расширенный анализ данных: функции анализа данных on-chain, аналогичные dune analytics.
  • сложная бизнес-логика: реализация сложных алгоритмов и бизнес-логики, присутствующих в традиционных централизованных приложениях.
  • приложения межцепочечного взаимодействия: создание межцепочечных dapps на основе данных из нескольких цепочек.

программа для трейдеров VIP для децентрализованных бирж (DEXs):

типичный сценарий применения - реализация программы скидок на комиссию на основе объема торговли на децентрализованных биржах, известная как «программа лояльности для вип-трейдеров». Такие программы распространены на централизованных биржах, но редки на децентрализованных биржах.

с использованием zk-копроцессоров, децентрализованные биржи (DEX) могут:

  • отслеживать исторические объемы торговли пользователей.
  • рассчитать уровни VIP пользователей.
  • динамически настраивать торговые комиссии в зависимости от уровней vip. Эта функциональность может помочь децентрализованным биржам улучшить удержание пользователей, увеличить ликвидность и в конечном итоге улучшить выручку.

расширение данных для смарт-контрактов:

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

  • доступ и обработка больших объемов исторических данных.
  • выполнять сложные внеленточные вычисления.
  • реализовать более сложную бизнес-логику.

технология моста между блокчейнами:

Некоторые технологии мостов межцепочечных с использованием zk, такие как Геродот и Лагранж, также могут рассматриваться как приложения zk-сопроцессоров. Эти технологии в основном сосредотачиваются на извлечении и проверке данных, обеспечивая надежный фундамент данных для межцепочечной коммуникации.

1.4 zk копроцессоры не идеальны

несмотря на многочисленные преимущества, вспомогательные zk-процессоры на текущем этапе далеки от идеальных и сталкиваются с несколькими проблемами. Я подвел итог следующим моментам:

  1. Разработка: Концепция ZK сложна для понимания многими разработчиками. Разработка требует соответствующих криптографических знаний и навыков работы с конкретными языками и инструментами разработки.
  2. Высокие затраты на оборудование: оборудование ZK, используемое для вычислений вне сети, должно полностью покрываться самим проектом. Аппаратное обеспечение ZK является дорогим и быстро развивающимся, поэтому оно может устареть в любой момент. Может ли это сформировать замкнутый коммерческий цикл – вопрос, который стоит рассмотреть.
  3. переполненное поле: технически не будет большой разницы в реализации, и конечный результат может напоминать текущий ландшафт layer2, где выделяются несколько важных проектов, в то время как остальные в значительной степени игнорируются.
  4. цепи zk: выполнение вычислений вне цепи в zk-сопроцессорах требует преобразования традиционных компьютерных программ в zk-цепи. написание пользовательских цепей для каждого приложения является затруднительным, и использование zkvms в виртуальных машинах для написания цепей представляет существенные вычислительные издержки из-за различных вычислительных моделей.

ii. важный элемент для массового принятия

(этот раздел сильно субъективен и представляет только личные взгляды автора.)

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

Фундаментальная причина отсутствия свежих нарративов заключается в том, что нынешняя модульная инфраструктура недостаточна для поддержки суперприложений, особенно при отсутствии некоторых предварительных условий (кроссчейн-совместимость, пользовательские барьеры и т. д.), что приводит к самой значительной фрагментации в истории блокчейна. Роллапы, как ядро модульной эры, действительно ускорили процесс, но они также принесли множество проблем, таких как фрагментация ликвидности, дисперсия пользователей и ограничения, налагаемые самой цепочкой или виртуальной машиной на инновации приложений. Кроме того, еще один «ключевой игрок» в области модульности, Celestia, стал первопроходцем в том, что DA не обязательно должен быть на Ethereum, что еще больше усугубило фрагментацию. Независимо от того, движимы ли они идеологией или затратами DA, в результате BTC вынужден стать DA, а другие публичные сети стремятся предоставлять более экономичные решения DA. Текущая ситуация такова, что в каждой публичной сети есть как минимум один, если не десятки, проектов уровня 2. Кроме того, все инфраструктурные и экосистемные проекты глубоко изучили стратегию стейкинга токенов, впервые разработанную Blur, требуя, чтобы пользователи размещали токены в рамках проекта. Этот режим, который приносит пользу китам тремя способами (проценты, повышение ETH или BTC и бесплатные токены), еще больше сжимает ликвидность в сети.

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

поэтому мое текущее внимание сосредоточено на том, как продвигать собранную ликвидность по всем цепочкам и поддерживать появление новых стилей игры и супер-приложений. В секторе межцепочечной совместимости традиционные ведущие проекты последовательно не соответствуют ожиданиям и все еще напоминают традиционные межцепочечные мосты. Новые решения взаимодействия, о которых мы говорили в предыдущих отчетах, в основном направлены на агрегацию нескольких цепей в одну цепь. В качестве примеров можно привести agglayer, superchain, elastic chain, jam и т. д., о которых здесь не будет подробно рассказываться. В итоге, кросс-цепная агрегация является необходимым препятствием в модульной инфраструктуре, но ее преодоление займет много времени.

zk-сопроцессоры являются критически важным элементом в текущей фазе. Они могут укрепить layer2 и дополнить layer1. Есть ли способ временно преодолеть проблемы межцепочности и трилеммы, позволяющий реализовать некоторые приложения текущей эры на определенных layer1s или layer2s с обширной ликвидностью? В конце концов, в приложениях блокчейн не хватает свежих сюжетов. Кроме того, обеспечение разнообразных стилей игры, контроля за газом, масштабных приложений, возможностей межцепочности и снижения барьеров для пользователей через интегрированные решения сопроцессора может быть более идеальным, чем полагаться на централизацию.

iii. обзор проекта

поле zk coprocessor появилось примерно в 2023 году и на данный момент стал относительно зрелым. согласно классификации messari, это поле в настоящее время охватывает три основных вертикальных области (общие вычисления, взаимодействие и перекрестные цепочки, искусственный интеллект и обучение машин) с 18 проектами. большинство из этих проектов поддерживают ведущие венчурные капиталы. ниже мы опишем несколько проектов из разных вертикальных областей.

3.1 гиза

giza - это протокол zkml (zero-knowledge machine learning), развернутый на starknet и официально поддерживаемый starkware. Он направлен на обеспечение возможности использования моделей искусственного интеллекта в смарт-контрактах блокчейна с возможностью верификации. Разработчики могут развернуть модели искусственного интеллекта на сети giza, которая затем проверяет правильность вывода модели с помощью доказательств нулевого разглашения и предоставляет результаты смарт-контрактам в безопасном режиме. Это позволяет разработчикам создавать приложения в блокчейне, объединяющие возможности искусственного интеллекта, сохраняя децентрализацию и верифицируемость блокчейна.

giza завершает рабочий процесс через следующие три шага:

  • конверсия модели: giza преобразует широко используемые модели искусственного интеллекта формата onnx в формат, который может работать в системе доказательства нулевого знания. это позволяет разработчикам обучать модели с помощью привычных инструментов, а затем развертывать их в сети giza.
  • Внеблокчейновый вывод: когда смарт-контракт запрашивает вывод модели искусственного интеллекта, Giza выполняет фактические вычисления вне блокчейна. Это позволяет избежать высоких затрат на прямое выполнение сложных моделей искусственного интеллекта на блокчейне.
  • zero-knowledge verification: giza генерирует zk доказательства для каждого вывода модели, доказывая, что вычисление было выполнено правильно. эти доказательства проверяются на цепочке, обеспечивая правильность результатов вывода без повторения всего процесса вычисления на цепочке.

Подход giza позволяет моделям искусственного интеллекта служить в качестве доверенных исходных источников для смарт-контрактов без использования централизованных оракулов или доверенных сред выполнения. Это открывает новые возможности для приложений блокчейна, таких как управление активами на основе искусственного интеллекта, выявление мошенничества и динамическое ценообразование. Это один из немногих проектов в текущем пространстве web3 x ai с логическим замкнутым циклом и умным использованием копроцессоров в области искусственного интеллекта.

3.2 риск ноль

risc zero - это ведущий проект копроцессора, поддерживаемый несколькими лучшими венчурными капиталами. Он ориентирован на обеспечение возможности проверки выполнения любых вычислений в блокчейн-смарт-контрактах. Разработчики могут писать программы на языке Rust и разворачивать их в сети risc zero. Risc zero затем проверяет правильность выполнения программы с помощью доказательств с нулевым разглашением и предоставляет результаты смарт-контрактам в децентрализованном режиме. Это позволяет разработчикам создавать сложные приложения внутри блокчейна, сохраняя децентрализацию и верифицируемость блокчейна.

мы кратко упомянули о развертывании и рабочем процессе. Здесь мы подробно рассмотрим два ключевых компонента:

  • bonsai: bonsai - это компонент сопроцессора внутри risc zero, безупречно интегрированный в zkvm набор команд архитектуры risc-v. Это позволяет разработчикам быстро интегрировать высокопроизводительные доказательства нулевого знания в ethereum, l1 блокчейны, цепочки приложений cosmos, l2 rollups и dapps всего за несколько дней. Он предлагает прямые вызовы смарт-контрактов, верифицируемые внешние вычисления, межцепочечную совместимость и общую функциональность rollup, при этом принимая децентрализованную архитектуру с распределением вперед. Объединяя рекурсивные доказательства, компиляторы пользовательских схем, продолжение состояния и постоянно улучшающиеся алгоритмы доказательств, он позволяет каждому генерировать высокопроизводительные доказательства нулевого знания для различных приложений.
  • zkvm: zkvm - это верифицируемый компьютер, который работает аналогично настоящему встроенному микропроцессору risc-v. Основываясь на архитектуре набора команд risc-v, он позволяет разработчикам писать программы на языках программирования высокого уровня, таких как Rust, C++, Solidity, Go и т.д., которые могут генерировать доказательства нулевого разглашения. Поддерживая более 70% популярных крейтов Rust, он находит плавное сочетание общего вычисления и доказательств нулевого разглашения, способен генерировать эффективные доказательства нулевого разглашения для вычислений любой сложности, сохраняя при этом конфиденциальность процесса вычисления и проверяемость результатов. zkvm использует zk-технологии, включая STARK и SNARK, и достигает эффективной генерации и проверки доказательств с помощью таких компонентов, как рекурсивный доказатель и доказатель SNARK-в-STARK, поддерживая выполнение вне цепи и проверку в цепи.

risc zero интегрировался с несколькими решениями eth layer2 и продемонстрировал различные варианты использования для bonsai. Один интересный пример - bonsai pay. В этой демонстрации используются zkvm risc zero и сервис bonsai proof, позволяющие пользователям отправлять или выводить eth и токены на ethereum, используя свои учетные записи google. Это показывает, как risc zero может без проблем интегрироваться с on-chain приложениями с использованием oauth2.0 (стандарт, используемый основными поставщиками идентификации, такими как google), обеспечивая вариант использования, который снижает барьеры для пользователей web3 через традиционные веб-приложения web2. Другие примеры включают приложения, основанные на daos.

3.3 =nil;

=nil; Это инвестиционный проект, поддерживаемый такими известными организациями, как Mina, PolyChain, StarkWare и Blockchain Capital. Примечательно, что пионеры ZK Technology, такие как Мина и Старкваре, входят в число спонсоров, что свидетельствует о высоком техническом признании проекта. =nil; был также упомянут в нашем отчете «Рынок вычислительных мощностей», в котором основное внимание уделяется рынку доказательств (рынок децентрализованной генерации доказательств). дополнительно =nil; имеет еще один подпродукт под названием zkllvm.

zkllvm, разработанный фондом =nil;, является инновационным компилятором цепей, который автоматически преобразует прикладной код, написанный на основных языках программирования, таких как c++ и rust, в эффективные, доказуемые цепи для ethereum без необходимости специализированных языков домена с нулевым знанием (dsl). Это значительно упрощает процесс разработки, снижает порог вхождения и повышает производительность за счет избегания zkvm. Он поддерживает аппаратное ускорение для ускорения генерации доказательств, что делает его подходящим для различных сценариев применения zk, таких как rollups, кросс-цепные мосты, оракулы, машинное обучение и игры. Он тесно интегрирован с рынком доказательств фонда =nil;, обеспечивая разработчикам полную поддержку от создания цепей до генерации доказательств.

3.4 brevis

brevis - это субпроект сети celer и является умным нулевым знанием (zk) копроцессором для блокчейна, позволяющим dapps получать доступ, вычислять и использовать произвольные данные по нескольким блокчейнам в полностью доверительном режиме. Как и у других копроцессоров, у brevis есть широкий спектр применений, таких как децентрализованное финансирование, zkbridges, привлечение пользователей на цепочку, zkdid и абстракция социального аккаунта.

архитектура brevis состоит из трех основных компонентов:

  • zkfabric: zkfabric - это ретрансляционный компонент архитектуры brevis. Его основная задача - собирать и синхронизировать информацию о заголовках блоков из всех подключенных блокчейнов, а затем генерировать доказательства согласия для каждого собранного заголовка блока через цепь zk light client.
  • zkquerynet: zkquerynet - это открытый рынок движков zk запросов, который может прямо принимать запросы данных от смарт-контрактов on-chain и генерировать результаты запросов и соответствующие доказательства zk запросов через цепочку zk запросов. Эти движки варьируются от высокоспециализированных (например, вычисление объема торговли на dex за определенный период) до высокообщих абстракций индексации данных и продвинутых языков запросов для удовлетворения различных потребностей приложений.
  • Zkaggregatorrollup: Служит уровнем агрегации и хранения для Zkfabric и ZkQueryNet. Он проверяет доказательства этих двух компонентов, хранит проверенные данные и отправляет корни состояния своих доказательств ZK во все подключенные блокчейны, позволяя децентрализованным приложениям напрямую получать доступ к проверенным результатам запросов в своей бизнес-логике смарт-контрактов в цепочке.

с такой модульной архитектурой Brevis может предоставить всем поддерживаемым общедоступным смарт-контрактам блокчейна безопасный, эффективный и гибкий метод доступа. V4-версия Uni также принимает участие в этом проекте и интегрирует его с хуками (системой для интеграции различной пользовательской логики), чтобы облегчить чтение исторических данных блокчейна, уменьшить комиссии за газ, обеспечивая децентрализацию. Это пример zk-сопроцессора, способствующего продвижению DEX.

3.5 лагранж

Лагранж - протокол интероперабельности совместного применения zk-копроцессора, руководимый 1kx и фондами основателей, в основном направленный на обеспечение доверительной межцепочной взаимодействия и поддержку приложений, требующих вычислений сложных данных масштаба. В отличие от традиционных мостов узлов, межцепное взаимодействие Лагранжа в основном достигается благодаря его инновационным механизмам zk Big Data и государственного комитета.

  • ZK Big Data: Это основной продукт Lagrange, отвечающий за обработку и проверку кроссчейн-данных и генерацию соответствующих ZK-доказательств. Этот компонент включает в себя высокопараллельный сопроцессор ZK для выполнения сложных вычислений вне сети и генерации доказательств с нулевым разглашением, специально разработанную проверяемую базу данных, поддерживающую неограниченное количество слотов хранения и прямые SQL-запросы из смарт-контрактов, механизм динамического обновления, который обновляет только измененные точки данных, чтобы сократить время проверки, и интегрированную функцию, позволяющую разработчикам использовать SQL-запросы непосредственно из смарт-контрактов для доступа к историческим данным без написания сложных Цепи. Вместе они образуют масштабную систему обработки и проверки данных блокчейна.
  • государственный комитет: этот компонент представляет собой децентрализованную сеть проверки, состоящую из нескольких независимых узлов, каждый из которых ставит eth в залог. Эти узлы действуют как zk-легкие клиенты, специально проверяющие состояние оптимизированных роллапов. Государственный комитет интегрируется с avs eigenlayer, используя механизм повторного ставки для повышения безопасности, поддерживая неограниченное количество участвующих узлов для достижения сверхлинейного роста безопасности. Он также предоставляет «быстрый режим», позволяя пользователям выполнять операции межцепочного обмена без ожидания окна вызова, что значительно улучшает пользовательский опыт. Сочетание этих двух технологий позволяет Lagrange эффективно обрабатывать крупномасштабные данные, выполнять сложные вычисления и безопасно передавать и проверять результаты на разных блокчейнах, поддерживая разработку сложных межцепочных приложений.

Lagrange уже интегрирован с Eigenlayer, Mantle, Base, Frax, Polymer, Layerzero, Omni, Altlayer и другими, и будет первым ZK AVS, связанным в экосистеме Ethereum.

о ybb

ybb - это фонд web3, посвящающий себя выявлению проектов, определяющих web3, с целью создания лучшей онлайн-среды для всех пользователей интернета. Основанный группой сторонников блокчейна, активно участвующих в этой отрасли с 2013 года, ybb всегда готов помочь проектам на ранних стадиях развития перейти от 0 к 1. Мы ценим инновации, самостоятельную страсть и продукты, ориентированные на пользователя, признавая потенциал криптовалют и блокчейн-приложений.

Веб-сайт | Twi: @ybbcapital

ссылки:

1.abcde: погружение в zk-копроцессор и его будущее:https://medium.com/ABCDE.com/ru-abcde-глубокая-погружение-в-zk-процессор-и-его-будущее-1d1b3f33f946

2. Все, что вам нужно - это "zk":https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3. нулевой риск:https://www.risczero.com/bonsai

4.лагранж:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6. Ускорение азота! Как сопроцессор zk преодолевает преграды данных смарт-контракта:https://foresightnews.pro/article/detail/48239

disclaimer:

  1. эта статья перепечатана с [ средний], пересылайте оригинальный заголовок‘the gpu of blockchain: comprehensive analysis of zk coprocessors’, все авторские права принадлежат оригинальному автору [исследователь ybb capital zeke]. если есть возражения по поводу этой репродукции, пожалуйста, свяжитесьGate learnкоманда, и они обработают это незамедлительно.

  2. отказ от ответственности: мнения и взгляды, выраженные в этой статье, являются исключительно мнениями автора и не являются инвестиционным советом.

  3. переводы статьи на другие языки выполняются командой Gate learn. если не указано иное, копирование, распространение или плагиат переведенных статей запрещены.

Начните торговать сейчас
Зарегистрируйтесь сейчас и получите ваучер на
$100
!