Brevis опублікував білу книгу ProverNet, детально описавши перший децентралізований ринок генерації доказів із нульовим розголошенням

Chainfeeds Огляд:

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

Джерело статті:

Автор статті:

Brevis

Думка:

Brevis: Архітектура ProverNet розглядає різні типи доказів як різні товари на аукціоні. Додатки визначають вимоги до доказів, включаючи тип обробки (zkVM виконання, доказ даних, рекурсивна агрегація), кінцевий термін, максимальну плату та параметри якості. Механізм TODA у кожному раунді обчислює оптимальний розподіл, поєднуючи гетерогенні запити з відповідними можливостями доказу. Цей механізм вирішує унікальні виклики ринку генерації доказів. Традиційні аукціонні механізми базуються на припущенні однорідності товарів, тоді як TODA може одночасно обробляти кілька типів доказів. Складні завдання доказу розбиваються на підзавдання, які виконуються у співпраці різними доказувачами. Наприклад, zkVM-доказ може включати генерацію блоків на одному доказувачі, стиснення на іншому, агрегацію на третьому, а остаточну верифікацію — на четвертій спеціалізованій системі. TODA гарантує кілька економічних властивостей: правдивість (оптимальна стратегія — чесна ставка); збалансованість бюджету (збір плати перевищує виплати); індивідуальна раціональність (жоден учасник не приймає завдання без прибутку) та асимптотична оптимальність (із зростанням кількості доказувачів розподіл наближається до максимальної ефективності). ProverNet побудовано на існуючій доказовій інфраструктурі Brevis, яка включає два взаємодоповнюючі продукти для обслуговування різних обчислювальних потреб. Pico zkVM використовує архітектуру «універсальне ядро + високопродуктивний співпроцесор», де мінімалістичне ефективне ядро підключено до спеціалізованого криптографічного акселератора, що дозволяє програмам отримувати спрямовану апаратну оптимізацію під час виконання стабільної віртуальної машини. Pico Prism нещодавно досяг покриття доказів для 99,6% блоків Ethereum із gas-лімітом 45 мільйонів, завершуючи 96,8% доказів за 12 секунд із середнім часом доказу 6,9 секунди. Ця система використовує кластер із 64×RTX 5090 GPU, забезпечуючи реальний час доказу при апаратних витратах на 50% нижчих, ніж у попереднього найкращого zkVM на ринку. ZK-співпроцесор даних дозволяє смарт-контрактам отримувати доступ до історичних даних блокчейну та виконувати позаланцюгові обчислення з криптографічною верифікацією. Система підтримує такі додатки, як VIP-тарифи PancakeSwap (перевірка обсягу торгів за 30 днів до угоди), бездовірчий розподіл винагород Euler (обробка зважених за часом балансів тисяч адрес) та маршрутизовані рібейти Uniswap v4 (верифікація права на угоду без централізованого реєстру). Ці інтеграції демонструють потребу в доказах, орієнтованих на дані, що відрізняються від універсальної верифікації обчислень. Усі ці системи разом встановлюють економічну доцільність реалізації криптографічної верифікації в реальному часі на базовому рівні, одночасно обслуговуючи різнорідні типи навантажень, які стимулюють ринкову архітектуру ProverNet. ProverNet представляє перехід від інфраструктури єдиного постачальника доказів до розподілу ресурсів, що базується на ринковому попиті. Існуючі мережі доказувачів зазвичай оптимізовані для вузьких випадків використання (наприклад, докази певного Rollup, певної віртуальної машини або однорідних типів завдань), що обмежує їхню здатність ефективно обслуговувати різноманітні потреби. Модель аукціону дозволяє командам доказувачів зосередитися на конкретних цілях оптимізації (STARK-бейчинг, низьколатентні SNARK-докази, специфічні криптографічні операції) без необхідності створювати універсальну інфраструктуру, а додатки отримують конкурентне ціноутворення та гарантії обслуговування без vendor lock-in. Для розробників це усуває дилему між побудовою власної доказової інфраструктури (дорого та довго) і залежністю від централізованих сервісів (введення припущень щодо довіри), оскільки криптографічна верифікація гарантує правильність обчислень, а ринкова конкуренція забезпечує ефективність ціноутворення та доступність потужностей.