Компания Brevis опубликовала технический документ ProverNet, в котором подробно описан первый децентрализованный рынок генерации доказательств с нулевым разглашением.
Источник: Бревис
Компания Brevis сегодня опубликовала технический документ ProverNet, в котором представлена её децентрализованная архитектура рынка генерации доказательств с нулевым разглашением, разработанная в ходе реального тестирования в среде производства распространённых многоцепочечных протоколов. Эта система устраняет ключевое ограничение существующей инфраструктуры доказательств — неспособность эффективно обслуживать гетерогенные вычислительные нагрузки, требующие различного оборудования, систем доказательств и методов оптимизации.
ProverNet рассматривает генерацию доказательств как двусторонний рынок, где заявки подают конкретные запросы, а специализированные проверяющие предлагают свои услуги для удовлетворения этих потребностей. Рынок работает на основе механизма честного онлайн-двойного аукциона, разработанного для одновременной обработки нескольких типов доказательств, обеспечивая честные торги и оптимальное распределение ресурсов. ProverNet планирует запуститься к концу 2025 года.
Текущая инфраструктура Brevis сгенерировала более 124 миллионов доказательств для 98 000 пользователей, охватывая такие протоколы, как PancakeSwap, Uniswap, Euler, Linea и MetaMask, что обеспечило распределение вознаграждений без доверия на сумму 224 миллиона долларов. Эти развертывания наглядно продемонстрировали многообразие задач по проверке доказательств, что затрудняет эффективное обслуживание с помощью архитектуры с одним поставщиком.
Система скидок на VIP-комиссию PancakeSwap требует создания доказательств за доли секунды для отдельных трейдеров перед каждой сделкой для подтверждения их права на участие. Система распределения вознаграждений Euler обрабатывает 100 000 адресов каждые четыре часа, отдавая приоритет пропускной способности, а не задержке. В результате деятельности экосистемы Linea было сгенерировано 12,1 миллиона доказательств для многопротокольного вычисления вознаграждений с участием 61 902 адресов. Каждая рабочая нагрузка требует различных конфигураций оборудования, систем доказательств (SNARK и STARK) и характеристик производительности.
Майкл, генеральный директор и соучредитель Brevis, заявил: «Существующие системы проверки подлинности оптимизированы для конкретных вариантов использования, таких как определённые накопительные пакеты, отдельные виртуальные машины или однородные типы рабочей нагрузки. Идея ProverNet возникла из нашего наблюдения, что приложения принципиально требуют разных подходов к проверке подлинности. Рынок, на котором конкурируют специализированные системы проверки подлинности, более эффективен, чем любой отдельный оператор, пытающийся обслуживать все варианты использования».
Архитектура ProverNet рассматривает различные типы доказательств как различные товары на аукционе. Приложения задают требования к доказательствам, включая типы обработки (выполнение zkVM, доказательства данных, рекурсивное агрегирование), сроки, максимальные комиссии и параметры качества. Механизм TODA рассчитывает оптимальное распределение в каждом раунде, сопоставляя разнородные запросы с подходящими возможностями проверки.
Этот механизм решает уникальную задачу рынка генерации доказательств. Традиционные аукционные механизмы основаны на предположении об однородности товаров, в то время как TODA способен обрабатывать несколько типов доказательств одновременно. Сложные задачи по доказательству разбиваются на подзадачи, которые совместно выполняются разными доказывающими сторонами.
Например, доказательство zkVM может включать в себя разбиение на фрагменты на одном доказывающем устройстве, сжатие на другом, агрегацию на третьем и, наконец, проверку упаковки на четвертой специализированной системе.
TODA гарантирует ряд экономических свойств:
Правдивость (оптимальная стратегия — делать честные ставки)
Баланс бюджета (собранные сборы превышают уплаченные)
Индивидуальная рациональность (ни один участник не принимает невыгодных задач)
Асимптотическая оптимальность (по мере роста числа доказывающих распределение приближается к максимальной эффективности).
Этот рынок работает на базе Brevis Chain, специализированной архитектуры Rollup, разработанной специально для координации аукционов. Эта архитектура изолирует пропускную способность рынка от перегрузки сетей уровня 1 или 2, сохраняя при этом прозрачность и возможность участия без разрешения. Доказательства, сгенерированные через ProverNet, могут быть проверены на любом целевом блокчейне.
ProverNet основывается на существующей инфраструктуре доказательств Brevis, которая включает два дополнительных продукта для удовлетворения различных вычислительных потребностей.
Pico zkVM использует архитектуру «общее ядро + высокопроизводительный сопроцессор», в которой сверхэффективное ядро подключено к выделенному криптографическому ускорителю, что позволяет программам стабильно запускать виртуальную машину, используя при этом преимущества целевых оптимизаций оборудования.
Pico Prism недавно достиг 99,6% покрытия доказательствами блока Ethereum с лимитом газа в 45 миллионов, выполнив 96,8% доказательств за 12 секунд со средним временем доказательства 6,9 секунды. Система использует кластер из 64 графических процессоров RTX 5090 и обеспечивает доказательства в реальном времени, обладая на 50% меньшими аппаратными затратами по сравнению с предыдущим лидером рынка zkVM.
Сопроцессор данных ZK позволяет смарт-контрактам получать доступ к историческим данным блокчейна и выполнять проверяемые вычисления вне блокчейна.
Приложения, поддерживаемые этой системой, включают VIP-ставку PancakeSwap (предварительная проверка объема торгов за 30 дней), распределение вознаграждений без необходимости доверия Эйлера (обработка взвешенных по времени балансов тысяч адресов) и возврат средств по маршруту Uniswap v4 (проверка соответствия транзакций требованиям без централизованного реестра).
Эти интеграции демонстрируют требования к доказательствам с большим объемом данных, которые отличаются от проверки вычислений общего назначения.
В совокупности эти системы обеспечивают экономическую целесообразность криптографической проверки в реальном времени на базовом уровне, одновременно обслуживая гетерогенные типы рабочих нагрузок, которые стимулируют архитектуру рынка ProverNet.
ProverNet представляет собой переход от инфраструктуры с единым поставщиком доказательств к рыночному распределению ресурсов. Существующие сети доказательств обычно оптимизированы для узких сценариев использования (например, для конкретных Rollup-доказательств, конкретных виртуальных машин или однородных типов задач), что ограничивает их способность эффективно обслуживать разнообразные потребности.
Модель рыночного аукциона позволяет командам, разрабатывающим доказательства, сосредоточиться на конкретных целях оптимизации (например, пакетной обработке на основе STARK, доказательствах SNARK с малой задержкой, специфических криптографических операциях) без необходимости создания универсальной инфраструктуры. Приложения могут воспользоваться конкурентными ценами и гарантиями обслуживания, не привязываясь к поставщику.
Для разработчиков это устраняет дилемму баланса между созданием собственной инфраструктуры доказательств (дорого и долго) и опорой на централизованные сервисы (введение допущений о доверии), поскольку криптографическая проверка гарантирует правильность вычислений, а рыночная конкуренция — эффективность ценообразования и доступность ресурсов.
Полный технический документ 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.
Добро пожаловать в официальное сообщество BlockBeats:
Группа подписки в Telegram: https://t.me/theblockbeats
Группа обсуждения Telegram: https://t.me/BlockBeats_App
Официальный аккаунт в Twitter: https://twitter.com/BlockBeatsAsia
Данный контент предназначен исключительно для информационных и образовательных целей и не является инвестиционным советом, связанным с BTCC. BTCC прилагает все усилия, но не может гарантировать правдивость, точность или оригинальность вышеприведенного контента.