От zkVM к открытому рынку доказательств: анализ RISC Zero и Boundless

Автор: 0xjacobzhao

В блокчейн-индустрии криптография служит фундаментальной основой безопасности и доверия. В частности, доказательства с нулевым разглашением (ZK) позволяют сжимать произвольные сложные оффчейн-вычисления в компактные доказательства и эффективно верифицировать их в сети без необходимости полагаться на доверие третьих лиц, а также выборочно скрывать входные данные для обеспечения конфиденциальности. Обладая сочетанием высокой эффективности проверки, универсальности и поддержки приватности, технология ZK стала ключевым решением для задач масштабирования, обеспечения конфиденциальности данных и межсетевого взаимодействия. Несмотря на существующие вызовы, включая высокие издержки на генерацию доказательств и сложность написания цепей, техническая реализуемость и уровень практического внедрения ZK значительно превосходят альтернативные подходы, сделав её наиболее широко применяемым фреймворком для доверенных вычислений.

I. История развития направления ZK

Развитие технологии доказательств с нулевым разглашением (ZK) не произошло мгновенно, а прошло через десятилетия теоретических накоплений и инженерных изысканий. Весь процесс можно условно разделить на несколько ключевых этапов:

1. Период теоретического фундаментального фундамента и технологических прорывов (1980-е–2010-е гг.) Концепция ZK была предложена учёными MIT Шафи Голдвайсер, Сильвио Микали и Чарльзом Рэккофом и изначально оставалась в рамках теории интерактивных доказательств. В 2010-е годы с появлением невзаимодействующих доказательств с нулевым разглашением (NIZK) и zk-SNARK эффективность доказательств существенно выросла, однако на ранних этапах всё ещё требовались доверительные настройки.

2. Применение в блокчейне (конец 2010-х) Zcash внедрил zk-SNARK для приватных платежей, что стало первым крупным практическим внедрением в блокчейне. Однако из-за высоких издержек на генерацию доказательств реальные сценарии применения оставались ограниченными.

3. Взрывной рост и расширение (2020-е годы – настоящее время) В этот период технологии ZK полностью вышли в индустриальный мейнстрим:

• ZK Rollup: Реализует высокую пропускную способность и наследование безопасности за счёт пакетных оффчейн-вычислений и ончейн-верификации, став основным направлением масштабирования Layer 2.

• zk-STARKs: Компания StarkWare выпустила zk-STARK, устранив необходимость доверительных настроек и повысив прозрачность и масштабируемость системы.

• zkEVM: Команды Scroll, Taiko, Polygon и другие стремятся к обеспечению доказательств на уровне байт-кода EVM и бесшовному переносу существующих приложений на Solidity.

• Универсальные zkVM: Проекты вроде RISC Zero, Succinct SP1 и Delphinus zkWasm поддерживают верифицируемое выполнение произвольных программ, превращая ZK из инструмента масштабирования в «доверенный центральный процессор».

• zkCoprocessor: Инкапсулирует zkVM в виде сопроцессора, позволяя делегировать сложную логику на сторону (например, RISC Zero Steel, Succinct Coprocessor);

• zkMarketplace: Коммерцизирует вычислительную мощность доказательств, формируя децентрализованную сеть провёров (например, Boundless), что способствует превращению ZK в универсальный вычислительный слой.

На данный момент технология ZK прошла путь от узкоспециализированного криптографического понятия до ключевого модуля блокчейн-инфраструктуры. Она не только поддерживает масштабирование и защиту конфиденциальности, но и демонстрирует стратегическую ценность в таких передовых сценариях, как межсетевое взаимодействие, финансовый комплаенс и искусственный интеллект (ZKML). По мере совершенствования инструментальных цепочек, аппаратного ускорения и сетей доказательства, экосистема ZK быстро движется к масштабируемости и повсеместному распространению.

II. Технологический ландшафт ZK: масштабирование, конфиденциальность и межсетевое взаимодействие

Масштабирование (Scalability), конфиденциальность (Privacy) и межсетевое взаимодействие с целостностью данных (Interoperability & Data Integrity) представляют три базовых сценария применения технологий «доверенных вычислений» ZK, отражающих первоначальные болевые точки блокчейна: недостаточную производительность, отсутствие приватности и проблемы многопользовательского доверия.

• Масштабирование (Scalability) является самым ранним и широко применимым сценарием внедрения ZK. Его основная идея заключается в переносе выполнения транзакций оффчейн и последующей верификации коротких доказательств ончейн, что позволяет существенно повысить TPS и снизить затраты без ущерба для безопасности. Типичные пути включают: zkRollup (zkSync, Scroll, Polygon zkEVM), реализующие масштабирование за счёт сжатия пакетов транзакций; zkEVM, строящие цепи на уровне инструкций EVM для нативной совместимости с Ethereum; а также более универсальные zkVM (RISC Zero, Succinct), поддерживающие верифицируемое делегирование произвольной логики.

• Защита конфиденциальности (Privacy) направлена на подтверждение легитимности транзакций или действий при одновременном избегании раскрытия чувствительных данных. Типичные применения включают: приватные платежи (Zcash, Aztec), обеспечивающие корректность перевода средств без публикации сумм и контрагентов; тайное голосование и управление DAO, позволяющие проводить голосования без раскрытия контента; а также приватные идентификаторы / KYC (zkID, zkKYC), доказывающие лишь факт соответствия критериям без раскрышения дополнительных персональных данных.

• Межсетевое взаимодействие и доказательство данных (Interoperability & Data Integrity) представляют собой ключевой подход ZK к решению проблем доверия в мире множественных блокчейнов. За счёт генерации доказательств состояния другой сети, кроссчейн-взаимодействие может обходиться без централизованных ретрансляторов. Типичные форматы включают zkBridge (доказательство кроссчейн-состояния) и верификацию лёгких клиентов (эффективное подтверждение заголовков блоков исходной сети на целевой сети), среди представителеv которых Polyhedra, Herodotus. Кроме того, ZK широко применяется для доказательств данных и состояний, например, zkQuery/zkSQL от Axiom, Space and Time, или для проверки целостности данных в сценариях IoT и хранения, гарантируя достоверность оффчейн-данных при записи в блокчейн.

Поверх этих трёх базовых сценариев технология ZK в будущем получит потенциал для расширения на более широкие отраслевые применения: включая ИИ (zkML), где генерируются верифицируемые доказательства для вывода или обучения моделей, реализуя концепцию «доверенного ИИ»; финансовый комплаенс, такой как доказательства резервов (PoR), клиринг и аудит, снижающие издержки доверия; а также игры и научные вычисления, гарантирующие достоверность логики и результатов экспериментов в GameFi и DeSci. По сути, это расширение модели «верифицируемые вычисления + доказательства данных» на различные отрасли.

III. За пределами zkEVM:崛起 универсальных zkVM и рынков доказательств

Четырёхуровневая классификация ZK-EVM (Type 1–4), предложенная основателем Ethereum Виталиком Бутериным в 2022 году, выявляет компромиссы между совместимостью и производительностью:

• Type 1 (полное равенство): байт-код полностью идентичен Ethereum L1, стоимость миграции минимальна, но генерация доказательств самая медленная. Представители: Taiko.

• Type 2 (полная совместимость): сохраняет высокую эквивалентность EVM, использует минимум низкоуровневых оптимизаций, обладает максимальной совместимостью. Представители: Scroll, Linea.

• Type 2.5 (квази-совместимость): вносит небольшие изменения в EVM (например, стоимость газа, поддержка преексплойтов), жертвуя частью совместимости ради повышения производительности. Представители: Polygon zkEVM, Kakarot (EVM, работающий на Starknet).

• Type 3 (частичная совместимость): предполагает более глубокие модификации на низком уровне, способно запускать большинство приложений, но не может полностью повторно использовать инфраструктуру Ethereum. Представитель: zkSync Era.

• Type 4 (языковая совместимость): отказывается от совместимости на уровне байт-кода, напрямую компилируя высокоуровневые языки в zkVM, обеспечивает максимальную производительность, но требует воссоздания экосистемы. Представитель: Starknet (Cairo).

Темой текущего этапа стала «война zkRollup», направленная на снятие исполнительного узкого места Ethereum. Однако随之暴露出两大局限:一是 EVM 电路化难度高、证明效率受限，二是 ZK 的潜力远超扩容，可延伸至跨链验证、数据证明甚至 AI 计算。 在此背景下，通用 zkVM 崛起，取代 zkEVM 的「以太坊兼容思维」，转向「链无关的可信计算」。zkVM 基于通用指令集（如 RISC-V、LLVM IR、Wasm），支持 Rust、C/C++ 等语言，允许开发者用成熟生态库构建任意应用逻辑，再通过证明在链上验证。RISC Zero（RISC-V）、Delphinus zkWasm（Wasm）即为典型代表。其意义在于：zkVM 不只是以太坊的扩容工具，而是 ZK 世界的「可信 CPU」。

• Маршрут RISC-V: представленный RISC Zero, непосредственно выбирает открытый универсальный набор инструкций RISC-V в качестве ядра выполнения zkVM. Преимущества: открытая экосистема, простой набор инструкций, удобство для построения цепей, возможность приема результатов компиляции популярных языков вроде Rust, C/C++, идеально подходит для создания «универсального zkCPU». Недостаток: отсутствует нативная совместимость с байт-кодом Ethereum, требует интеграции через режим сопроцессора.

• Маршрут LLVM IR: представлен Succinct SP1. Фронтенд использует LLVM IR для мультиязычной совместимости, бэкенд остается на базе zkVM RISC-V, по факту представляя собой «LLVM фронтенд + RISC-V бэкенд», что более универсально, чем чистый RISC-V, но сложный набор инструкций LLVM IR увеличивает накладные расходы на доказательство.

• Маршрут Wasm: представлен Delphinus zkWasm. Экосистема WebAssembly зрелая, высокий уровень familiarity разработчиков, нативная кроссплатформенность, но относительно сложный набор инструкций Wasm ограничивает производительность доказательств.

При дальнейшем развитии технология ZK движется к модульности и коммерциализации. Сначала zkVM предоставляет универсальную доверенную среду выполнения, выступая в роли «CPU/компилятора» для zero-knowledge вычислений, давая приложениям базовую способность верифицируемых вычислений. Поверх этого zk-coprocessor инкапсулирует zkVM в виде сопроцессора, позволяя сетям вроде EVM делегировать сложные вычислительные задачи оффчейн и возвращать доказательства ZK для верификации ончейн. Типичные примеры включают RISC Zero Steel и Lagrange, их роль можно сравнить с «GPU/сопроцессором». Ещё дальше шагает zkMarketplace, который через децентрализованную сеть осуществляет рыночное распределение задач доказательств: глобальные ноды prover соревнуются в аукционе за выполнение заданий, как Boundless, создающее рынок вычислительной мощности для zero-knowledge вычислений.

Таким образом, стек zero-knowledge технологий постепенно демонстрирует эволюционную цепочку zkVM → zk-coprocessor → zkMarketplace. Эта система标志рует переход доказательств нулевого разглашения от единственного инструмента масштабирования Ethereum к универсальной инфраструктуре доверенных вычислений. В этой цепочке RISC Zero, использующий RISC-V в качестве ядра zkVM, достиг оптимального баланса между «открытостью, эффективностью построения цепей и адаптацией экосистемы». Это позволяет ему предоставлять низкий порог входа для разработчиков, а также через расширенные слои Steel, Bonsai, Boundless трансформировать zkVM в zk-coprocessor и децентрализованный рынок доказательств, открывая более широкие возможности для применений.

IV. Технический маршрут и экосистемный ландшафт RISC Zero

RISC-V представляет собой открытую архитектуру набора инструкций с освобождением от лицензионных отчислений, не контролируемую единым вендором, обладающую естественной децентрализованной природой. Опираясь на эту открытую архитектуру, RISC Zero построил zkVM, совместимый с общими языками вроде Rust, преодолев ограничения Solidity внутри экосистемы Ethereum и позволив разработчикам напрямую компилировать стандартные программы Rust в приложения, способные генерировать доказательства ZK. Такой подход расширил область применения ZK от блокчейн-контрактов к гораздо более широкому полю общих вычислений.

RISC0 zkVM: универсальная среда доверенных вычислений

В отличие от проектов zkEVM, требующих совместимости со сложным набором инструкций EVM, RISC0 zkVM построен на архитектуре RISC-V, отличается большей открытостью и универсальностью. Приложения состоят из Guest Code, компилируемого в ELF-бинарники. Host запускает Executor, фиксируя процесс выполнения (Session). После этого Prover генерирует верифицируемый Receipt, содержащий публичный вывод (Journal) и криптографическое доказательство (Seal). Третьим лицам достаточно проверить Receipt, чтобы подтвердить корректность вычислений, без повторного исполнения.

Выпущенный в апреле 2025 года R0VM 2.0 ознаменовал переход zkVM в эпоху real-time: время генерации доказательства для блока Ethereum сократилось с 35 минут до 44 секунд, стоимость снизилась до 5 раз, объем памяти пользователя увеличен до 3 ГБ, что поддерживает более сложные сценарии применения. Также добавлены два ключевых преексплойта BN254 и BLS12-381, полностью покрывающие основные потребности Ethereum. Важнее всего, R0VM 2.0 внедрил формальную верификацию безопасности, завершив детерминированную проверку большинства цепей RISC-V, с целью достичь первого блокового real-time zkVM (< 12 секунд на доказательство) к июлю 2025 года.

zkCoprocessor Steel: мост для оффчейн-вычислений

Основная идея zkCoprocessor заключается в卸载 сложных вычислительных задач с ончейна на оффчейн для выполнения, с последующим возвратом результата через ZK-доказательства. Смарт-контракту достаточно верифицировать Proof, не пересчитывая всю задачу целиком, что радикально снижает затраты на Gas и снимает исполнительные瓶颈. Например, Steel от RISC0 предоставляет внешние интерфейсы доказательств для Solidity, позволяя делегировать массовые запросы исторических состояний или пакетные кросс-блоковые вычисления, и даже верифицировать десятки блоков Ethereum одним доказательством.

Bonsai: высокоскоростной сервис доказательств в формате SaaS

Для удовлетворения корпоративных потребностей RISC Zero представила Bonsai — официально хостимую платформу Prover-as-a-Service, распределяющую задачи доказательств через GPU-кластеры, позволяя разработчикам получать высокопроизводительные доказательства без самостоятельного развертывания железа. Параллельно RISC Zero предоставляет Bento SDK, помогающий обеспечить бесшовное взаимодействие между Solidity и zkVM, значительно снижая сложность интеграции zkCoprocessor. В то же время Boundless реализует децентрализованные доказательства через открытый рынок, дополняя друг друга.

Полная продуктовая матрица RISC Zero

Продуктовая экосистема RISC Zero развивается поверх zkVM, постепенно формируя полную матрицу, охватывающую слои выполнения, сети, рынка и приложений:

V. Рынок ZK: децентрализация вычислений доверия

Рынок доказательств нулевого разглашения (ZK) расцепляет высокозатратный и сложный процесс генерации доказательств, конвертируя его в децентрализованный, торгуемый вычислительный товар. За счет глобально распределенной сети prover задачи выполняются методом аукциона, динамически балансируя между стоимостью и эффективностью, а экономические стимулы непрерывно привлекают участников на базе GPU и ASIC, формируя самоусиливающийся цикл. Boundless и Succinct являются лидерами этого направления.

5.1 Boundless: рынок универсальных zero-knowledge вычислений

Определение и позиционирование

Boundless — универсальный ZK-протокол,推出的 RISC Zero, предназначенный для предоставления масштабируемой способности verifiable compute всем блокчейнам. Его суть заключается в разделении генерации доказательств и консенсуса блокчейна, с распределением вычислительных задач через децентрализованный рыночный механизм. После отправки запроса на доказательство разработчиком, ноды Prover соревнуются за выполнение через децентрализованный стимулирующий механизм и получают награды благодаря «Proof of Verifiable Work» (Доказательству верифицируемой работы). В отличие от традиционного бессмысленного потребления вычислительной мощности PoW, Boundless превращает мощность в реальные результаты ZK для реальных приложений, наделяя вычислительные ресурсы реальной ценностью.

Архитектура и механизмы

Процесс работы рынка Boundless включает:

• Отправка запроса: разработчик отправляет программу zkVM и входные данные на рынок;

• Аукцион нод: ноды Prover оценивают задачу и делают ставки, блокируя задачу после получения права выполнения;

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

• Кроссчейн верификация: Boundless предоставляет единый интерфейс верификации на нескольких сетях, реализуя принцип «build once, reuse across chains».

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

Экосистема и применение: Будучи протоколом рыночного уровня, Boundless дополняет другие продукты RISC Zero:

• Steel: ZK-сопроцессор для EVM, переносящий сложную логику Solidity оффчейн с последующей возвратной верификацией;

• OP Kailua: предоставляет путь ZK-апгрейда для цепей OP Stack, обеспечивая повышенную безопасность и более быструю финализацию.

Цель Boundless — достижение real-time доказательств менее 12 секунд в Ethereum. Путь включает оптимизацию FRI, параллелизацию многочленов и аппаратное ускорение VPU. По мере роста нод и спроса Boundless сформирует самоусиливающуюся сеть вычислительной мощности, которая не только снизит затраты на Gas, но и откроет новые сценарии применения: кроссчейн ликвидность, верифицируемый ИИ ончейн и бесконечные вычисления.

5.2 Boundless for Apps: преодоление лимитов Gas

Boundless for Apps призван предоставить приложениям на Ethereum и L2 «неограниченную вычислительную мощность», делегируя сложную логику децентрализованной сети доказательств для выполнения, с последующной верификацией результата ZK ончейн. Его преимущества включают: неограниченное выполнение, постоянные затраты на Gas, совместимость с Solidity/Vyper, нативную кроссчейн поддержку.

В частности, Steel, выступая в роли ZK-сопроцессора для EVM, позволяет разработчикам реализовывать массовые запросы состояний, кросс-блоковые вычисления и event-driven логику прямо в контрактах Solidity, осуществляя кроссчейн верификацию данных ETH и OP Stack через легкий клиент R0-Helios. Сейчас проекты, включая EigenLayer, исследуют интеграцию, демонстрируя потенциал в DeFi и многосетевом взаимодействии.

Steel: расширяемый вычислительный слой для EVM

Основная цель Steel — преодолеть ограничения Ethereum по лимиту Gas, выполнению в одном блоке и доступу к историческим состояниям, перенося сложную логику оффчейн с последующей верификацией ZK ончейн. Сохраняя безопасность, он обеспечивает практически неограниченную вычислительную поддержку при постоянных затратах на верификацию.

В Steel 2.0 разработчики могут расширить пространство дизайна контрактов через три ключевые возможности:

• Event-driven логика: прямой прием Event logs в качестве ввода, исключая зависимость от централизованных indexers;

• Запрос исторических состояний: доступ к storage slots или балансам аккаунтов произвольного блока с момента обновления Dencun;

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

Такая конструкция радикально снижает издержки. Появление Steel позволило реализовать ранее ограниченные EVM приложения (такие как высокочастотные вычисления,回溯 состояний или кросс-блоковая логика), постепенно становясь ключевым мостом между оффчейн вычислениями и ончейн верификацией.

5.3 Boundless for Rollups: ускорение Rollup на базе ZK

Boundless for Rollups предлагает более быстрый и безопасный путь settlements для L2-цепей типа OP Stack через децентрализованную сеть доказательств. Его ключевые преимущества заключаются в следующем:

• Ускорение финализации: сокращение времени settlement с 7 дней примерно до 3 часов (режим Hybrid) или <1 часа (режим Validity);

• Повышенная безопасность: постепенное обновление через ZK Fraud Proof и Validity Proof, обеспечивающее криптографический уровень защиты;

• Децентрализованная эволюция: опираясь на распределенную сеть Prover и низкие требования к залогу, быстро двигается к Stage 2 децентрализации;

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

OP Kailua: путь ZK-апгрейда для OP-цепей

Выступая основным решением Boundless for Rollups, OP Kailua, выпущенный RISC Zero, специально разработан для Rollup на базе Optimism, позволяя командам превзойти традиционные архитектуры OP в производительности и безопасности.

Kailua предлагает два режима, поддерживающих постепенное обновление:

• Режим Hybrid (ZK Fraud Proof): заменяет многошаговые интерактивные Fault Proof на ZK Fraud Proof, радикально снижая сложность и стоимость разрешения споров. Стоимость доказательства возлагается на злоумышленника, окончательность сокращается до ~3 часов.

• Режим Validity (ZK Validity Proof): полная трансформация в ZK Rollup, прямое использование zero-knowledge validity proof полностью устраняет споры, обеспечивая финализацию <1 часа и высший уровень безопасности.

Kailua поддерживает плавную эволюцию OP-цепей от optimistic → hybrid → ZK Rollup, соответствуя требованиям децентрализации Stage 2, снижая порог обновления и повышая экономическую эффективность для сценариев высокой нагрузки. Сохраняя непрерывность существующих приложений и toolchain, экосистема OP постепенно получает быструю финализацию, меньшие требования к стейкингу и усиленную безопасность. Eclipse уже использовал Kailua для внедрения ZK Fraud Proof, ускоряя апгрейд; BOB завершил переход к ZK Rollup.

5.4 The Signal: ZK сигнальный слой для межсетевого взаимодействия

Позиционирование и механизмы

The Signal — ключевое приложение, запущенное Boundless, представляющее собой open-source ZK consensus client. Он сжимает события финализации Ethereum Beacon Chain в одно zero-knowledge доказательство, которое любая цепь или контракт может напрямую верифицировать, реализуя межсетевое взаимодействие с минимальным уровнем доверия без multsig или оракулов. Его ценность заключается в предоставлении «глобальной читаемости» финального состояния Ethereum, закладывая основу для кроссчейн ликвидности и логического взаимодействия, радикально снижая избыточные вычисления и затраты на Gas.

Принцип работы

• Boost The Signal: пользователи могут «усилить сигнал», отправляя запросы на доказательство. Вся сумма ETH напрямую используется для генерации новых доказательств, продлевая длительность сигнала, что приносит пользу всем цепям и приложениям.

• Prove The Signal: любой пользователь может запустить ноду Boundless Prover, генерируя ZK-доказательства для блоков Ethereum и передавая их в сеть, заменяя традиционную multsig-верификацию и формируя кроссчейн слой консенсуса «замещение доверия математикой».

• Путь расширения: сначала генерация непрерывных доказательств для финализированных блоков Ethereum, формирование «сигнала Ethereum»; далее расширение на другие публичные сети, создание единого мультичейн сигнала; в конечном итоге взаимосвязь на едином криптографическом сигнальном слое, формирование «shared wavelength», реализующий кроссчейн взаимодействие без wrapped-активов и централизованных мостов.

Сейчас к продвижению The Signal присоединились 30+ команд, на рынке Boundless агрегировано 1,500+ нод Prover, конкурирующих за 0.5% токенизированных стимулов, любые пользователи с GPU могут подключиться без разрешений. The Signal уже вышел в основном бета-сети Boundless и поддерживает production-grade запросы на доказательство на базе Base.

VI. Дорожная карта Boundless, прогресс мейншета и экосистема

Развитие Boundless следует четкой поэтапной траектории:

• Phase I – Developer Access: открытие раннего доступа для разработчиков, предоставление бесплатных ресурсов для доказательства, ускорение исследования приложений;

• Phase II – Public Testnet 1: запуск публичной тестовой сети, внедрение двустороннего рыночного механизма, взаимодействие разработчиков и нод Prover в реальных условиях;

• Phase III – Public Testnet 2: внедрение рыночных стимулов и полной экономической модели, проверка самоподдерживающейся децентрализованной сети доказательств;

• Phase IV – Mainnet: полный выход основной сети, предоставление универсальных ZK вычислений для всех цепей.

15 июля 2025 года Beta-версия мейншета Boundless была официально запущена, первыми войдя в production-среду на базе Base. Пользователи могут запрашивать доказательства с использованием реальных средств, ноды Prover подключаются без разрешений, одна нода поддерживает макс. 100 GPU и участвует в аукционе. В качестве демонстрационного приложения команда представила The Signal — open-source ZK consensus client, способный сжимать события финализации Beacon Chain в одно доказательство ZK, которое верифицируется любой сетью или контрактом напрямую. Таким образом, финальное состояние Ethereum обрело «глобальную читаемость», заложив фундамент для кроссчейн взаимодействия и безопасного settlement.

Данные браузера Boundless показывают быстрый рост всей сети и ее высокую устойчивость. По состоянию на 18 августа 2025 года совокупно обработано 542.7 трлн расчетных циклов, выполнено 399 тысяч заказов, охвачено 106 независимых программ. Максимальный размер одного доказательства превысил 106 млрд расчетных циклов (18 августа), пиковая мощность сети достигла 25.93 MHz (14 августа), оба показателя установили отраслевые рекорды. С точки зрения fulfillment заказов, среднесуточное количество заказов в середине августа временами превышало 15 тысяч, дневной пик мощности сети составил свыше 40 трлн циклов, демонстрируя экспоненциальную динамику роста. Одновременно success rate fulfillment заказов стабильно держался на высоком уровне 98%–100%, доказывая зрелость рыночного механизма. Примечательно, что по мере усиления конкуренции among prover стоимость цикла упала почти до 0 Wei, что означает переход сети в эпоху высокоэффективных, низкозатратных массовых вычислений.

Кроме того, Boundless привлек активное участие крупнейших майнеров. Такие ведущие производители, как Bitmain, начали разработку специализированных ASIC-майнеров. Компании 6block, Bitfufu, 原力区 (Yuanli District), Intchain, Nano Labs и другие присоединились к сети, трансформируя имеющиеся пуловые ресурсы в узлы вычислений ZK-доказательств. Участие сообщества майнеров толкает рынок ZK Boundless к следующему этапу масштабной индустриализации.

VII. Дизайн экономическо-токеномической модели ZK Coin

ZK Coin (ZKC) — нативный токен протокола Boundless и одновременно экономический и безопасностный якорь всей сети. Цель его проектирования — создать доверенный, с низким трением, устойчиво масштабируемый рынок zero-knowledge вычислений. Общее предложение ZKC составляет 1 миллиард монет, применяется механизм снижения инфляции с течением времени: годовая ставка инфляции в первый год составляет около 7%, постепенно снижаясь до 3% на восьмой год с последующим долгосрочным стабилизированием. Все новые монеты распределяются через Proof of Verifiable Work (PoVW), гарантируя прямую привязку эмиссии к реальным вычислительным задачам.

Proof of Verifiable Work (PoVW) — ключевой инновационный механизм Boundless, превращающий «верифицируемые вычисления» из технической capability в измеряемый, торгуемый товар. Традиционные блокчейны полагаются на дублирование выполнения всеми нодами, ограниченные bottleneck single-node compute, тогда как PoVW через ZK реализует однократное выполнение с верификацией по всей сети, внедряя бездоверную систему метрологии, конвертируя вычислительную работу в ценимый ресурс. Таким образом, вычисления могут масштабироваться по требованию, находить цену через рынок, подписывать service-level agreements и стимулировать ноды Prover, формируя позитивный цикл, driven demand. Внедрение PoVW впервые избавляет блокчейн от scarcity вычислительной мощности, поддерживая сценарии кроссчейн взаимодействия, оффчейн execution, сложных вычислений и защиты конфиденциальности, закладывая двойную экономико-технологическую основу для создания универсальной ZK вычислительной инфраструктуры Boundless.

Роль токена и механизмы захвата стоимости

ZK Coin (ZKC) — нативный токен Boundless, выступающий экономическим стержнем всей сети:

• Стейкинг/Залог: Prover обязан залогировать ZKC перед принятием заказа (обычно ≥10× от максимальной стоимости запроса), в случае просрочки доставки средства сжигаются (50% уничтожается, 50% начисляется другим prover).

• Proof of Verifiable Work (PoVW): Provers получают стимулы ZKC за генерацию zero-knowledge доказательств, аналогично майнингу. Распределение вознаграждения: 75% — prover, 25% — стейкерам протокола.

• Общий платежный слой: приложения оплачивают сборы за доказательство своими нативными токенами (ETH, USDC, SOL), но prover обязан иметь залог в ZKC, поэтому каждое доказательство верифицируется/покрывается ZKC.

• Функция управления: держатели ZKC участвуют в управлении Boundless, включая механизмы рынка, интеграцию zkVM, распределение грантов фонда и т.д.

Распределение токена (начальное предложение: 1 млрд)

Рост экосистемы (49%)

• 31% фонд экосистемы: поддержка разработки приложений, developer tools, образования и обслуживания инфраструктуры; линейное разблокирование в течение первых 3 лет.

• 18% фонд стратегического роста: использование для enterprise-интеграций, BD-партнерств и привлечения институциональных prover-кластеров; поэтапное разблокирование в течение 12 месяцев с привязкой к результатам сотрудничества.

Команда и ранние контрибьюторы (23.5%)

• 20% идет команде и ранним контрибьюторам, 25% — каренция сроком в один год, остаток линейно разблокируется в течение 24 месяцев.

• 3.5% выделяется RISC Zero для исследований и fund разработки zkVM.

Инвесторы (21.5%): стратегический капитал и технические партнеры; 25% — каренция 1 год, остаток линейно разблокируется в течение 2 лет.

Сообщество (~6%): community public sale и airdrop для повышения вовлеченности; public sale: 50% разблокируется на TGE, 50% через 6 месяцев; airdrop: 100% разблокируется на TGE.

ZKC выступает центральным экономическим и безопасностным якорем протокола Boundless, служа залогом для гарантии delivery доказательств, связывая эмиссию с реальным объемом работы через PoVW, одновременно функционируя как背书 платежного слоя для покрытия всей сети ZK-запросов и давая держателям инструменты governance для участия в эволюции протокола. По мере роста количества запросов на доказательство и叠加 механизма penalties/sinking, больше ZKC будет заблокировано и выведено из оборота, создавая долгосрочную поддержку стоимости под воздействием растущего спроса и сужающегося предложения.

VIII. Бэкграунд команды и финансирование проекта

Команда RISC Zero была основана в 2021 году. В нее входят инженеры и предприниматели из таких известных технологических и крипто-организаций, как Amazon, Google, Intel, Meta, Microsoft, Coinbase, Mina Foundation, O(1) Labs. Они создали первый в мире zkVM, способный выполнять произвольный код, и сейчас строят на его основе экосистему универсальных zero-knowledge вычислений.

Jeremy Bruestle – Co-founder & CEO, RISC Zero

Джереми — опытный технологический специалист и серийный предприниматель с более чем двадцатилетним опытом архитектурного проектирования систем и распределенных вычислений. Ранее занимал позиции Principal Engineer в Intel, Co-founder и Chief Scientist в Vertex.AI, а также был Co-founder и членом совета директоров Spiral Genetics. Основал RISC Zero в 2022 году и возглавил CEO, руководя R&D zkVM и стратегией внедрения zero-knowledge доказательств в сфере общих вычислений.

Frank Laub – Co-founder & CTO, RISC Zero

Фрэнк долго работал в области компиляторов глубокого обучения и виртуальных машин. Ранее занимался R&D DL-софта в Intel Labs и Movidius, также накопил богатый инженерный опыт в Vertex.AI, Peach Tech и других компаниях. Совместно основал RISC Zero в 2021 году, занимает пост CTO, курируя ядро zkVM, сеть Bonsai и toolchain для разработчиков.

Shiv Shankar – CEO, Boundless

Шив имеет более чем пятнадцатилетний опыт управления в технологиях и инженерии, работал в финтехе, облачных хранилищах, комплаенсе и распределенных системах. С 2025 года занимает пост CEO Boundless, руководя product и engineering командами, продвигая коммерциализацию zero-knowledge доказательств и инфраструктуру кроссчейн вычислений.

Joe Restivo – COO, RISC Zero

Джо — предприниматель с тремя успешными exit-транзакциями и эксперт по операциям с богатым опытом организационного менеджмента и риск-контроля. Две его компании были впоследствии приобретены Accenture и GitLab. Преподавал курс риск-менеджмента в бизнес-школе Университета Сиэтла. Присоединился к RISC Zero в 2023 году, ныне занимает должность COO, отвечая за операционное управление и масштабирование компании.

Brett Carter – VP of Product, RISC Zero

Бретт обладает обширным опытом управления продуктом и развития экосистемы. Ранее занимал позицию Senior Product Manager в O(1) Labs. Присоединился к RISC Zero в 2023 году, нынее Vice President of Product, отвечает за product стратегию,落地 экосистемных приложений и маркетинговое согласование с Boundless.

В части финансирования RISC Zero закрыла раунд Series A на сумму $40 млн в июле 2023 года при lead-инвесторе Blockchain Capital, с continued participation от seed lead Bain Capital Crypto. В инвестиционный круг также вошли Galaxy Digital, IOSG, RockawayX, Maven 11, Fenbushi Capital, Delphi Digital, Algé Ventures, IOBC, Zero Dao (Tribute Labs), Figment Capital, a100x и Alchemy.

IX. Анализ конкурентов ZKVM и ZK рынка

На сегодняшний день главным проектом на рынке, объединяющим zkVM и zkMarketplace, является Succinct, состоящий из zkVM SP1 и Succinct Prover Network (SPN). SP1 построен на базе RISC-V и совместим с мультиязычностью через фронтенд LLVM IR; SPN деплоится в Ethereum, распределяя задачи через механизмы стейкинга и аукционов, а токен $PROVE выполняет функции оплаты, стимулов и обеспечения безопасности. В сравнении RISC Zero应采取 «two-engine» strategy: с одной стороны Bonsai предоставляет officially hosted Prover-as-a-Service с высокой производительностью и стабильностью для enterprise; с другой стороны Boundless строит открытый децентрализованный рынок доказательств, позволяя свободно присоединяться любым GPU/CPU узлам, максимизируя децентрализацию и покрытие узлов, хотя consistency performance относительно ниже.

Risc Zero одновременно балансирует открытость и индустриальную landing, тогда как Succinct фокусируется на path high-performance и стандартизации.

Отличия и позиционирование Risc Zero(zkVM + Bonsai + Boundless) и Succinct (SP1 zkVM + SPN)

Сравнение RISC-V и Wasm

RISC-V и WASM представляют два главных маршрута универсальных zkVM. Первый является hardware-level open ISA с простыми правилами и зрелой экосистемой, благоприятствующей оптимизации цепной performance и будущему верифицируемому hardware acceleration, но имеет ограниченную интеграцию с традиционной web-приложения экосистемой. WASM — cross-platform bytecode, нативно поддерживающий мультиязычность и миграцию веб-приложений, зрелый runtime, но due stack-based architecture имеет lower performance ceiling compared to RISC-V. В целом, zkVM на базе RISC-V лучше подходит для追求 high-performance и universal compute scaling, zkWasm же обладает преимуществами в кросс-язычных и веб-сценариях.

X. Заключение: бизнес-логика, инженерная реализация и потенциальные риски

Технология ZK эволюционирует от единственного инструмента масштабирования к универсальному fondamental камня для доверенных вычислений блокчейна. RISC Zero, используя открытую архитектуру RISC-V, преодолевает зависимость от EVM, расширяя zero-knowledge доказательство на универсальные оффчейн вычисления, порождая zk-Coprocessor и децентрализованные рынки доказательств (такие как Bonsai, Boundless). Вместе они конструируют масштабируемый, торговый, governable computing trust layer, принося блокчейну более высокую производительность, сильнейшее межсетевое взаимодействие и более широкие сценарии применения.

Конечно, направление ZK все еще сталкивается со значительными вызовами в краткосрочной перспективе: peak спекуляций ZK-концепций на primary market пришелся на 2023 год, а запуск mainstream zkEVM проектов в 2024 году также истощил heat secondary market. Кроме того, топ-команды L2 чаще используют self-built provers, сценарии кроссчейн верификации, zkML, privacy-compute все еще находятся на ранней стадии, количество подходящих для撮合 задач ограничено. Это означает, что order volume открытого proving marketplace трудно поддержать огромную сеть, ее главная ценность заключается в pre-aggregating prover supply, чтобы занять first-mover advantage при будущих всплесках demand. Параллельно, хотя zkVM имеет низкий technical barrier, ему сложно напрямую проникнуть в экосистему Ethereum; в будущем его уникальная supplementary value проявится в оффчейн сложных вычислений, кроссчейн верификации и интеграции с non-EVM сетями.

В целом, траектория эволюции технологии ZK становится все яснее: от explorations совместимости zkEVM к появлению универсальных zkVM, далее к децентрализованным рынкам доказательств вроде Boundless. Zero-knowledge доказательства ускоряются в направлении коммерциализации и infrastructureization. Для инвесторов и разработчиков текущий этап, возможно, все еще остается period validation, но он孕育着 следующую core opportunity industrial cycle.

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