Brevis وایت‌پیپر ProverNet را منتشر کرد: اولین بازار غیرمتمرکز تولید اثبات zero-knowledge

منبع: Brevis

Brevis امروز وایت‌پیپر ProverNet را منتشر کرد که معماری بازار غیرمتمرکز تولید اثبات zero-knowledge آن را معرفی می‌کند؛ معماری که از آزمایش‌های دنیای واقعی در محیط تولید پروتکل‌های چندزنجیره‌ای (multi-chain) اصلی به دست آمده است. این سیستم یک محدودیت اصلی در زیرساخت‌های اثبات فعلی را برطرف می‌کند؛ ناتوانی در خدمت‌رسانی موثر به بارهای کاری محاسباتی ناهمگون که نیازمند سخت‌افزار، سیستم‌های اثبات و روش‌های بهینه‌سازی متفاوت هستند.

ProverNet تولید اثبات را به عنوان یک بازار دوطرفه در نظر می‌گیرد که در آن برنامه‌ها درخواست‌های خاصی را ارسال می‌کنند و اثبات‌کننده‌های (prover) تخصصی برای برآورده کردن این نیازها پیشنهاد قیمت می‌دهند. این بازار از طریق مکانیسم Truthful Online Double Auction (TODA) عمل می‌کند که برای مدیریت همزمان چندین نوع اثبات و در عین حال اطمینان از پیشنهاد قیمت صادقانه و تخصیص بهینه منابع طراحی شده است. ProverNet قصد دارد تا پایان سال ۲۰۲۵ راه‌اندازی شود.

مقیاس تولید، محدودیت‌های زیرساختی را آشکار می‌کند

زیرساخت فعلی Brevis بیش از ۱۲۴ میلیون اثبات برای ۹۸,۰۰۰ کاربر در پروتکل‌هایی مانند PancakeSwap، Uniswap، Euler، Linea و MetaMask تولید کرده و توزیع ۲۲۴ میلیون دلار پاداش به صورت trustless را تسهیل کرده است. این استقرارها به طور برجسته‌ای تنوع کارهای اثبات را آشکار کرده‌اند که باعث می‌شود معماری یک ارائه‌دهنده واحد نتواند به طور موثر به آن‌ها خدمت‌رسانی کند.

سیستم تخفیف کارمزد VIP در PancakeSwap نیازمند تولید اثبات‌های زیر یک ثانیه برای هر معامله‌گر قبل از هر معامله برای تایید صلاحیت است. توزیع مشوق‌های Euler هر چهار ساعت ۱۰۰,۰۰۰ آدرس را پردازش می‌کند و اولویت را به توان عملیاتی نسبت به تأخیر می‌دهد. فعالیت اکوسیستم Linea برای محاسبات پاداش چند پروتکلی شامل ۶۱,۹۰۲ آدرس، ۱۲.۱ میلیون اثبات تولید کرده است. هر بار کاری نیازمند پیکربندی‌های سخت‌افزاری، سیستم‌های اثبات (SNARKs در مقابل STARKs) و ویژگی‌های عملکردی متفاوت است.

مایکل، مدیرعامل و هم‌بنیان‌گذار Brevis، اظهار داشت: "سیستم‌های اثبات موجود برای موارد استفاده خاصی مانند Rollupهای خاص، ماشین‌های مجازی واحد یا انواع بارهای کاری همگون بهینه‌سازی شده‌اند. پیدایش ProverNet از مشاهده ما ناشی می‌شود که برنامه‌ها اساساً به رویکردهای اثبات متفاوتی نیاز دارند. بازاری که در آن اثبات‌کننده‌های تخصصی رقابت می‌کنند، کارآمدتر از هر اپراتور واحدی است که تلاش می‌کند به همه موارد استفاده خدمت‌رسانی کند."

معماری بازار و مکانیسم TODA

معماری ProverNet انواع مختلف اثبات را به عنوان کالاهای مختلف در یک حراج در نظر می‌گیرد. برنامه‌ها الزامات اثبات، از جمله انواع پردازش (اجرای zkVM، اثبات‌های داده، تجمیع بازگشتی)، مهلت‌ها، حداکثر کارمزدها و پارامترهای کیفیت را مشخص می‌کنند. مکانیسم TODA تخصیص بهینه را در هر دور محاسبه می‌کند و درخواست‌های ناهمگون را با قابلیت‌های اثبات مناسب مطابقت می‌دهد.

این مکانیسم یک چالش منحصر به فرد در بازار تولید اثبات را برطرف می‌کند. مکانیسم‌های حراج سنتی بر اساس فرض کالاهای همگون هستند، در حالی که TODA قادر است چندین نوع اثبات را به طور همزمان مدیریت کند. کارهای پیچیده اثبات به زیروظایف تجزیه می‌شوند که به صورت مشارکتی توسط اثبات‌کننده‌های مختلف اجرا می‌شوند.

به عنوان مثال، یک اثبات zkVM ممکن است شامل تکه‌تکه کردن (chunking) روی یک اثبات‌کننده، فشرده‌سازی روی دیگری، تجمیع روی سومی و در نهایت تایید بسته‌بندی روی یک سیستم تخصصی چهارم باشد.

TODA چندین ویژگی اقتصادی را تضمین می‌کند:

صداقت (استراتژی بهینه، پیشنهاد قیمت صادقانه است)

تعادل بودجه (کارمزدهای جمع‌آوری شده از کارمزدهای پرداخت شده بیشتر است)

عقلانیت فردی (هیچ شرکت‌کننده‌ای کارهای غیرسودآور را نمی‌پذیرد)

بهینگی مجانبی (با رشد عرضه اثبات‌کننده‌ها، تخصیص به حداکثر کارایی نزدیک می‌شود).

این بازار روی Brevis Chain اجرا می‌شود که یک معماری Rollup اختصاصی است که به طور خاص برای هماهنگی حراج طراحی شده است. این معماری توان عملیاتی بازار را از ازدحام شبکه Layer 1 یا Layer 2 جدا می‌کند و در عین حال شفافیت و مشارکت بدون نیاز به مجوز را حفظ می‌کند. اثبات‌های تولید شده از طریق ProverNet می‌توانند در برابر هر بلاک‌چین هدفی تایید شوند.

Pico zkVM و اثبات بلادرنگ

ProverNet بر اساس زیرساخت اثبات موجود Brevis ساخته شده است که شامل دو محصول مکمل برای خدمت‌رسانی به نیازهای محاسباتی مختلف است.

Pico zkVM از معماری "هسته عمومی + کمک‌پردازنده با عملکرد بالا" استفاده می‌کند، جایی که یک هسته فوق‌کارآمد به یک شتاب‌دهنده رمزنگاری اختصاصی متصل می‌شود و به برنامه‌ها اجازه می‌دهد یک ماشین مجازی پایدار را اجرا کنند و در عین حال از بهینه‌سازی‌های سخت‌افزاری هدفمند بهره‌مند شوند.

Pico Prism اخیراً به پوشش اثبات ۹۹.۶ درصدی یک بلاک اتریوم با محدودیت گس ۴۵ میلیون دست یافته و ۹۶.۸ درصد از اثبات‌ها را در ۱۲ ثانیه تکمیل کرده است، با میانگین زمان اثبات ۶.۹ ثانیه. این سیستم از یک کلاستر GPU 64×RTX 5090 استفاده می‌کند و به اثبات‌های بلادرنگ با هزینه سخت‌افزاری ۵۰ درصد کمتر نسبت به zkVM پیشرو در بازار قبلی دست می‌یابد.

ZK Data Coprocessor به قراردادهای هوشمند اجازه می‌دهد تا به داده‌های تاریخی بلاک‌چین دسترسی پیدا کنند و محاسبات قابل تایید off-chain انجام دهند.

برنامه‌های پشتیبانی شده توسط این سیستم شامل نرخ VIP در PancakeSwap (بررسی پیش از معامله حجم معاملات ۳۰ روزه)، توزیع پاداش trustless در Euler (پردازش موجودی‌های وزنی زمانی هزاران آدرس) و تخفیف‌های مسیر در Uniswap v4 (تایید صلاحیت معامله بدون دفتر کل متمرکز) هستند.

این یکپارچه‌سازی‌ها الزامات اثبات داده‌محور را نشان می‌دهند که با تایید محاسبات عمومی متفاوت است.

در کنار هم، این سیستم‌ها امکان‌پذیری اقتصادی تایید رمزنگاری بلادرنگ در لایه بنیادی را در حالی که به انواع بارهای کاری ناهمگون که معماری بازار ProverNet را تشویق می‌کنند، خدمت‌رسانی می‌کنند، تثبیت می‌کنند.

تأثیر بر اکوسیستم ZK

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 را نشان نمی‌دهد.