Автор оригинала: Исследователь YBB Capital Зик
TLDR
Сопроцессор ZK (ZK Coprocessor) можно рассматривать как модуль автономного вычисления, основанный на модульной концепции. Его функция аналогична функции графического процессора в наших традиционных компьютерах, который разделяет задачи графических вычислений для ЦП, то есть совместно использует вычисления. в определенных сценариях процессор задач;
Может использоваться для обработки сложных вычислений и объемных данных, снижения платы за газ и расширения функций смарт-контрактов;
Отличие от Rollup: сопроцессор ZK не сохраняет состояние, может использоваться в разных цепочках и подходит для сложных вычислительных сценариев;
Сопроцессор ZK сложен в разработке, имеет высокие затраты на производительность и не имеет стандартизации. Аппаратное обеспечение требует больших затрат. Хотя трасса стала гораздо более зрелой, чем год назад, она все еще находится на ранней стадии;
После того, как инфраструктура вступила в модульную эпоху фрактального расширения, блокчейн столкнулся с различными проблемами, такими как нехватка ликвидности, разрозненность пользователей, отсутствие инноваций и межсетевой совместимости, и образовал парадокс с L1 вертикального расширения. Сопроцессор ZK, возможно, сможет обеспечить хорошее подкрепление для них обоих в будущем, позволяя им избежать неприятностей, обеспечить поддержку производительности старых приложений и новых и важных приложений, а также принести больше свежей информации.
1. Еще одна ветка модульной инфраструктуры, сопроцессор ZK.
1.1 Обзор сопроцессора ZK
Сопроцессор ZK (ZK Coprocessor) можно рассматривать как модуль автономного вычисления, основанный на модульной концепции. Его функция аналогична функции графического процессора в наших традиционных компьютерах, который разделяет задачи графических вычислений для ЦП, то есть совместно использует вычисления. в конкретных сценариях Процессор задачи. В рамках этой структуры проектирования задачи «тяжелых данных» и «сложной логики вычислений», с которыми публичная цепочка не справляется, могут быть рассчитаны через сопроцессор ZK. Цепочке нужно только получить возвращенные результаты вычислений, и ее правильность гарантируется ZK. Наконец-то реализованы надежные, надежные вычисления вне цепочки для сложных задач.
В настоящее время популярные приложения, такие как AI, SocialFi, DEX и GameFi, остро нуждаются в высокой производительности и контроле затрат. В традиционных решениях эти «тяжелые приложения», требующие высокой производительности, часто выбирают форму актива внутри цепочки + вне цепочки. приложений или спроектируйте цепочку приложений отдельно для приложения. Однако у обоих есть некоторые присущие проблемы. Например, у первого есть «черный ящик», а у второго — такие проблемы, как высокие затраты на разработку, отделение от исходной экологии цепочки и фрагментация ликвидности. Кроме того, виртуальная машина основной цепи также имеет большие ограничения на разработку и работу таких приложений (например, отсутствие стандартов прикладного уровня и сложных языков разработки).
Существование сопроцессора ZK призвано решить подобные проблемы. Если привести более подробный пример, можно рассматривать блокчейн как терминал, который нельзя подключить к Интернету (мобильный телефон, компьютер и т. д.). В этом случае мы можем запустить его. некоторые простые приложения, такие как Uniswap и другие приложения DeFi, могут работать полностью в сети. Но когда появятся более сложные приложения, такие как запуск такого приложения, как ChatGPT, производительности и хранилища публичной цепочки будет совершенно недостаточно, и Gas взорвется. В случае с Web2 то же самое происходит, когда мы запускаем ChatGPT. Общие терминалы не могут обрабатывать большие языковые модели, такие как GPT-4. o Нам нужно сообщить о проблеме серверу OpenAI через Интернет. После того, как сервер вычислит вывод. результаты, мы Вы получите ответ напрямую. Сопроцессор ZK похож на удаленный сервер блокчейна. Однако для разных типов проектов дизайн разных проектов сопроцессора может иметь небольшие отклонения, но базовая логика не будет сильно отличаться. Все они проверяются вне сети. расчет + доказательство ЗК или доказательство хранения. На примере развертывания Bonsai от Rise Zero мы можем понять, что логика этой архитектуры очень проста. Проект легко интегрируется в собственную zkVM Rise Zero. Разработчикам нужно всего лишь два простых шага, чтобы использовать Bonsai в качестве сопроцессора.
Напишите приложение zkVM для обработки логики приложения;
Напишите контракт Solidity, который попросит Bonsai запустить ваше приложение zkVM и обработать результаты.
В чем разница между 1.2 и Rollup?
В приведенном выше определении мы обнаружим, что Rollup, по-видимому, имеет высокую степень совпадения с сопроцессором ZK, независимо от логики его реализации или целей. Но на самом деле Rollup больше похож на многоядерную версию основной цепи. Конкретные различия между ними заключаются в следующем:
1. Основная цель:
Объединение: улучшите пропускную способность транзакций блокчейна и снизьте комиссию за транзакции.
Сопроцессор ZK: расширяет вычислительную мощность смарт-контрактов, позволяя им обрабатывать более сложную логику и большие объемы данных.
2. Принцип работы:
Свертывание: суммируйте транзакции в цепочке и переносите их в основную цепочку с помощью доказательства мошенничества или доказательства ZK.
Сопроцессор ZK: аналогичен ZK Rollup, за исключением того, что сценарии их применения различны. ZK Rollup ограничен формой и правилами цепочки и не подходит для работы сопроцессора ZK.
3. Управление статусом:
Свертывание: необходимо поддерживать собственное состояние и регулярно синхронизироваться с основной цепочкой.
Сопроцессор ZK: не поддерживает постоянное состояние, и каждое вычисление не имеет состояния.
4. Сценарии применения:
Свертывание: В основном для C-стороны, подходит для высокочастотной торговли.
Сопроцессор ZK: в основном для стороны B, подходит для сценариев, требующих сложных вычислений, таких как расширенные финансовые модели, анализ больших данных и т. д.
5. Связь с основной цепью:
Свертывание: можно рассматривать как расширение основной цепочки, обычно ориентированное на конкретную сеть блокчейнов.
Сопроцессор ZK: он может предоставлять услуги для нескольких блокчейнов и не ограничивается конкретной основной цепочкой, поэтому он также может предоставлять услуги для Rollup.
Таким образом, они не являются взаимоисключающими по своей природе и даже дополняют друг друга. Даже если накопительный пакет существует в форме цепочки приложений, сопроцессор ZK все равно может предоставлять услуги.
1.3 Варианты использования
Теоретически сопроцессор ZK имеет очень широкий спектр применения и может охватывать проекты на различных треках блокчейна. Существование сопроцессора ZK может приблизить функцию Dapp к функции централизованного приложения Web2. Ниже приведены некоторые демонстрационные примеры использования, собранные из Интернета.
Разработка DApp на основе данных
Сопроцессор ZK позволяет разработчикам создавать управляемые данными DApps, которые используют исторические данные всей цепочки и выполняют сложные вычисления без дополнительных предположений о доверии. Это открывает беспрецедентные возможности для разработки DApp, такие как:
Расширенный анализ данных: функции анализа данных в сети, аналогичные Dune Analytics.
Сложная бизнес-логика: реализация сложных алгоритмов и бизнес-логики в традиционных централизованных приложениях.
Межсетевые приложения: создавайте межсетевые DApp на основе данных нескольких цепочек.
Программа VIP-трейдеров DEX
Типичным сценарием применения является реализация программы скидок на комиссии в зависимости от объема транзакций на децентрализованной бирже (DEX), то есть «Программы лояльности VIP-трейдеров». Этот тип схемы распространен на централизованных биржах (CEX), но редко на DEX.
Используя сопроцессор ZK, DEX может:
Отслеживайте исторический объем транзакций пользователей
Рассчитать VIP-уровень пользователя
Динамическая корректировка комиссий за транзакции в зависимости от уровня
Эта функция может помочь DEX улучшить удержание пользователей, увеличить ликвидность и, в конечном итоге, увеличить доход.
Улучшение данных для смарт-контрактов
Сопроцессор ZK может служить мощным промежуточным программным обеспечением для предоставления услуг сбора, расчета и проверки данных для смарт-контрактов, тем самым снижая затраты и повышая эффективность. Это позволяет смарт-контрактам:
Доступ и обработка больших объемов исторических данных
Выполняйте сложные вычисления вне сети
Внедрить более продвинутую бизнес-логику
Технология перекрестного моста
Некоторые технологии перекрестных мостов на основе ZK, такие как Геродот и Лагранж, также можно рассматривать как применение сопроцессора ZK. Эти технологии в основном сосредоточены на извлечении и проверке данных, обеспечивая надежную основу данных для межсетевой связи.
Сопроцессор 1.4 ЗК не идеален
Хотя мы перечислили множество преимуществ, нынешняя стадия сопроцессора ZK не идеальна и все еще сталкивается со многими проблемами. Лично я выделил следующие моменты:
1. Разработка. Многим разработчикам сложна для понимания концепция ZK. Разработка также требует соответствующих знаний в области криптографии и владения конкретными языками и инструментами разработки;
2. Затраты на оборудование высоки: оборудование ZK, используемое для вычислений вне сети, должно полностью покрываться самой стороной проекта. Оборудование ZK дорогое и все еще находится в стадии быстрой разработки и итерации, и оборудование, вероятно, будет снято с производства в любой момент. . Может ли это образовать замкнутый цикл в бизнес-логике – это также вопрос, заслуживающий внимания;
3. Трасса переполнена: на самом деле большой разницы в технической реализации не будет. В конце концов, она, скорее всего, будет похожа на текущую схему Layer 2. Есть несколько выдающихся проектов, но большинство из них игнорируются;
4. Схема zk. Выполнение вычислений вне цепочки в сопроцессоре zk требует преобразования традиционных компьютерных программ в схемы zk. Написание индивидуальных схем для каждого приложения очень сложно, а использование zkvm для записи схем в виртуальных машинах приводит к возникновению различных вычислительных моделей. .
2. Ключевые части головоломки, ведущие к крупномасштабному применению
(Эта глава весьма субъективна и отражает только личное мнение автора)
В этом цикле преобладает модульная инфраструктура. Если путь модульности правильный, то этот цикл может стать последним шагом на пути к крупномасштабному применению. Однако на данном этапе у всех нас есть общее мнение: почему мы видим только некоторые старые вина с новыми приложениями? Почему цепочек гораздо больше, чем приложений? Почему новые стандарты токенов, такие как надписи, можно назвать самым большим нововведением? круглый?
Причина, по которой так не хватает свежих новостей, заключается в том, что нынешняя модульная инфраструктура недостаточна для поддержки суперприложений, особенно отсутствие некоторых предварительных условий (взаимодействие полной цепочки, пороговые значения пользователей и т. д.), что способствовало крупнейшему развитие в истории блокчейна под прикрытием разделения. Rollup, как ядро модульной эпохи, работает быстро, но он также приносит много проблем. То есть фрагментация ликвидности, дисперсия пользователей, цепочка или сама виртуальная машина, о которых мы неоднократно подчеркивали выше, по-прежнему ограничивают инновации приложений. С другой стороны, Селестия, еще один «ключ» модульности, выдвинула идею о том, что DA не обязательно должен быть на Эфириуме. Эта идея еще больше усиливает фрагментацию. Независимо от того, начинается ли это с идеологии или стоимости DA, в результате BTC вынужден использовать DA, а другие публичные сети должны делать более рентабельные DA. Текущая ситуация такова, что их может быть от одного до десятков. Проекты уровня 2 в каждой публичной цепочке. Наконец, все участники инфраструктурных и экологических проектов глубоко изучили игровой процесс «Убийство очков дракона» (OpenSea), впервые разработанный Blur (Tieshun), требующий от пользователей внесения токенов в проект. Этот вид убийства трех зайцев одним выстрелом (интересы, ETH). для китов Или рост BTC и модели токенов с бесплатными токенами, что еще больше сжимает ликвидность в цепочке.
На прошлом бычьем рынке средства поступали лишь в несколько-дюжину публичных цепочек, и можно даже сказать, что они были сконцентрированы только в Ethereum. Но сегодня средства разбросаны по сотням публичных цепочек и вложены в тысячи одинаковых проектов. Процветания в цепочке больше нет, и даже у Эфириума нет внутрисетевой деятельности. Таким образом, восточные игроки проводят PVP в экосистеме BTC, а у западных игроков нет другого выбора, кроме как проводить PVP в Солане. Поэтому меня лично сейчас больше всего беспокоит то, как способствовать агрегации ликвидности по всей цепочке и как поддержать рождение нового игрового процесса и суперприложений. В области полнофункциональной совместимости несколько традиционных ведущих проектов фактически показали плохие результаты. Они по-прежнему больше похожи на традиционные межсетевые мосты. Новое решение для обеспечения совместимости также обсуждалось в нашем предыдущем исследовательском отчете, в основном путем объединения нескольких цепочек в одну. В настоящее время мы работаем над AggLayer, Superchain, Elastic Chain, JAM и т. д., которые здесь не будут обсуждаться.
В целом агрегирование всей цепочки — это препятствие, которое необходимо преодолеть в рамках модульной структуры, но это препятствие все равно займет много времени. Сопроцессор ZK является более важной частью головоломки на текущем этапе. Помимо усиления уровня 2, он также может усилить уровень 1. Возможно ли в будущем временно избежать двух проблем: парадокса полной цепи и треугольника? Сначала внедрить некоторые текущие приложения на каком-то уровне 1 или 2, которые имеют широкую ликвидность? В конце концов, нынешнее описание приложений блокчейна действительно отсутствует. С другой стороны, для достижения диверсификации геймплея, газ-контроля, появления масштабных приложений и даже кросс-чейн, снижения пользовательского порога интеграция сопроцессорного решения будет более идеальным решением, чем опора на централизацию.
3. Список проектов
Сопроцессорное направление ZK в основном появилось примерно в 2023 году и на нынешнем этапе является относительно зрелым. Согласно классификации Мессари, существующие проекты на треке можно разделить на три основные вертикальные области (общие вычисления, совместимость и кроссчейн, искусственный интеллект и машинное обучение), всего 18 проектов. Большинство этих проектов поддерживаются головными венчурными капиталистами. Мы выбрали некоторые проекты из разных вертикальных областей для описания ниже.
3.1 Человек
Giza — это протокол zkML (машинное обучение с нулевым разглашением), развернутый в Starknet и официально поддерживаемый StarkWare, ориентированный на обеспечение возможности проверяемого использования моделей искусственного интеллекта в смарт-контрактах блокчейна. Разработчики могут развертывать модели ИИ в сети Giza, которая затем проверяет правильность рассуждений модели с помощью доказательств с нулевым разглашением и предоставляет результаты для использования смарт-контрактами без доверия. Это позволяет разработчикам создавать внутрисетевые приложения, включающие возможности искусственного интеллекта, сохраняя при этом децентрализацию и проверяемость блокчейна.
Гиза завершает рабочий процесс, выполняя следующие три шага:
Преобразование моделей: Giza преобразует широко используемые модели искусственного интеллекта в формате ONNX в формат, который можно запускать в системах доказательства с нулевым разглашением. Это позволяет разработчикам обучать модели с помощью знакомых инструментов, а затем развертывать их в сети Giza.
Вывод вне цепочки: когда смарт-контракт запрашивает вывод модели ИИ, Giza выполняет фактические вычисления вне цепочки. Это позволяет избежать высоких затрат на запуск сложных моделей искусственного интеллекта непосредственно в блокчейне.
Проверка с нулевым разглашением: Гиза генерирует доказательство ZK для каждого вывода модели, чтобы доказать, что расчет был выполнен правильно. Эти доказательства проверяются в цепочке, обеспечивая правильность результатов вывода без необходимости повторять весь процесс вычислений в цепочке.
Подход Гизы позволяет моделям ИИ служить надежными источниками входных данных для смарт-контрактов, не полагаясь на централизованные оракулы или надежные среды выполнения. Это открывает новые возможности для приложений блокчейна, таких как управление активами на основе искусственного интеллекта, обнаружение мошенничества и динамическое ценообразование. Это один из немногих логических проектов с замкнутым циклом в современном Web3 x AI, а также прекрасное использование совместной обработки в области искусственного интеллекта.
3.2 Нулевой нагрев
Risc Zero — это сопроцессорный проект, поддерживаемый несколькими ведущими венчурными капиталистами и являющийся лидером в этой области. Проект направлен на обеспечение возможности проверяемого выполнения произвольных вычислений в рамках смарт-контрактов блокчейна. Разработчики могут писать программы на Rust и развертывать их в сети RISC Zero, а затем проверять правильность выполнения программы с помощью доказательств с нулевым разглашением и предоставлять результаты смарт-контрактам без доверия. Это позволяет разработчикам создавать сложные онлайн-приложения, сохраняя при этом децентрализацию и проверяемость блокчейна.
О процессе развертывания и работы мы кратко рассказали выше, а здесь подробно поговорим о двух ключевых компонентах:
Бонсай: Бонсай RISC Zero — это компонент сопроцессора в проекте. Он легко интегрируется в zkVM архитектуры набора команд RISC-V, что позволяет разработчикам быстро интегрировать высокопроизводительные доказательства с нулевым разглашением в Ethereum и L1 в рамках Ethereum и L1. Блокчейн, цепочка приложений Cosmos, накопительные пакеты L2 и децентрализованные приложения обеспечивают прямые вызовы смарт-контрактов, проверяемые вычисления вне цепочки, межсетевое взаимодействие и универсальные функции объединения, при этом применяя децентрализованную распределенную архитектуру в сочетании с рекурсивными функциями. доказательства, специальные компиляторы схем, продолжение состояний и постоянное совершенствование алгоритмов доказательства, позволяющее любому генерировать высокопроизводительные доказательства с нулевым разглашением для различных приложений.
zKVM: zkVM — это проверяемый компьютер, который работает как настоящий встроенный микропроцессор RISC-V. Эта виртуальная машина основана на архитектуре набора команд RISC-V, что позволяет разработчикам использовать различные языки программирования, такие как Rust, C++, Solidity, Go и другие языки программирования высокого уровня, для написания программ, способных генерировать нулевые значения. -доказательства с нулевым разглашением. Он поддерживает более 70% популярных ящиков Rust. Он обеспечивает плавное сочетание общих вычислений и доказательств с нулевым разглашением и может генерировать эффективные доказательства с нулевым разглашением для вычислений любой сложности, сохраняя при этом конфиденциальность вычислений. Процесс и проверяемость результатов zkVM использует STARK и SNARK, в том числе технология ZK реализует эффективное создание и проверку доказательств с помощью таких компонентов, как Recursion Prover и STARK-to-SNARK Prover, поддерживающих режимы выполнения вне цепочки и проверки внутри цепочки.
Risc Zero интегрировался с несколькими системами ETH уровня 2 и продемонстрировал несколько вариантов использования Bonsai, наиболее интересным из которых является Bonsai Pay. В демо-версии используется zkVM и подтверждение обслуживания Bonsai от RISC Zero, что позволяет пользователям отправлять или снимать ETH и токены на Ethereum с помощью учетной записи Google. Он демонстрирует, как RISC Zero может легко интегрировать внутрисетевые приложения с OAuth 2.0 (стандарт, используемый основными поставщиками удостоверений, такими как Google), вариант использования интеграции, который снижает барьер для входа для пользователей Web3 через традиционные приложения Web2, в дополнение к примерам. на основе таких приложений, как DAO.
3,3 = ноль;
=nil; в него инвестируют такие известные проекты и учреждения, как Mina, Polychain, Starkware и Blockchain Capital. Стоит отметить, что среди них также есть участники проектов с передовыми технологиями zk, такими как Mina и Starkware, что указывает на то, что. техническая узнаваемость проекта по-прежнему высока. =nil; Этот проект также упоминается в нашем исследовательском отчете «Рынок вычислительной мощности». В то время он был в основном сосредоточен на =nil;’s Proof Market (рынке децентрализованной генерации доказательств). На самом деле у проекта также был подпродукт — zkLLVM.
zkLLVM — это инновационный компилятор схем, разработанный =nil; Foundation. Он может автоматически преобразовывать коды приложений, написанные на основных языках разработки, таких как C++ и Rust, в эффективные доказуемые схемы на Ethereum без использования специализированных полей с нулевым разглашением (). DSL), что значительно упрощает процесс разработки и снижает порог разработки. В то же время он повышает производительность за счет отсутствия использования zkVM (виртуальная машина с нулевым разглашением). Он поддерживает аппаратное ускорение для ускорения создания доказательств. , межцепочные мосты, различные сценарии приложений ZK, такие как оракулы, машинное обучение и игры, а также тесно интегрированы с =nil Proof Market, предоставляя разработчикам комплексную поддержку от создания схемы до генерации доказательств.
3.4 Бревис
Этот проект является подпроектом Celer Network. Bervis — интеллектуальный сопроцессор с нулевым разглашением (ZK) для блокчейна, который позволяет децентрализованным приложениям получать доступ, выполнять вычисления и использовать в нескольких блокчейнах совершенно произвольным образом. Как и другие сопроцессоры, Brevis также имеет широкий спектр вариантов использования, таких как DeFi на основе данных, zkBridges, привлечение пользователей по цепочке, zkDID и абстракция социальных учетных записей.
Архитектура Бревиса в основном состоит из трех частей:
zkFabric: zkFabric — повторитель архитектуры Brevis. Его основная задача — собрать и синхронизировать информацию о заголовках блоков из всех подключенных блокчейнов и, наконец, сгенерировать консенсусные доказательства для каждого собранного заголовка блока через схему легкого клиента ZK.
zkQueryNet: zkQueryNet — это открытый рынок механизмов запросов ZK, который может напрямую принимать запросы данных из смарт-контрактов в цепочке, а также может генерировать результаты запросов и соответствующие сертификаты запросов ZK через схему механизма запросов ZK. Эти механизмы варьируются от узкоспециализированных (например, расчета объема транзакций на DEX за определенный период времени) до весьма общих абстракций индексов данных и языков запросов высокого уровня, которые удовлетворяют различные потребности приложений.
zkAggregatorRollup: действует как уровень агрегации и хранения для zkFabric и zkQueryNet. Он проверяет доказательства обоих компонентов, сохраняет подтвержденные данные и передает свой корень состояния, защищенный от ZK, во все подключенные блокчейны, позволяя dApps напрямую получать доступ к подтвержденным в бизнес-логике результатам поиска смарт-контрактов в их цепочке.
Благодаря этой модульной архитектуре Brevis может обеспечить надежный, эффективный и гибкий доступ к смарт-контрактам во всех поддерживаемых публичных цепях. Этот проект также принят в версии UNI V4 и интегрирован с Hooks в протоколе (система, которая объединяет пользовательскую логику для различных пользователей) для облегчения чтения исторических данных блокчейна, снижения платы за газ и обеспечения централизованности свойств. Это пример сопроцессора zk, управляющего DEX.
3.5 Лагранж
Lagrange — это совместимый протокол сопроцессора zk, созданный 1kx и Founders Fund. Основная цель протокола — обеспечить надежную межсетевую совместимость и поддержать инновации в приложениях, требующих сложных вычислений больших данных. В отличие от традиционных узловых мостов, межсетевое взаимодействие Lagrange в основном достигается за счет инновационных механизмов ZK Big Data и Государственного комитета.
ZK Big Data: этот продукт является ядром Langrange и в основном отвечает за обработку и проверку перекрестных данных и создание соответствующих сертификатов ZK. Этот компонент включает в себя высокопараллельный сопроцессор ZK для выполнения сложных автономных вычислений и генерации доказательств с нулевым разглашением. Специально разработанная проверяемая база данных поддерживает неограниченное количество слотов хранения и прямые SQL-запросы для смарт-контрактов. Механизм динамического обновления обновляет только измененные точки данных для сокращения. Быстрое подтверждение и интегрированная функциональность, которая позволяет разработчикам получать доступ к историческим данным с помощью SQL-запросов непосредственно из смарт-контрактов без написания сложных схем, вместе образуют крупномасштабную систему обработки и проверки данных блокчейна.
Государственный комитет: Этот компонент представляет собой децентрализованную сеть проверки, состоящую из нескольких независимых узлов, каждый узел предоставляет ETH в качестве залога. Эти узлы служат легкими клиентами ZK и предназначены для проверки статуса конкретных накопительных пакетов оптимизации. Государственный комитет интегрируется с AVS EigenLayer, использует механизм тяжелого залога для повышения безопасности, поддерживает участие неограниченного количества узлов и достигает сверхлинейного роста безопасности. Он также предоставляет «быстрый режим», который позволяет пользователям выполнять операции между цепочками, не дожидаясь окна вызова, что значительно улучшает взаимодействие с пользователем. Комбинация этих двух технологий позволяет Lagrange эффективно обрабатывать крупномасштабные данные, выполнять сложные вычисления, а также безопасно передавать и проверять результаты между различными блокчейнами, обеспечивая поддержку разработки сложных кросс-чейн-приложений.
Lagrange в настоящее время интегрирован с EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer и т. д., а также будет связан с экосистемой Ethereum как первый ZK AVS.
Рекомендации
1.ABCDE: Глубокое погружение в сопроцессор ZK и его будущее: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. «ZK» — это все, что вам нужно: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3. Нулевой риск: https://www.risczero.com/bonsai
4. Лагранж: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.Блог Axiom: https://blog.axiom.xyz/
6. Азот ускоряет! Как сопроцессор ZK преодолевает барьеры данных смарт-контрактов: https://foresightnews.pro/article/detail/48239
