Brevis опубликовала белую книгу ProverNet, подробно описывающую первый децентрализованный рынок генерации доказательств с нулевым разглашением.

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

ProverNet рассматривает процесс генерации доказательств как двусторонний рынок, где приложения подают специфические запросы, а профессиональные провайдеры доказательств соревнуются за выполнение этих требований. Рынок функционирует на основе механизма TODA (Truthful Online Double Auction, честный онлайн-двойной аукцион), предназначенного для одновременной обработки различных типов доказательств при обеспечении честных ставок и оптимального распределения ресурсов.

Масштаб в условиях производства выявляет ограничения инфраструктуры

Текущая инфраструктура Brevis уже сгенерировала более 124 млн доказательств для 98 000 пользователей, охватывая такие протоколы, как PancakeSwap, Uniswap, Euler, Linea и MetaMask, обеспечив распределение вознаграждений на сумму $224 млн без необходимости доверия. Данные внедрения ярко продемонстрировали разнообразие задач генерации доказательств, эффективное обслуживание которых сложно реализовать в рамках архитектуры единого поставщика.

Система скидок VIP-ставок PancakeSwap требует генерации субсекундных доказательств для каждого трейдера перед каждой сделкой для проверки критериев доступа. Механизм распределения стимулов Euler обрабатывает 100 000 адресов каждые четыре часа, ставя во главу угла пропускную способность, а не минимизацию задержек. Экологическая активность в экосистеме Linea сгенерировала 12,1 млн доказательств для расчета многопротокольных вознаграждений, затронув 61 902 адреса. Каждый тип нагрузки требует различных конфигураций оборудования, систем доказательств (SNARK и STARK) и профилей производительности.

Генеральный директор и соучредитель Brevis Майкл отметил:

Текущие системы доказательств оптимизированы под конкретные сценарии использования, например, определенные Rollup-решения, изолированные виртуальные машины или гомогенные типы рабочих процессов. Идея ProverNet возникла из наблюдения за тем, что приложения принципиально нуждаются в разных методах доказательства. Рынок конкуренции среди специализированных провайдеров доказательств работает эффективнее, чем любой единственный оператор, пытающийся обслужить все сценарии использования.

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

Архитектура ProverNet рассматривает различные типы доказательств как разные лоты на аукционе. Приложения задают требования к доказательству, включая тип обработки (выполнение в zkVM, доказательство данных, рекурсивная агрегация), срок выполнения, максимальную цену и параметры качества. Механизм TODA рассчитывает оптимальное распределение в каждом цикле, сопоставляя гетерогенные запросы с подходящими мощностями доказывания.

Данный механизм решает специфические вызовы рынка генерации доказательств. Если традиционные аукционные механизмы опираются на предположение об однородности товаров, то TODA способна одновременно обрабатывать множество типов доказательств. Сложные задачи доказывания разделяются на подзадачи, которые совместно выполняются различными провайдерами.

Например, формирование одного доказательства zkVM может включать создание блоков у одного провайдера, сжатие у второго, агрегацию у третьего и итоговую верификацию и инкапсуляцию на четвертой специализированной системе.

Mеханизм TODA гарантирует ряд экономических свойств:

• Искренность (оптимальная стратегия заключается в честных ставках)
• Баланс бюджета (собираемые сборы превышают выплаченные суммы)
• Индивидуальная рациональность (ни один участник не принимает убыточные задачи)
• Асимптотическая оптимальность (по мере роста предложения со стороны провайдеров распределение приближается к максимальной эффективности).

Рынок функционирует в сети Brevis Chain — выделенной архитектуре rollup, созданной специально для координации торгов. Данная архитектура изолирует пропускную способность рынка от возможных перегрузок сетей Layer 1 или Layer 2, сохраняя при этом прозрачность и доступность для всех участников. Доказательства, сгенерированные через ProverNet, могут быть верифицированы в любой целевой блокчейн.

Техническая база: Pico zkVM и доказывание в реальном времени

ProverNet базируется на существующей инфраструктуре доказательств Brevis, включающей два взаимодополняющих продукта для удовлетворения различных вычислительных потребностей.

Pico zkVM использует архитектуру «универсальное ядро + высокоскоростной сопроцессор», где сверхминималистичное энергоэффективное ядро соединено со специализированным криптографическим акселератором. Это позволяет программам получать направленную аппаратную оптимизацию параллельно с работой стабильной виртуальной среды.

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

Среди поддерживаемых системой приложений — скидки VIP-ставок PancakeSwap (проверка торгового объема за последние 30 дней до совершения сделки), бессистемное распределение вознаграждений от Euler (обработка средневзвешенного по времени баланса тысяч адресов) и маршрутные ретро-компенсации Uniswap v4 (верификация права на участие в транзакциях без централизованного реестра).

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

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

Влияние на экосистему ZK

ProverNet знаменует собой переход от инфраструктуры, зависящей от одного поставщика доказательств, к распределению ресурсов на основе рыночного спроса. Существующие сети провайдеров обычно оптимизированы под узкие сценарии использования (например, доказательство для конкретных Rollup, изолированной VM или однотипных рабочих процессов), что ограничивает их способность эффективно обслуживать разнообразные запросы.

Аукционная модель рынка позволяет командам фокусироваться на конкретных целях оптимизации (массовая обработка на базе STARK, низкая задержка при SNARK, специфические криптографические операции) без необходимости построения универсальной инфраструктуры. При этом приложения получают конкурентные цены и гарантию оказания услуг, избегая ограничений поставщиков (vendor lock-in).

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

Доступность и дополнительная информация

Полная белая книга ProverNet доступна по следующему адресу:http://www.brevis.network/whitepaper/provernet.pdf

Краткое техническое описание опубликовано в блоге Brevis:https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

Запуск ProverNet состоится в ближайшее время, подробности реализации и сроки будут опубликованы отдельно.

О компании Brevis

Brevis — это платформа интеллектуальных верифицируемых вычислений, предоставляющая действующим блокчейнам смарт-контрактов неограниченную вычислительную мощность. Благодаря доказательствам с нулевым разглашением Brevis переносит тяжелые и дорогостоящие вычисления из сети в офчейн-движки, позволяя приложениям Web3 бесшовно масштабироваться при сохранении гарантий безопасности базового уровня (L1).