Перейти к основному контенту

Boundless от RISC Zero: Сможет ли децентрализованный рынок доказательств решить проблему «узкого места» ZK стоимостью 97 млн долларов?

· 10 мин чтения
Dora Noda
Software Engineer

Роллапы с нулевым разглашением (Zero-knowledge rollups) должны были стать будущим масштабирования блокчейна. Вместо этого они стали заложниками централизованного рынка пруверов объемом 97 миллионов долларов, где горстка компаний извлекает 60–70 % комиссий, пока пользователи минутами ждут доказательств, которые должны генерироваться за секунды.

Boundless, децентрализованный рынок доказательств от RISC Zero, запущенный в основной сети в сентябре 2025 года, утверждает, что решил эту проблему. Превращая генерацию ZK-доказательств в открытый рынок, где операторы GPU конкурируют за работу, Boundless обещает сделать проверяемые вычисления «такими же дешевыми, как выполнение». Но сможет ли сеть с токен-стимулами действительно разорвать спираль смерти централизации, которая делает технологию ZK дорогой и недоступной?

Миллиардное «узкое место»: почему ZK-доказательства все еще дороги​

Обещание роллапов с нулевым разглашением было элегантным: выполнять транзакции вне сети, генерировать криптографическое доказательство корректности выполнения и проверять это доказательство в Ethereum за мизерную стоимость. В теории это обеспечило бы безопасность уровня Ethereum при стоимости транзакций менее цента.

Реальность оказалась сложнее.

Генерация одного ZK-доказательства для пакета из 4000 транзакций занимает от двух до пяти минут на высокопроизводительном GPU A100, что стоит от 0.04 до0.17до 0.17 только за услуги облачных вычислений. И это без учета специализированного ПО, инженерного опыта и резервной инфраструктуры, необходимых для работы надежного сервиса доказательств.

Результат? Более 90 % ZK-L2 полагаются на горстку провайдеров «доказательство как услуга» (prover-as-a-service). Такая централизация привносит именно те риски, которые блокчейн должен был устранить: цензуру, извлечение MEV, единые точки отказа и извлечение ренты в стиле web2.

Техническая сложность​

«Узкое место» заключается не в перегрузке сети, а в самой математике. Доказательство ZK опирается на мультискалярное умножение (MSM) и теоретико-числовые преобразования (NTT) над эллиптическими кривыми. Эти операции фундаментально отличаются от матричной математики, для которой GPU отлично подходят в задачах ИИ.

После многолетней оптимизации MSM, на долю NTT теперь приходится до 90 % задержки генерации доказательств на GPU. Сообщество криптографов столкнулось с законом убывающей доходности при оптимизации исключительно программного обеспечения.

Встречайте Boundless: открытый рынок доказательств​

Boundless пытается решить эту проблему, полностью отделяя генерацию доказательств от консенсуса блокчейна. Вместо того чтобы каждый роллап запускал собственную инфраструктуру пруверов, Boundless создает маркетплейс, где:

  1. Заказчики отправляют запросы на доказательства (из любой сети)
  2. Пруверы соревнуются в генерации доказательств, используя GPU и стандартное оборудование
  3. Расчет происходит в целевой сети, указанной заказчиком

Ключевым нововведением является «Доказательство проверяемой работы» (Proof of Verifiable Work, PoVW) — механизм, который вознаграждает пруверов не за бесполезные хеши (как в майнинге биткоина), а за генерацию полезных ZK-доказательств. Каждое доказательство содержит криптографические метаданные, подтверждающие объем затраченных вычислений, что создает прозрачную запись о проделанной работе.

Как это работает на самом деле​

В основе Boundless лежит zkVM от RISC Zero — виртуальная машина с нулевым разглашением, способная выполнять любую программу, скомпилированную для набора инструкций RISC-V. Это означает, что разработчики могут писать приложения на Rust, C++ или любом языке, который компилируется в RISC-V, а затем генерировать доказательства корректности выполнения без необходимости изучать специализированные ZK-схемы.

Трехуровневая архитектура включает:

  • Уровень zkVM: выполняет произвольные программы и генерирует доказательства STARK
  • Уровень рекурсии: агрегирует несколько STARK-доказательств в компактные доказательства
  • Уровень расчетов: преобразует доказательства в формат Groth16 для проверки в сети

Такая архитектура позволяет Boundless генерировать доказательства, которые достаточно малы (около 200 КБ) для экономичной проверки в сети, при этом поддерживая сложные вычисления.

Токен ZKC: майнинг доказательств вместо хешей​

Boundless представила ZK Coin (ZKC) в качестве нативного токена, обеспечивающего работу рынка доказательств. В отличие от типичных утилитарных токенов, ZKC активно добывается через генерацию доказательств — пруверы получают вознаграждение в ZKC пропорционально внесенному ими вычислительному вкладу.

Обзор токеномики​

  • Общее предложение: 1 миллиард ZKC (с инфляцией 7 % в первый год, снижающейся до 3 % к 8-му году)
  • Рост экосистемы: 41.6 % выделено на инициативы по внедрению
  • Стратегические партнеры: 21.5 % с периодом блокировки (cliff) 1 год и вестингом 2 года
  • Сообщество: 8.3 % для продажи токенов и аирдропов
  • Текущая цена: ~ 0.12 (нижеценыICOв0.29(ниже цены ICO в 0.29)

Инфляционная модель вызвала споры. Сторонники утверждают, что постоянная эмиссия необходима для стимулирования здоровой сети пруверов. Критики отмечают, что ежегодная инфляция в 7 % создает постоянное давление на продажу, что потенциально ограничивает рост стоимости ZKC даже при расширении сети.

Рыночная турбулентность​

Первые месяцы ZKC не были гладкими. В октябре 2025 года южнокорейская биржа Upbit пометила токен «инвестиционным предупреждением», что спровоцировало падение цены на 46 %. Upbit сняла предупреждение после того, как Boundless прояснила свою токеномику, но этот эпизод подчеркнул риски волатильности инфраструктурных токенов, привязанных к развивающимся рынкам.

Реальность мейннета: кто на самом деле использует Boundless?​

С момента запуска бета-версии мейннета на Base в июле 2025 года и полноценного мейннета в сентябре, Boundless обеспечил ряд значимых интеграций:

Интеграция Wormhole​

Wormhole интегрирует Boundless для добавления ZK-верификации в консенсус Ethereum, что делает кроссчейн-переводы более безопасными. Вместо того чтобы полагаться исключительно на хранителей мультисига (multi-sig guardians), Wormhole NTT (Native Token Transfers) теперь может включать опциональные ZK-доказательства для пользователей, которым нужны криптографические гарантии.

Citrea Bitcoin L2​

Citrea, zk-rollup второго уровня для Bitcoin, созданный Chainway Labs, использует zkVM от RISC Zero для генерации доказательств валидности, которые публикуются в Bitcoin через BitVM. Это обеспечивает EVM-эквивалентную программируемость в сети Bitcoin при использовании BTC для расчетов и доступности данных.

Партнерство с Google Cloud​

В рамках своей программы Verifiable AI, Boundless заключил партнерство с Google Cloud для внедрения ИИ-доказательств на базе ZK. Разработчики могут создавать приложения, подтверждающие выходные данные моделей ИИ без раскрытия входных данных — критически важная возможность для машинного обучения с сохранением конфиденциальности.

Мост Stellar​

В сентябре 2025 года Nethermind развернула верификаторы RISC Zero для интеграции моста Stellar zk Bridge, что позволило реализовать кроссчейн-доказательства между недорогой платежной сетью Stellar и гарантиями безопасности Ethereum.

Конкуренция: Succinct SP1 и войны zkVM​

Boundless — не единственный игрок, стремящийся решить проблему масштабируемости ZK. zkVM SP1 от Succinct Labs стал серьезным конкурентом, что спровоцировало войну бенчмарков между двумя командами.

Заявления RISC Zero​

RISC Zero утверждает, что правильно настроенные развертывания zkVM «как минимум в 7 раз дешевле, чем SP1», и до 60 раз дешевле для небольших рабочих нагрузок. Они указывают на более компактные размеры доказательств и более эффективное использование GPU.

Ответ Succinct​

Succinct возражает, что бенчмарки RISC Zero «вводят в заблуждение, сравнивая производительность CPU с результатами GPU». Их прувер SP1 Hypercube заявляет о стоимости доказательства в $0,02 с задержкой около 2 минут — хотя он остается закрытым исходным кодом.

Независимый анализ​

Сравнение от Fenbushi Capital показало, что RISC Zero демонстрирует «превосходную скорость и эффективность во всех категориях бенчмарков в средах GPU», но было отмечено, что SP1 лидирует в принятии разработчиками, обеспечивая работу таких проектов, как Blobstream от Celestia с общим объемом защищенных активов (TVL) в $3,14 млрд против $239 млн у RISC Zero.

Настоящим конкурентным преимуществом может стать не чистая производительность, а привязка к экосистеме. Boundless планирует поддерживать конкурирующие zkVM, включая SP1, Boojum от ZKsync и Jolt, позиционируя себя как агностический к протоколам маркетплейс доказательств, а не как решение от одного вендора.

Дорожная карта на 2026 год: что ждет Boundless​

Дорожная карта RISC Zero для Boundless включает несколько амбициозных целей:

Расширение экосистемы (4 кв. 2025 — 2026)​

  • Расширение поддержки ZK-доказательств для Solana
  • Интеграция с Bitcoin через BitVM
  • Дополнительные развертывания на L2

Обновления гибридных роллапов​

Самым значимым техническим этапом станет переход оптимистичных роллапов (таких как сети Optimism и Base) на использование доказательств валидности для более быстрой финализации. Вместо того чтобы ждать 7 дней окна для доказательства мошенничества (fraud proof), OP-цепочки смогут рассчитываться за считанные минуты.

Поддержка нескольких zkVM​

В дорожную карту включена поддержка конкурирующих zkVM, что позволит разработчикам переключаться между RISC Zero, SP1 или другими системами доказательств, не покидая маркетплейс.

Завершение децентрализации​

RISC Zero прекратила работу своего хостингового сервиса доказательств в декабре 2025 года, направив всю генерацию доказательств через децентрализованную сеть Boundless. Это стало серьезным подтверждением тезиса о децентрализации, но также означает, что надежность сети теперь полностью зависит от независимых пруверов.

Общая картина: станет ли децентрализованная генерация доказательств стандартом?​

Успех Boundless зависит от фундаментальной ставки: на то, что генерация доказательств станет массовым товаром (коммодитизируется) так же, как это произошло с облачными вычислениями. Если этот тезис верен, то наличие самой эффективной сети пруверов имеет меньшее значение, чем наличие самого крупного и ликвидного маркетплейса.

Несколько факторов подтверждают эту точку зрения:

  1. Коммодитизация оборудования: ZK-специфичные ASIC от таких компаний, как Cysic, обещают 50-кратное повышение энергоэффективности, что потенциально снизит порог входа.
  2. Агрегация доказательств: Сети вроде Boundless могут объединять доказательства от нескольких приложений в пакеты, амортизируя фиксированные затраты.
  3. Кроссчейн-спрос: По мере того как все больше сетей внедряют ZK-верификацию, спрос на генерацию доказательств может превысить возможности любого отдельного провайдера.

Однако риски остаются:

  1. Усиление централизации: Ранние сети пруверов склонны к концентрации, так как эффект масштаба благоприятствует крупным операторам.
  2. Зависимость от токена: Если цена ZKC рухнет, стимулы для пруверов исчезнут, что может вызвать «спираль смерти».
  3. Техническая сложность: Работа конкурентоспособного прувера требует значительного опыта, что на практике может ограничить децентрализацию.

Что это значит для разработчиков​

Для разработчиков, рассматривающих интеграцию ZK, Boundless представляет собой прагматичный компромисс:

  • Отсутствие инфраструктурных накладных расходов: Отправляйте запросы на доказательства через API, не запуская собственные пруверы.
  • Мультичейн-сеттлмент: Создавайте доказательства один раз, верифицируйте их в любой поддерживаемой сети.
  • Гибкость языков: Пишите на Rust или любом другом языке, совместимом с RISC-V, вместо того чтобы изучать специализированные ZK DSL.

Обратной стороной является зависимость от сети с токен-стимулами, долгосрочная стабильность которой остается недоказанной. Для производственных приложений многие команды могут предпочесть Boundless для тестнетов и экспериментов, сохраняя при этом резервную инфраструктуру пруверов для критически важных нагрузок.

Заключение​

Boundless представляет собой самую амбициозную на сегодняшний день попытку решить проблему централизации ZK. Превращая генерацию доказательств в открытый рынок, стимулируемый токенами ZKC, RISC Zero делает ставку на то, что конкуренция снизит затраты быстрее, чем это смог бы сделать любой отдельный поставщик в одиночку.

Запуск основной сети, важные интеграции с Wormhole и Citrea, а также стремление поддерживать конкурирующие zkVM свидетельствуют о серьезных технических возможностях. Однако инфляционная токеномика, биржевая волатильность и непроверенная децентрализация в больших масштабах оставляют важные вопросы без ответов.

Для экосистемы ZK успех или неудача Boundless станет сигналом того, сможет ли децентрализованная инфраструктура конкурировать с централизованной эффективностью — или же будущее масштабирования блокчейн-индустрии останется в руках нескольких хорошо финансируемых сервисов пруверов.


Создаете приложения, требующие верификации ZK в нескольких сетях? BlockEden.xyz предоставляет корпоративные RPC-эндпоинты и API для Ethereum, Base и более чем 20 сетей — надежный уровень связности, необходимый вашим кроссчейн-приложениям на базе ZK.