За повідомленням Mars Finance, 17 листопада, згідно з офіційними даними, Brevis опублікував Білну книгу ProverNet, в якій пропонується децентралізований ринковий механізм для генерації zk-SNARKs, що використовує чесні онлайн-аукціони (Truthful Online Double Auction) для ефективного зіставлення між різноманітними обчислювальними завданнями та спеціалізованим апаратним забезпеченням для доказів. ProverNet базується на досвіді співпраці з проектами PancakeSwap, Uniswap, Euler, Linea, MetaMask та цілеспрямовано вирішує ключові проблеми існуючої інфраструктури доказів. Відомо, що ProverNet буде працювати на спеціалізованому rollup Brevis Chain, і офіційний план полягає в тому, щоб запустити його до кінця 2025 року. Brevis стверджує, що цей механізм сприятиме переходу послуг zk-SNARKs з централізованої моделі єдиного постачальника до конкурентного ринку, що дозволить професійним вузлам доказів глибоко оптимізуватися для конкретних завдань, в той час як користувачі, отримуючи послуги верифікації обчислень, більше не будуть обмежені єдиним постачальником.