Brevis выпускает Whitepaper ProverNet: первый децентрализованный маркетплейс для генерации доказательств с нулевым разглашением
Источник: Brevis
Сегодня компания Brevis опубликовала Whitepaper ProverNet, представив архитектуру своего децентрализованного маркетплейса для генерации доказательств с нулевым разглашением (zero-knowledge proofs). Система основана на реальных испытаниях в производственной среде мультичейн-протоколов и решает ключевую проблему существующей инфраструктуры — неспособность эффективно обслуживать гетерогенные вычислительные задачи, требующие различного оборудования, систем доказательств и методов оптимизации.
ProverNet рассматривает генерацию доказательств как двусторонний рынок, где приложения подают специфические запросы, а специализированные проверы делают ставки на их выполнение. Рынок работает через механизм Truthful Online Double Auction (TODA), предназначенный для одновременной обработки нескольких типов доказательств, обеспечивая честное ценообразование и оптимальное распределение ресурсов. Запуск ProverNet запланирован на конец 2025 года.
Масштабирование производства выявляет ограничения инфраструктуры
Текущая инфраструктура Brevis сгенерировала более 124 миллионов доказательств для 98 000 пользователей, охватывая такие протоколы, как PancakeSwap, Uniswap, Euler, Linea и MetaMask, что способствовало распределению наград на сумму 224 миллиона долларов. Эти внедрения наглядно показали разнообразие задач по проверке, что затрудняет эффективное обслуживание со стороны архитектуры единого провайдера.
Система скидок на комиссии VIP в PancakeSwap требует генерации доказательств за доли секунды для каждого трейдера перед сделкой для проверки права на участие. Распределение стимулов в Euler обрабатывает 100 000 адресов каждые четыре часа, отдавая приоритет пропускной способности, а не задержке. Активность в экосистеме Linea привела к созданию 12,1 миллиона доказательств для вычисления наград в нескольких протоколах с участием 61 902 адресов. Каждая рабочая нагрузка требует различных конфигураций оборудования, систем доказательств (SNARKs против STARKs) и характеристик производительности.
Майкл, генеральный директор и соучредитель Brevis, заявил: «Существующие системы доказательств оптимизированы для конкретных случаев использования, таких как определенные роллапы, отдельные виртуальные машины или однородные типы рабочих нагрузок. Появление ProverNet продиктовано нашим наблюдением, что приложениям фундаментально требуются разные подходы к проверке. Рынок, на котором конкурируют специализированные проверы, более эффективен, чем любой единый оператор, пытающийся обслуживать все сценарии».
Архитектура рынка и механизм TODA
Архитектура ProverNet рассматривает различные типы доказательств как разные товары на аукционе. Приложения указывают требования к доказательствам, включая типы обработки (выполнение zkVM, доказательства данных, рекурсивная агрегация), сроки, максимальные комиссии и параметры качества. Механизм TODA рассчитывает оптимальное распределение в каждом раунде, сопоставляя гетерогенные запросы с подходящими возможностями проверки.
Этот механизм решает уникальную задачу рынка генерации доказательств. Традиционные аукционные механизмы основаны на предположении об однородности товаров, в то время как TODA способен обрабатывать несколько типов доказательств одновременно. Сложные задачи по доказательству разбиваются на подзадачи, которые совместно выполняются различными проверами.
Например, доказательство zkVM может включать фрагментацию у одного провера, сжатие у другого, агрегацию у третьего и, наконец, проверку упаковки у четвертой специализированной системы.
TODA гарантирует несколько экономических свойств:
Правдивость (оптимальная стратегия — делать честные ставки)
Бюджетный баланс (собранные комиссии превышают выплаченные)
Индивидуальная рациональность (ни один участник не берет невыгодные задачи)
Асимптотическая оптимальность (по мере роста предложения проверов распределение приближается к максимальной эффективности).
Этот рынок работает на Brevis Chain, специализированной архитектуре роллапов, созданной для координации аукционов. Эта архитектура изолирует рыночную пропускную способность от перегрузок сети Layer 1 или Layer 2, сохраняя при этом прозрачность и возможность участия без разрешений. Доказательства, сгенерированные через ProverNet, могут быть проверены в любом целевом блокчейне.
Pico zkVM и доказательства в реальном времени
ProverNet опирается на существующую инфраструктуру доказательств Brevis, которая включает два взаимодополняющих продукта для различных вычислительных нужд.
Pico zkVM использует архитектуру «общий процессор + высокопроизводительный сопроцессор», где сверхэффективное ядро соединено со специализированным криптографическим ускорителем, позволяя программам работать на стабильной виртуальной машине, получая при этом выгоду от целевой оптимизации оборудования.
Pico Prism недавно достигла 99,6% покрытия доказательствами блока Ethereum с лимитом газа в 45 миллионов, завершив 96,8% доказательств за 12 секунд, при среднем времени доказательства 6,9 секунды. Система использует кластер из 64×RTX 5090 GPU и достигает доказательств в реальном времени при стоимости оборудования на 50% ниже по сравнению с предыдущей лидирующей на рынке zkVM.
ZK Data Coprocessor позволяет смарт контрактам получать доступ к историческим данным блокчейна и выполнять проверяемые вычисления вне сети.
Приложения, поддерживаемые этой системой, включают VIP-ставки PancakeSwap (предварительная проверка 30-дневного объема торгов), распределение наград Euler (обработка средневзвешенных балансов тысяч адресов) и скидки на маршруты Uniswap v4 (проверка права на транзакцию без централизованного реестра).
Эти интеграции демонстрируют требования к доказательствам с интенсивным использованием данных, которые отличаются от проверки вычислений общего назначения.
Вместе эти системы устанавливают экономическую целесообразность криптографической верификации в реальном времени на фундаментальном уровне, обслуживая гетерогенные типы рабочих нагрузок, которые стимулируют рыночную архитектуру ProverNet.
Влияние на экосистему ZK
ProverNet представляет собой переход от инфраструктуры единого поставщика доказательств к рыночному распределению ресурсов. Существующие сети проверов обычно оптимизированы для узких сценариев использования (например, доказательства конкретных роллапов, специфические виртуальные машины или однородные типы работ), что ограничивает их способность эффективно обслуживать разнообразные запросы.
Модель рыночного аукциона позволяет командам проверов сосредоточиться на конкретных целях оптимизации (например, пакетная обработка на основе STARK, низкозадержковые SNARK-доказательства, специфические криптографические операции) без необходимости создания общей инфраструктуры. Приложения могут получать выгоду от конкурентного ценообразования и гарантий обслуживания, не попадая в зависимость от одного поставщика.
Для разработчиков это устраняет дилемму между созданием собственной инфраструктуры доказательств (дорого и долго) и использованием централизованных сервисов (введение предположений о доверии), поскольку криптографическая верификация обеспечивает правильность вычислений, а рыночная конкуренция — эффективность ценообразования и доступность ресурсов.
Дополнительная информация
Полный Whitepaper 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/
Эта статья является спонсорским контентом и не отражает мнение BlockBeats.
Вам также может понравиться

Обзор рынка 20 ноября: что вы пропустили в мире криптовалют

Возвращение правительства США: катализатор роста крипто ETF в 2026 году
Ключевые выводы: Возобновление работы правительства США может ускорить одобрение крипто ETF в 2026 году. Торгуйте на WEEX.

Запуск токена Base Protocol: стоит ли доверять Джесси Поллаку?

Квантовая угроза для криптовалют: под угрозой ли Биткоин и Эфириум?

AI-соревнования по трейдингу: смогут ли модели отыграться на фондовом рынке США?

Glassnode: Биткоин упал до $89 000, рынок опционов демонстрирует хеджирование

L1 блокчейн Supra запускает MultiVM тестнет и грантовую программу на $250 000 для EVM

Цена акций упала на 80% — как долго продержится BitMine, главный покупатель Эфириума?

Какие условия необходимы для роста Биткоина?

Важные новости рынка 20 ноября – Утренний отчет Alpha

DDC Enterprise интегрирует Kraken для управления биткоин-резервами

Нестабильные стейблкоины: почему DeFi-проекты продолжают терпеть крах

Ключевые идеи рынка на 19 ноября: что вы упустили?

Безопасные инвестиции в криптовалюту: 4 способа получить 10% APY

Итоги AMA Matrixport: Развитие экономики золота в блокчейне с XAUm и Creek

Майнинг Биткоина для отопления: можно ли обогреть дом с помощью майнинг фермы?

Почему цена падает, несмотря на позитивные новости? Анализ рынка криптовалют

Биткоин отступает: рынок ожидает отчет NVIDIA
Обзор рынка 20 ноября: что вы пропустили в мире криптовалют
Возвращение правительства США: катализатор роста крипто ETF в 2026 году
Ключевые выводы: Возобновление работы правительства США может ускорить одобрение крипто ETF в 2026 году. Торгуйте на WEEX.
