На данный момент, когда проверяемые вычисления становятся центром повествования в индустрии, RISC Zero использует более универсальную и открытую архитектуру вычислений с нулевыми знаниями, чтобы переосмыслить эффективность и границы доверия блокчейна. Благодаря первой в отрасли универсальной zkVM на базе RISC-V и кросс-чейн уровню проверяемых вычислений Boundless, эта команда гиков пытается вывести доказательства с нулевыми знаниями из узкоспециализированного инструмента на масштабируемую облачную вычислительную мощность, пытаясь оснастить децентрализованный интернет проверяемым "супервычислительным движком".
Недавно соучредитель Ethereum Виталик Бутерин предложил значительно изменить уровень исполнения сети Ethereum: заменить существующий байт-код Ethereum Virtual Machine (EVM) на набор инструкций RISC-V. Новый план не изменит основные функции таких как учетные записи, хранилище и другие смарт-контракты, но коренным образом изменит способ компиляции и работы кода контрактов. В некотором смысле, предложение Виталика является не только обновлением стандартизации и компоновки уровня исполнения Ethereum, но и вновь выводит на передний план "проверяемые вычисления", которые когда-то считались дорогими и экспериментальными технологиями.
Один, RISC Zero: Пионер универсального zkVM
На пути эволюции верифицируемых вычислений компания RISC Zero из США является одним из самых ранних и наиболее знаковых практиков. Они не только разработали первую в индустрии универсальную zkVM на основе той же архитектуры RISC-V, но и создали Boundless, уровень верифицируемых вычислений, пытаясь преобразовать нулевое знание из инструмента для одной точки в кросс-чейн, совместно используемый и коммерциализируемый "облачный вычислительный потенциал". Это означает, что в будущем разработчики больше не будут ограничены высокими затратами на Gas в цепочке или ограничениями самого EVM, а смогут вызывать практически неограниченные ресурсы верифицируемых вычислений на любой блокчейн.
В настоящее время бета-версия основной сети Boundless уже запущена. Генеральный директор Шив Шанкар заявил: «Boundless обеспечивает безопасные кросс-чейн вычисления, избегая повторяющихся вычислительных задач, тем самым повышая масштабируемость блокчейна. Это не только повышает эффективность и усиливает безопасность, но и позволяет разработчикам и майнерам участвовать в разных экосистемах.» Исследователь фонда Ethereum Джастин Дрейк отметил: «Поддерживающий экосистему Boundless RISC Zero zkVM удовлетворяет всем ключевым требованиям масштабирования Ethereum: мгновенные доказательства, домашняя среда верификации с несколькими GPU, свободная лицензия с открытым исходным кодом и реализация с нуля на уровне платформы.»
Всего за несколько дней на бета-версии основной сети Boundless этот первый рынок верификации консенсуса Ethereum достиг размера в 10 раз больше текущей максимальной верификации (30 миллиардов) (500 миллиардов); 576 доказателей успешно подали доказательства, что делает его самой децентрализованной сетью доказателей в мире; размер рынка увеличился в 10 раз, максимальное количество заказов в день достигло 8000, вычислительное количество циклов достигло 2.6 триллиона, практически без сбоев, каждый день выполняется более 99% заказов; один внешний доказатель обновил новый рекорд скорости, достигнув 5.63 МГц, что значительно превышает предыдущие 2.5 МГц; заказы почти всегда остаются на уровне 0 заблокированных заказов, что дает нам возможность заранее увидеть потенциальное влияние POWV (доказательство работы) на внедрение ZK-доказательств в начале запуска основной сети; открытые инновации между доказателями уже начались, одной из ярких особенностей является то, что доказатели могут блокировать задачи в одном и том же блоке со скоростью менее 100 миллисекунд.
Два. Принцип работы и проектные прорывы Boundless
На пути эволюции нулевых знаний из одноточечного инструмента в универсальный вычислительный слой ключевым прорывом Boundless стало преобразование проверяемых вычислений из изолированной технологической способности в рыночную, составляемую на базе инфраструктуры на цепочке.
Конкретно, в核心 логике Boundless есть три основных элемента: универсальная zkVM, кросс-чейн протокол верификации и экономическая модель PoVW (Доказательство Проверяемой Работы).
Универсальная zkVM: Базовая платформа Boundless опирается на разработанную RISC Zero zkVM (R0VM 2.0), которая основана на открытом стандарте архитектуры RISC-V и может выполнять любые универсальные программы, а также генерировать проверяемые zk-SNARKs. Это означает, что независимо от того, являются ли это EVM смарт-контрактами, Rollup состоянием доказательства или сложными вычислениями вне сети, все это может быть обработано zkVM для генерации доказательства действительности, которое затем быстро проверяется смарт-контрактом на цепи, а весь процесс остается прозрачным как для конечных пользователей, так и для основной цепи.
Кросс-чейн верификационный протокол: Boundless не ограничивается одной цепочкой, а с самого начала был разработан как нативный кросс-чейн: он создает безразрешительный рынок расчетов, одновременно развертывая контракты Boundless Market на нескольких цепочках, автоматически сопоставляя потребности разработчиков в доказательствах с вычислительными ресурсами узлов Prover по всему миру. Более важно, что Boundless Market был нативно развернут на всех основных цепочках, и разработчики не обязаны покидать знакомую им экосистему, они могут просто взаимодействовать с адресами местных контрактов, оплачивать услуги с помощью нативных токенов своей цепочки и мгновенно получать проверяемые вычислительные доказательства. Такой дизайн кросс-чейн децентрализованного рынка значительно снижает барьеры для доступа, позволяя проверяемым вычислениям действительно стать доступными, как облачные услуги, ресурсами, которые можно распределять, рассчитывать и комбинировать на блокчейне.
Механизм стимулов PoVW: Самая прорывная часть заключается в механизме стимулов PoVW. В отличие от PoW, который вознаграждает только за хеширование, и PoS, который вознаграждает за неактивный капитал, PoVW впервые коммерциализирует реальную вычислительную нагрузку с использованием zk-SNARKs, завершая замкнутый цикл с измерением и оплатой на блокчейне. Чем больше эффективных циклов завершает Prover, тем больше токенов в качестве стимула он получает, соответствующего объему работы, при этом данные измерения полностью записываются на блокчейн и могут быть проверены. Этот механизм не только обеспечивает гибкость поставок вычислительной мощности, но и стимулирует больше узлов к постоянной оптимизации эффективности доказательства и снижению затрат, формируя рынок спроса и предложения проверяемой вычислительной мощности.
Руководитель по продуктам технологий Jacob Everly в интервью с СМИ в марте этого года сообщил, что Международный расчетный банк (BIS) Сингапура уже разработал прототип системы с использованием технологий RISC Zero и Boundless, способную проверять, могут ли трейдеры из Азиатско-Тихоокеанского региона торговать на Сингапурской бирже, не предоставляя свои полные личные данные. Пользователям достаточно загрузить паспорт и номер мобильного телефона, чтобы сгенерировать доказательство с нулевым разглашением (ZKP), подтверждающее их право на торговлю. В настоящее время более 30 команд планируют разрабатывать и разворачивать приложения на Boundless. Jacob Everly сказал: «Наша цель - достичь 100 партнерских команд в следующем году, чтобы сделать Boundless отраслевым стандартом.»
Три. Многомерная техническая карта RISC Zero
Помимо Boundless, RISC Zero также продолжает итерации в области доступности и масштабируемости zk-SNARKs, выпуская ряд ключевых продуктов, что进一步 укрепляет его технологический барьер как универсальной платформы для верифицируемых вычислений.
R0VM 2.0: Новая версия ядра zkVM, которая не только сокращает время доказательства одного блока Ethereum с 35 минут до 44 секунд, но и снижает стоимость доказательства в OP цепи в 5 раз, минимальная стоимость одной транзакции составляет всего 0.0012 доллара США, что значительно снижает барьер для разработчиков для доступа к ZK. Кроме того, версия R0VM 2.0 улучшила поддержку памяти и предварительной компиляции, что позволяет обрабатывать более крупные доказательства EVM и проверяемое медиа-содержимое, и планирует достичь уровня реального времени доказательства в 12 секунд в этом году, что еще больше продвинет децентрализацию от экспериментов к массовому производству. Стоит отметить, что версия R0VM 3.0 также находится в разработке и ожидается, что будет выпущена позже в этом году. Эта версия будет использовать недавно запущенную Ethereum систему доказательства Binius, что еще больше увеличит скорость доказательства.
ZK сопроцессор Steel 2.0: Учитывая ограничения экосистемы EVM, RISC Zero также выпустил ZK сопроцессор Steel 2.0, который может выполнять сложные вычисления, доступ к историческому состоянию и кросс-блоковые вычисления вне цепи, а также обеспечивать безопасную верификацию в цепи с затратами на доказательства от 270000 gas, совместим с Solidity и R0-Helios легким клиентом, что упрощает развертывание в Ethereum и OP Stack.
Модель эффективности OP Kailua: предоставляет возможность плавного перехода от OP Rollup к ZK Rollup без необходимости значительной реконструкции, получая высокую безопасность и быструю ликвидацию, предлагаемую ZK. Проекты, такие как Base и BOB, уже интегрированы, предоставляя экономически эффективные варианты обновления для цепей с высокой пропускной способностью.
Четыре, миссия и амбиции RISC Zero
RISC Zero - это команда, обладающая как духом бунта, так и рациональным стремлением к технологиям. В начале 2022 года, на конференции ETH Denver, несколько членов RISC Zero, держа в руках ткани и простые инструменты, приобретенные в местной типографии, успешно проникли на мероприятие. Именно в ходе этого «вторжения хакеров» они достигли ранних инвестиционных намерений с первой группой инвесторов.
Благодаря этому авантюрному духу, не поддающемуся обычным правилам, и глубокому исследованию технологий zk-SNARKs, RISC Zero продолжает привлекать постоянные инвестиции на капиталовложениях: в марте 2022 года они завершили финансирование на сумму 2 миллиона долларов в рамках ангельского раунда, а в августе того же года получили 12 миллионов долларов в рамках раунда посевного финансирования; в июле 2023 года они успешно привлекли 4 миллиона долларов в новом раунде финансирования.
В отличие от других проектов с нулевым знанием, RISC Zero выбрала более универсальный путь: на основе открытого RISC-V набора команд создать первую в мире zkVM, которая может выполнять произвольный код, позволяя доказательствам с нулевым знанием действительно обладать универсальными вычислительными возможностями и снижая порог для разработки, так что разработчики могут продолжать использовать знакомые инструменты разработки, такие как Rust и другие современные языки, без необходимости беспокоиться о ZK-эффективности и удобстве инструментов.
Сегодня эта небольшая команда, состоящая из гиков и футуристов, пытается создать открытую, кросс-чейн, без разрешений экосистему верифицируемых вычислений на основе zkVM, чтобы предоставить новую основу доверия для децентрализованного Интернета — именно это и является источником и амбициями Boundless.
Заключение:
Boundless — это не просто очередная техническая попытка RISC Zero в области zk-SNARKs, но и реальная практика перехода к открытым рынкам, кросс-чейн сотрудничеству и масштабируемой облачной вычислительной мощности. С продолжающейся эволюцией Boundless и связанных с ним компонентов, таких как zkVM и PoVW, этот эксперимент вокруг «проверяемого децентрализованного суперкомпьютера» возможно открывает для мира Блокчейн более универсальный и амбициозный путь вычислительной мощности.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Эфир RISC-V становится предметом обсуждения: RISC Zero создает универсальную zkVM, Boundless открывает новую эру верифицируемых вычислений.
На данный момент, когда проверяемые вычисления становятся центром повествования в индустрии, RISC Zero использует более универсальную и открытую архитектуру вычислений с нулевыми знаниями, чтобы переосмыслить эффективность и границы доверия блокчейна. Благодаря первой в отрасли универсальной zkVM на базе RISC-V и кросс-чейн уровню проверяемых вычислений Boundless, эта команда гиков пытается вывести доказательства с нулевыми знаниями из узкоспециализированного инструмента на масштабируемую облачную вычислительную мощность, пытаясь оснастить децентрализованный интернет проверяемым "супервычислительным движком".
Недавно соучредитель Ethereum Виталик Бутерин предложил значительно изменить уровень исполнения сети Ethereum: заменить существующий байт-код Ethereum Virtual Machine (EVM) на набор инструкций RISC-V. Новый план не изменит основные функции таких как учетные записи, хранилище и другие смарт-контракты, но коренным образом изменит способ компиляции и работы кода контрактов. В некотором смысле, предложение Виталика является не только обновлением стандартизации и компоновки уровня исполнения Ethereum, но и вновь выводит на передний план "проверяемые вычисления", которые когда-то считались дорогими и экспериментальными технологиями.
Один, RISC Zero: Пионер универсального zkVM
На пути эволюции верифицируемых вычислений компания RISC Zero из США является одним из самых ранних и наиболее знаковых практиков. Они не только разработали первую в индустрии универсальную zkVM на основе той же архитектуры RISC-V, но и создали Boundless, уровень верифицируемых вычислений, пытаясь преобразовать нулевое знание из инструмента для одной точки в кросс-чейн, совместно используемый и коммерциализируемый "облачный вычислительный потенциал". Это означает, что в будущем разработчики больше не будут ограничены высокими затратами на Gas в цепочке или ограничениями самого EVM, а смогут вызывать практически неограниченные ресурсы верифицируемых вычислений на любой блокчейн.
В настоящее время бета-версия основной сети Boundless уже запущена. Генеральный директор Шив Шанкар заявил: «Boundless обеспечивает безопасные кросс-чейн вычисления, избегая повторяющихся вычислительных задач, тем самым повышая масштабируемость блокчейна. Это не только повышает эффективность и усиливает безопасность, но и позволяет разработчикам и майнерам участвовать в разных экосистемах.» Исследователь фонда Ethereum Джастин Дрейк отметил: «Поддерживающий экосистему Boundless RISC Zero zkVM удовлетворяет всем ключевым требованиям масштабирования Ethereum: мгновенные доказательства, домашняя среда верификации с несколькими GPU, свободная лицензия с открытым исходным кодом и реализация с нуля на уровне платформы.»
Всего за несколько дней на бета-версии основной сети Boundless этот первый рынок верификации консенсуса Ethereum достиг размера в 10 раз больше текущей максимальной верификации (30 миллиардов) (500 миллиардов); 576 доказателей успешно подали доказательства, что делает его самой децентрализованной сетью доказателей в мире; размер рынка увеличился в 10 раз, максимальное количество заказов в день достигло 8000, вычислительное количество циклов достигло 2.6 триллиона, практически без сбоев, каждый день выполняется более 99% заказов; один внешний доказатель обновил новый рекорд скорости, достигнув 5.63 МГц, что значительно превышает предыдущие 2.5 МГц; заказы почти всегда остаются на уровне 0 заблокированных заказов, что дает нам возможность заранее увидеть потенциальное влияние POWV (доказательство работы) на внедрение ZK-доказательств в начале запуска основной сети; открытые инновации между доказателями уже начались, одной из ярких особенностей является то, что доказатели могут блокировать задачи в одном и том же блоке со скоростью менее 100 миллисекунд.
Два. Принцип работы и проектные прорывы Boundless
На пути эволюции нулевых знаний из одноточечного инструмента в универсальный вычислительный слой ключевым прорывом Boundless стало преобразование проверяемых вычислений из изолированной технологической способности в рыночную, составляемую на базе инфраструктуры на цепочке.
Конкретно, в核心 логике Boundless есть три основных элемента: универсальная zkVM, кросс-чейн протокол верификации и экономическая модель PoVW (Доказательство Проверяемой Работы).
Универсальная zkVM: Базовая платформа Boundless опирается на разработанную RISC Zero zkVM (R0VM 2.0), которая основана на открытом стандарте архитектуры RISC-V и может выполнять любые универсальные программы, а также генерировать проверяемые zk-SNARKs. Это означает, что независимо от того, являются ли это EVM смарт-контрактами, Rollup состоянием доказательства или сложными вычислениями вне сети, все это может быть обработано zkVM для генерации доказательства действительности, которое затем быстро проверяется смарт-контрактом на цепи, а весь процесс остается прозрачным как для конечных пользователей, так и для основной цепи.
Кросс-чейн верификационный протокол: Boundless не ограничивается одной цепочкой, а с самого начала был разработан как нативный кросс-чейн: он создает безразрешительный рынок расчетов, одновременно развертывая контракты Boundless Market на нескольких цепочках, автоматически сопоставляя потребности разработчиков в доказательствах с вычислительными ресурсами узлов Prover по всему миру. Более важно, что Boundless Market был нативно развернут на всех основных цепочках, и разработчики не обязаны покидать знакомую им экосистему, они могут просто взаимодействовать с адресами местных контрактов, оплачивать услуги с помощью нативных токенов своей цепочки и мгновенно получать проверяемые вычислительные доказательства. Такой дизайн кросс-чейн децентрализованного рынка значительно снижает барьеры для доступа, позволяя проверяемым вычислениям действительно стать доступными, как облачные услуги, ресурсами, которые можно распределять, рассчитывать и комбинировать на блокчейне.
Механизм стимулов PoVW: Самая прорывная часть заключается в механизме стимулов PoVW. В отличие от PoW, который вознаграждает только за хеширование, и PoS, который вознаграждает за неактивный капитал, PoVW впервые коммерциализирует реальную вычислительную нагрузку с использованием zk-SNARKs, завершая замкнутый цикл с измерением и оплатой на блокчейне. Чем больше эффективных циклов завершает Prover, тем больше токенов в качестве стимула он получает, соответствующего объему работы, при этом данные измерения полностью записываются на блокчейн и могут быть проверены. Этот механизм не только обеспечивает гибкость поставок вычислительной мощности, но и стимулирует больше узлов к постоянной оптимизации эффективности доказательства и снижению затрат, формируя рынок спроса и предложения проверяемой вычислительной мощности.
Руководитель по продуктам технологий Jacob Everly в интервью с СМИ в марте этого года сообщил, что Международный расчетный банк (BIS) Сингапура уже разработал прототип системы с использованием технологий RISC Zero и Boundless, способную проверять, могут ли трейдеры из Азиатско-Тихоокеанского региона торговать на Сингапурской бирже, не предоставляя свои полные личные данные. Пользователям достаточно загрузить паспорт и номер мобильного телефона, чтобы сгенерировать доказательство с нулевым разглашением (ZKP), подтверждающее их право на торговлю. В настоящее время более 30 команд планируют разрабатывать и разворачивать приложения на Boundless. Jacob Everly сказал: «Наша цель - достичь 100 партнерских команд в следующем году, чтобы сделать Boundless отраслевым стандартом.»
Три. Многомерная техническая карта RISC Zero
Помимо Boundless, RISC Zero также продолжает итерации в области доступности и масштабируемости zk-SNARKs, выпуская ряд ключевых продуктов, что进一步 укрепляет его технологический барьер как универсальной платформы для верифицируемых вычислений.
R0VM 2.0: Новая версия ядра zkVM, которая не только сокращает время доказательства одного блока Ethereum с 35 минут до 44 секунд, но и снижает стоимость доказательства в OP цепи в 5 раз, минимальная стоимость одной транзакции составляет всего 0.0012 доллара США, что значительно снижает барьер для разработчиков для доступа к ZK. Кроме того, версия R0VM 2.0 улучшила поддержку памяти и предварительной компиляции, что позволяет обрабатывать более крупные доказательства EVM и проверяемое медиа-содержимое, и планирует достичь уровня реального времени доказательства в 12 секунд в этом году, что еще больше продвинет децентрализацию от экспериментов к массовому производству. Стоит отметить, что версия R0VM 3.0 также находится в разработке и ожидается, что будет выпущена позже в этом году. Эта версия будет использовать недавно запущенную Ethereum систему доказательства Binius, что еще больше увеличит скорость доказательства.
ZK сопроцессор Steel 2.0: Учитывая ограничения экосистемы EVM, RISC Zero также выпустил ZK сопроцессор Steel 2.0, который может выполнять сложные вычисления, доступ к историческому состоянию и кросс-блоковые вычисления вне цепи, а также обеспечивать безопасную верификацию в цепи с затратами на доказательства от 270000 gas, совместим с Solidity и R0-Helios легким клиентом, что упрощает развертывание в Ethereum и OP Stack.
Модель эффективности OP Kailua: предоставляет возможность плавного перехода от OP Rollup к ZK Rollup без необходимости значительной реконструкции, получая высокую безопасность и быструю ликвидацию, предлагаемую ZK. Проекты, такие как Base и BOB, уже интегрированы, предоставляя экономически эффективные варианты обновления для цепей с высокой пропускной способностью.
Четыре, миссия и амбиции RISC Zero
RISC Zero - это команда, обладающая как духом бунта, так и рациональным стремлением к технологиям. В начале 2022 года, на конференции ETH Denver, несколько членов RISC Zero, держа в руках ткани и простые инструменты, приобретенные в местной типографии, успешно проникли на мероприятие. Именно в ходе этого «вторжения хакеров» они достигли ранних инвестиционных намерений с первой группой инвесторов.
Благодаря этому авантюрному духу, не поддающемуся обычным правилам, и глубокому исследованию технологий zk-SNARKs, RISC Zero продолжает привлекать постоянные инвестиции на капиталовложениях: в марте 2022 года они завершили финансирование на сумму 2 миллиона долларов в рамках ангельского раунда, а в августе того же года получили 12 миллионов долларов в рамках раунда посевного финансирования; в июле 2023 года они успешно привлекли 4 миллиона долларов в новом раунде финансирования.
В отличие от других проектов с нулевым знанием, RISC Zero выбрала более универсальный путь: на основе открытого RISC-V набора команд создать первую в мире zkVM, которая может выполнять произвольный код, позволяя доказательствам с нулевым знанием действительно обладать универсальными вычислительными возможностями и снижая порог для разработки, так что разработчики могут продолжать использовать знакомые инструменты разработки, такие как Rust и другие современные языки, без необходимости беспокоиться о ZK-эффективности и удобстве инструментов.
Сегодня эта небольшая команда, состоящая из гиков и футуристов, пытается создать открытую, кросс-чейн, без разрешений экосистему верифицируемых вычислений на основе zkVM, чтобы предоставить новую основу доверия для децентрализованного Интернета — именно это и является источником и амбициями Boundless.
Заключение:
Boundless — это не просто очередная техническая попытка RISC Zero в области zk-SNARKs, но и реальная практика перехода к открытым рынкам, кросс-чейн сотрудничеству и масштабируемой облачной вычислительной мощности. С продолжающейся эволюцией Boundless и связанных с ним компонентов, таких как zkVM и PoVW, этот эксперимент вокруг «проверяемого децентрализованного суперкомпьютера» возможно открывает для мира Блокчейн более универсальный и амбициозный путь вычислительной мощности.