Brevis تطلق ورقة عمل ProverNet: أول سوق لا مركزي لتوليد إثباتات zero-knowledge

المصدر: Brevis

أصدرت Brevis اليوم ورقة عمل ProverNet، مقدمةً بنية سوقها اللامركزية لتوليد إثباتات zero-knowledge، والتي تم استخلاصها من اختبارات العالم الحقيقي في بيئة إنتاج بروتوكولات متعددة السلاسل (multi-chain) رئيسية. يعالج هذا النظام قيداً جوهرياً في بنية الإثبات التحتية الحالية—وهو عدم القدرة على خدمة أحمال العمل الحسابية غير المتجانسة التي تتطلب أجهزة وأنظمة إثبات وطرق تحسين مختلفة بشكل فعال.

تنظر ProverNet إلى توليد الإثبات كسوق ثنائي الجانب، حيث تقدم التطبيقات طلبات محددة ويقوم الموثقون (prover) المتخصصون بالمزايدة لتلبية هذه الاحتياجات. تعمل السوق من خلال آلية Truthful Online Double Auction (TODA)، المصممة للتعامل مع أنواع متعددة من الإثباتات في وقت واحد مع ضمان المزايدة الصادقة وتخصيص الموارد الأمثل. تخطط ProverNet للإطلاق بحلول نهاية عام 2025.

حجم الإنتاج يكشف عن قيود البنية التحتية

ولدت البنية التحتية الحالية لـ Brevis أكثر من 124 مليون إثبات لـ 98,000 مستخدم، عبر بروتوكولات مثل PancakeSwap وUniswap وEuler وLinea وMetaMask، مما سهل توزيع 224 مليون دولار من المكافآت بطريقة لا تتطلب الثقة (trustless). كشفت عمليات النشر هذه بشكل بارز عن تنوع أعمال الإثبات، مما جعل من الصعب على بنية مزود واحد خدمة هذه الأعمال بفعالية.

يتطلب نظام خصم رسوم VIP الخاص بـ PancakeSwap توليد إثباتات في أقل من ثانية للمتداولين الأفراد قبل كل عملية تداول للتحقق من الأهلية. يعالج توزيع الحوافز في Euler 100,000 عنوان كل أربع ساعات، مع إعطاء الأولوية للإنتاجية (throughput) على حساب التأخير. ولدت أنشطة نظام Linea البيئي 12.1 مليون إثبات لحساب مكافآت متعدد البروتوكولات يشمل 61,902 عنواناً. يتطلب كل حمل عمل تكوينات أجهزة وأنظمة إثبات (SNARKs مقابل STARKs) وخصائص أداء مختلفة.

صرح مايكل، الرئيس التنفيذي والمؤسس المشارك لـ Brevis، قائلاً: "أنظمة الإثبات الحالية محسنة لحالات استخدام محددة، مثل Rollups معينة، أو أجهزة افتراضية فردية، أو أنواع أحمال عمل متجانسة. يأتي ابتكار 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 مؤخراً تغطية إثبات بنسبة 99.6% لكتلة إيثريوم بحد غاز 45 مليون، وأكملت 96.8% من الإثباتات في 12 ثانية، بمتوسط وقت إثبات 6.9 ثانية. يستخدم النظام مجموعة GPU 64×RTX 5090 ويحقق إثباتات في الوقت الفعلي بتكلفة أجهزة أقل بنسبة 50% مقارنة بـ zkVM الرائد في السوق سابقاً.

يسمح ZK Data Coprocessor للعقود الذكية بالوصول إلى بيانات البلوكتشين التاريخية وإجراء حسابات قابلة للتحقق خارج السلسلة (off-chain).

تشمل التطبيقات المدعومة بهذا النظام معدل VIP الخاص بـ PancakeSwap (فحص مسبق لحجم التداول لمدة 30 يوماً)، وتوزيع مكافآت 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.