logo

Brevis выпускает Whitepaper ProverNet: первый децентрализованный маркетплейс для генерации доказательств с нулевым разглашением

By: blockbeats|2026/03/29 13:16:44
0
Поделиться
copy
Источник: 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

1. Главные новости: сайт мемкоина PEPE под атакой. 2. Разблокировка токенов: $ENA, $AA, $ACS, $DEVVE.

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

Прошел год? Мы проверяем, сбылись ли прогнозы крупных институтов на 2025 год для криптовалюта рынка.

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

MEETLabs — инновационная лаборатория, специализирующаяся на блокчейн-технологиях и криптовалюте, выступающая инкубатором для MEET48.

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

После провала boop.fun и скандала с инсайдерской торговлей, CZ и dingaling объединились для запуска платформы predict.fun.

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

Текущая структура рынка Биткоин напоминает 1 квартал 2022 года: более 25% предложения в убытке. Притоки в ETF и импульс ослабевают.

Стратегия процентных ставок ФРС США и динамика рынка криптовалют

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

Популярные монеты

Последние новости криптовалют

Еще