ZK сопроцессор: создание моста к масштабным приложениям Web3
В области традиционных компьютеров сопроцессоры отвечают за выполнение других сложных задач для ЦПУ. К распространённым сопроцессорам относятся процессор движения M7 от Apple и GPU от Nvidia. Сопроцессоры могут разгружать сложный код с высокими требованиями к производительности, позволяя ЦПУ обрабатывать более гибкие и разнообразные части.
На цепочке Ethereum существуют две серьезные проблемы, ограничивающие развитие приложений:
Высокие комиссии за Gas ограничивают область разработки приложений на блокчейне.
Умные контракты могут получать доступ только к данным недавних блоков, что затрудняет появление инновационных приложений на основе данных.
Эти два вопроса серьезно ограничивают появление продуктов "масштабного применения". ZK-копроцессор может служить вспомогательным процессором Ethereum, обрабатывая вычислительные и ресурсоемкие задачи, что позволяет решить эти проблемы.
Применение ZK-сопроцессора очень широко, он почти может охватить все реальные сценарии dapp-приложений, такие как социальные сети, игры, DeFi, системы управления рисками, хранение данных, обучение больших моделей и т.д. Теоретически функции, которые могут быть реализованы в приложениях Web2, могут быть реализованы с помощью ZK-сопроцессора на блокчейне, одновременно используя Ethereum в качестве расчетного уровня для защиты безопасности приложений.
В настоящее время известные проекты сопроцессоров в отрасли в основном делятся на три категории: индексирование данных на цепи, оракулы и ZKML. Среди них универсальный ZK сопроцессор (General-ZKM) может охватывать все эти сценарии применения.
Универсальная архитектура ZK-сопроцессора
Анализ технической архитектуры универсального ZK сопроцессора на примере Risc Zero, Lagrange и Succinct:
Risc Zero
ZK-копроцессор Risc Zero называется Bonsai и представляет собой набор компонентов нулевых знаний, не зависящих от цепочки. Его основные функции включают:
Универсальная zkVM, может запускать любую виртуальную машину в среде с нулевыми знаниями/проверяемой.
Система генерации ZK-доказательств, которую можно напрямую интегрировать в смарт-контракты или блокчейн.
Универсальный rollup может распределять вычисления, подтвержденные на Bonsai, на цепь.
Компоненты Bonsai включают в себя сеть доказателей, пул запросов, движок Rollup, центр зеркал, хранилище состояний и рынок доказательств и т.д.
Лагранж
Lagrange нацелен на создание сопроцессоров и проверяемых баз данных, включая исторические данные блокчейна, для поддержки разработки вычислительно и данных интенсифицированных приложений. Его основные функции:
Проверяемая база данных: хранение индексированных смарт-контрактов на блокчейне, реконструкция хранения блокчейна, состояния и блоков.
Вычисления на основе принципов MapReduce: использование параллельных вычислений с разделением данных на несколько экземпляров.
Лагранж разработал новую структуру хранения контрактов, состояния аккаунта и данных блоков для поддержки доказательств SNARK/STARK. Его виртуальная машина ZKMR выполняет распределенные вычисления и объединение доказательств через два шага: Map и Reduce.
Сжатый
Цель Succinct Network заключается в интеграции программируемых фактов во все части стека разработки блокчейна. Его отличительной чертой является совместимость с различными системами доказательств на рынке.
Succinct оффлайн ZKVM называется SP(Succinct Processor), поддерживает такие языки, как Rust и другие языки LLVM. Его ключевые особенности включают:
Технология рекурсивного доказательства на основе STARKs
Обертка от SNARKs до STARKs
Централизованная архитектура zkVM с предварительной компиляцией
Сходства и различия между сопроцессорами и Layer2
В отличие от ориентированного на пользователя Layer2, сопроцессор ориентирован на приложения и может использоваться в качестве компонента ускорения или модульного компонента для:
Виртуальная машина вне цепи ZK Layer2
Оффлайновая вычислительная мощность приложений публичной цепи
Кросс-чейн данные оракула
Передача сообщений через межсетевой мост
Копроцессор принес потенциал для синхронизации данных в реальном времени по всей цепочке и высокопроизводительных, недорогих надежных вычислений, что позволяет реконструировать большую часть промежуточного ПО блокчейна.
! [Почему ZK — это конец игры?] ](https://img-cdn.gateio.im/webp-social/moments-f3a3381c195d9b402239451466aaa952.webp)
Проблемы, с которыми сталкивается сопроцессор
Высокий порог входа для разработчиков
На ранних стадиях трассы, структура неясна
Аппаратные и другие предварительные условия не выполнены
Технические пути схожи, сложно сформировать технический барьер.
Итоги и перспективы
ZK-копрограммный процессор, вероятно, изменит парадигму разработки приложений Web3, обеспечив полностью проверяемую базу данных в реальном времени и недорогие вычисления вне цепи. Реализация ZK-вычислительных чипов является предпосылкой для масштабируемого коммерческого применения. Ожидается, что в следующем цикле ZK-промышленная цепочка будет коммерциализирована, по-настоящему поддерживая цепочные взаимодействия на уровне 1 миллиарда пользователей.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
8 Лайков
Награда
8
5
Репост
Поделиться
комментарий
0/400
consensus_whisperer
· 08-09 18:13
Эта газовая плата слишком высокая, забудь об этом.
Посмотреть ОригиналОтветить0
GasWastingMaximalist
· 08-09 18:05
GasWastingMaximalist: Дерзнешь ли ты поднять настоящую цепочку? Понимающие поймут.
ZK сопроцессор: преодоление瓶颈 Ethereum, открытие новой эры масштабных приложений Web3
ZK сопроцессор: создание моста к масштабным приложениям Web3
В области традиционных компьютеров сопроцессоры отвечают за выполнение других сложных задач для ЦПУ. К распространённым сопроцессорам относятся процессор движения M7 от Apple и GPU от Nvidia. Сопроцессоры могут разгружать сложный код с высокими требованиями к производительности, позволяя ЦПУ обрабатывать более гибкие и разнообразные части.
На цепочке Ethereum существуют две серьезные проблемы, ограничивающие развитие приложений:
Эти два вопроса серьезно ограничивают появление продуктов "масштабного применения". ZK-копроцессор может служить вспомогательным процессором Ethereum, обрабатывая вычислительные и ресурсоемкие задачи, что позволяет решить эти проблемы.
Применение ZK-сопроцессора очень широко, он почти может охватить все реальные сценарии dapp-приложений, такие как социальные сети, игры, DeFi, системы управления рисками, хранение данных, обучение больших моделей и т.д. Теоретически функции, которые могут быть реализованы в приложениях Web2, могут быть реализованы с помощью ZK-сопроцессора на блокчейне, одновременно используя Ethereum в качестве расчетного уровня для защиты безопасности приложений.
В настоящее время известные проекты сопроцессоров в отрасли в основном делятся на три категории: индексирование данных на цепи, оракулы и ZKML. Среди них универсальный ZK сопроцессор (General-ZKM) может охватывать все эти сценарии применения.
Универсальная архитектура ZK-сопроцессора
Анализ технической архитектуры универсального ZK сопроцессора на примере Risc Zero, Lagrange и Succinct:
Risc Zero
ZK-копроцессор Risc Zero называется Bonsai и представляет собой набор компонентов нулевых знаний, не зависящих от цепочки. Его основные функции включают:
Компоненты Bonsai включают в себя сеть доказателей, пул запросов, движок Rollup, центр зеркал, хранилище состояний и рынок доказательств и т.д.
Лагранж
Lagrange нацелен на создание сопроцессоров и проверяемых баз данных, включая исторические данные блокчейна, для поддержки разработки вычислительно и данных интенсифицированных приложений. Его основные функции:
Лагранж разработал новую структуру хранения контрактов, состояния аккаунта и данных блоков для поддержки доказательств SNARK/STARK. Его виртуальная машина ZKMR выполняет распределенные вычисления и объединение доказательств через два шага: Map и Reduce.
Сжатый
Цель Succinct Network заключается в интеграции программируемых фактов во все части стека разработки блокчейна. Его отличительной чертой является совместимость с различными системами доказательств на рынке.
Succinct оффлайн ZKVM называется SP(Succinct Processor), поддерживает такие языки, как Rust и другие языки LLVM. Его ключевые особенности включают:
Сходства и различия между сопроцессорами и Layer2
В отличие от ориентированного на пользователя Layer2, сопроцессор ориентирован на приложения и может использоваться в качестве компонента ускорения или модульного компонента для:
Копроцессор принес потенциал для синхронизации данных в реальном времени по всей цепочке и высокопроизводительных, недорогих надежных вычислений, что позволяет реконструировать большую часть промежуточного ПО блокчейна.
! [Почему ZK — это конец игры?] ](https://img-cdn.gateio.im/webp-social/moments-f3a3381c195d9b402239451466aaa952.webp)
Проблемы, с которыми сталкивается сопроцессор
Итоги и перспективы
ZK-копрограммный процессор, вероятно, изменит парадигму разработки приложений Web3, обеспечив полностью проверяемую базу данных в реальном времени и недорогие вычисления вне цепи. Реализация ZK-вычислительных чипов является предпосылкой для масштабируемого коммерческого применения. Ожидается, что в следующем цикле ZK-промышленная цепочка будет коммерциализирована, по-настоящему поддерживая цепочные взаимодействия на уровне 1 миллиарда пользователей.