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

Chainfeeds Введение:

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

Источник статьи:

Автор статьи:

Brevis

Мнение:

Brevis: Архитектура ProverNet рассматривает различные типы доказательств как разные товары на аукционе. Приложения указывают требования к доказательствам, включая тип обработки (исполнение zkVM, доказательство данных, рекурсивная агрегация), крайний срок, максимальную плату и параметры качества. Механизм TODA на каждом раунде рассчитывает оптимальное распределение, сопоставляя гетерогенные запросы с подходящими возможностями доказательства. Этот механизм решает уникальные задачи рынка генерации доказательств. Традиционные аукционные механизмы основаны на предположении однородности товаров, тогда как TODA может одновременно обрабатывать несколько типов доказательств. Сложные задачи доказательства разбиваются на подзадачи, которые выполняются в сотрудничестве разными доказателями. Например, доказательство zkVM может включать генерацию чанков на одном доказателе, сжатие на другом, агрегацию на третьем и, наконец, финальную верификацию на специализированной системе. TODA гарантирует ряд экономических свойств: достоверность (оптимальная стратегия — честное предложение цены); сбалансированность бюджета (собранные комиссии превышают выплаченные); индивидуальная рациональность (ни один участник не принимает убыточные задания) и асимптотическую оптимальность (по мере роста предложения доказателей распределение приближается к максимальной эффективности). 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. ProverNet представляет собой переход от инфраструктуры единственного поставщика доказательств к рыночно-ориентированному распределению ресурсов. Существующие сети доказателей обычно оптимизированы под узкие случаи использования (например, доказательства для конкретных Rollup, определённые виртуальные машины или однородные типы задач), что ограничивает их способность эффективно обслуживать разнообразные потребности. Рыночная аукционная модель позволяет командам доказателей сосредоточиться на определённых целях оптимизации (пакетная обработка на основе STARK, доказательства SNARK с низкой задержкой, специфические криптографические операции) без необходимости строить универсальную инфраструктуру, а приложениям — получать конкурентные цены и гарантии обслуживания без риска зависимости от одного поставщика. Для разработчиков это устраняет дилемму выбора между созданием индивидуальной инфраструктуры доказательств (дорого и трудоёмко) и использованием централизованных сервисов (вводя доверительные предположения), поскольку криптографическая верификация гарантирует корректность вычислений, а рыночная конкуренция обеспечивает эффективность ценообразования и доступность ресурсов.