➥ GPU-слой для блокчейнов - ZK сопроцессоры Блокчейны перемещают ценность, а не вычисления. Когда контракты выполняют сложную логику или запросы данных, они сталкиваются с газовой стеной. ZK сопроцессоры это исправляют. Они действуют как GPU-слой для блокчейнов, выполняя вычисления вне цепи и подтверждая результаты в цепи. Позвольте мне объяснить за 30 секунд 🧵 — — — ► Что такое ZK сопроцессоры? ZK сопроцессоры - это вычислительные слои вне цепи, которые позволяют смарт-контрактам обрабатывать сложную логику без высоких затрат на газ или проблем с доверием. Они выполняют задачи вне цепи, генерируют доказательства с нулевым знанием и позволяют цепи проверять их дешево. Короче говоря, они масштабируют вычисления, оставаясь при этом проверяемыми. Основные функции: ➤ Выполнение вне цепи: Выполняет тяжелые нагрузки, такие как запросы данных или выводы AI. ➤ Доказательство корректности: Каждый результат включает ZK-доказательство, проверенное в цепи. ➤ Без состояния и независимые от цепи: Работает на всех L1, L2 и роллапах. ➤ Экономически эффективно: Снижает затраты на газ и задержки. — ► Где подходят ZK сопроцессоры ZK сопроцессоры не являются роллапами или оракулами; они дополняют их. Они находятся рядом с блокчейнами как вычислительный слой, который проверяет работу без добавления перегрузки. Как они отличаются: ➤ Роллап: Масштабирует транзакции и сохраняет состояние. Сопроцессоры масштабируют вычисления и остаются без состояния. ➤ Оракулы: Доставляют данные без доказательства. Сопроцессоры возвращают данные с доказательствами. ➤ TEE: Полагаются на доверенное оборудование. Сопроцессоры проверяют через математику, а не машины. Вместе они расширяют модульный стек, роллап перемещает данные, оракулы их извлекают, сопроцессоры их подтверждают. — ► Как работают ZK сопроцессоры Рабочий процесс: Смарт-контракт → ZK сопроцессор → Генерация доказательства → Проверка в цепи Шаг за шагом: ➤ Смарт-контракт: Отправляет запрос на выполнение тяжелой задачи, такой как извлечение данных или запуск модели AI. ➤ ZK сопроцессор: Выполняет вычисления вне цепи, чтобы избежать затрат на газ и задержек. ➤ Генерация доказательства: Создает ZK-доказательство, что вычисление было корректным. ➤ Проверка в цепи: Контракт проверяет доказательство и обновляет результаты. — ► Ведущие проекты ZK сопроцессоров ➤ Lagrange ( @LagrangeDev ) Предоставляет ZK сопроцессор на основе SQL с комитетами легких клиентов для быстрых кросс-цепочных запросов с окончательной проверкой. Используется @eigenlayer, @Mantle_Official и @base для проверяемой интероперабельности. ➤ Space and Time ( @SpaceandTimeDB ) Предоставляет сопроцессор Proof-of-SQL, позволяющий проверяемые запросы на данных в цепи и вне цепи. Используется @chainlink и корпоративными партнерами для масштабируемой аналитики и оракульных данных. ➤ RISC Zero ( @RiscZero ) Предоставляет RISC-V zkVM с сервисом доказательства Bonsai для общих проверяемых вычислений. Используется @citrea_xyz и @PhalaNetwork для доказательств доверенного выполнения. ➤ Brevis ( @brevis_zk ) Предоставляет программируемый ZK сопроцессор для кросс-цепочных запросов и доверенных кросс-цепочных данных. Используется @Uniswap V4 Hooks и @LineaBuild Ignition. ➤ Giza ( @Gizatechxyz ) Предоставляет фреймворк zkML, который преобразует модели AI в форму, проверяемую с нулевым знанием. Используется проектами AI на базе @Starknet для обнаружения мошенничества и управления активами. ➤ =nil; Foundation ( @nil_foundation ) Предоставляет компилятор zkLLVM и рынок доказательств для преобразования стандартного кода в доказуемые схемы. Используется мостами, роллапами и финансовыми протоколами для генерации доказательств. ➤ Boundless ( @BoundlessXYZ ) Предоставляет программируемые ZK сопроцессоры для доступа к историческому состоянию и кросс-цепочных вычислений. Используется партнерскими роллапами для индексирования данных и механизмов стимулов. ➤ Succinct ( @SuccinctLabs ) Предоставляет SP1 zkVM и децентрализованную сеть доказателей для действительных доказательств. Используется @Mantle_Official для замены доказательств мошенничества и сокращения времени вывода с семи дней до шести часов. ➤ Axiom ( @axiom_xyz ) Предоставляет API доказательства и OpenVM для запроса исторических данных @ethereum вне цепи и их проверки в цепи. Используется @Scroll_ZKP для финализации блоков и сокращения задержки вывода. — ► Риски и компромиссы ➤ Высокие затраты на доказательства: Доказательства требуют мощного оборудования и длительных вычислений. ➤ Сложная разработка: Требует экспертизы в области криптографии и специализированных инструментов. ➤ Риск централизации: Ранние сети доказателей зависят от нескольких узлов. ➤ Быстрые циклы аппаратного обеспечения: Оборудование быстро развивается, что делает настройки дорогими и недолговечными. — ► Заключение ZK сопроцессоры устраняют главную узкую горлышко блокчейна — вычисления. Они превращают медленную, дорогую логику в масштабируемое, проверяемое выполнение для сложных смарт-контрактов. По мере улучшения аппаратного обеспечения и децентрализации сетей доказателей, затраты на доказательства снизятся, а производительность возрастет. Строители в DeFi, роллапах, AI и системах намерений используют их для внедрения проверяемых вычислений в модульные блокчейны.

Отметил своих друзей, которые меняют нарратив и поднимают разговор. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Отказ от ответственности