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.