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.
Вам также может понравиться

Ключевая информация о рынке на 5 декабря, обязательно к прочтению! | Утренний отчет Alpha

Обзор крипто-прогнозов 2025: кто угадал, а кто ошибся?

MEETLabs выпустила масштабную 3D блокчейн-игру DeFishing

Бывшие враги помирились? CZ объединяется с экс-сотрудником для запуска платформы predict.fun

Glassnode: Показывает ли Биткоин признаки краха, как в 2022 году? Следите за этим диапазоном

Стратегия процентных ставок ФРС США и динамика рынка криптовалют
Ключевые выводы: Ожидаемое снижение процентных ставок ФРС может существенно повлиять на уровень ликвидности. Завершение количественного ужесточения...

Спотовый Ethereum ETF зафиксировал приток в 140 миллионов долларов

Крупная инновация на рынках прогнозов: Predict.fun запущен в сети BNB Chain
Ключевые выводы: BNB Chain от Binance представляет новый рынок прогнозов, Predict.fun, разработанный для того, чтобы средства пользователей оставались активными и…

Почему рынки прогнозов — это не азартные игры

От паники к развороту: Биткоин взлетел до $93 000. Наступил ли структурный перелом?

WEEX Labs: Наступает ли цикл супер бычьего рынка?

Оттоки из крипто ETF: зарабатывают ли BlackRock и другие эмитенты?

Bitcoin на Aave V4: Babylon и Aave Labs объявляют о стратегическом партнерстве

Анализ рынка 3 декабря: Что вы пропустили?

Пресейл Clanker: может ли новый механизм разжечь ажиотаж вокруг Base?

Как Федеральная резервная система в 2026 году повлияет на криптопространство?

Рынок криптовалюта: Стратегический разворот Vanguard и его последствия

Кевин Хассет: кандидат Трампа на пост главы ФРС и влияние на криптовалюту
Кевин Хассет, экономический советник Трампа, рассматривается на пост главы ФРС, что вызывает интерес в криптоиндустрии.
Ключевая информация о рынке на 5 декабря, обязательно к прочтению! | Утренний отчет Alpha
Обзор крипто-прогнозов 2025: кто угадал, а кто ошибся?
MEETLabs выпустила масштабную 3D блокчейн-игру DeFishing
Бывшие враги помирились? CZ объединяется с экс-сотрудником для запуска платформы predict.fun
Glassnode: Показывает ли Биткоин признаки краха, как в 2022 году? Следите за этим диапазоном
Стратегия процентных ставок ФРС США и динамика рынка криптовалют
Ключевые выводы: Ожидаемое снижение процентных ставок ФРС может существенно повлиять на уровень ликвидности. Завершение количественного ужесточения...
