أصدر Brevis الورقة البيضاء لـ ProverNet، والتي توضح بالتفصيل أول سوق لامركزي لتوليد إثباتات المعرفة الصفرية.

دليل Chainfeeds:

سيتم إطلاق ProverNet رسميًا قريبًا، وسيتم الإعلان عن مزيد من التفاصيل التنفيذية والجدول الزمني لاحقًا.

مصدر المقال:

كاتب المقال:

Brevis

وجهة نظر:

Brevis: يعتبر هيكل ProverNet أنواع الإثبات المختلفة كسلع مختلفة في مزاد. تحدد التطبيقات متطلبات الإثبات، بما في ذلك نوع المعالجة (تنفيذ zkVM، إثبات البيانات، التجميع التكراري)، الموعد النهائي، الحد الأقصى للرسوم ومعايير الجودة. تقوم آلية TODA بحساب التوزيع الأمثل في كل جولة، وتطابق الطلبات غير المتجانسة مع قدرات الإثبات المناسبة. تحل هذه الآلية التحديات الفريدة لسوق توليد الإثباتات. تعتمد آليات المزاد التقليدية على فرضية تجانس السلع، بينما يمكن لـ TODA التعامل مع أنواع متعددة من الإثباتات في نفس الوقت. يتم تقسيم مهام الإثبات المعقدة إلى مهام فرعية، ينفذها متعاونون مختلفون من المثبتين. على سبيل المثال، قد يتضمن إثبات zkVM توليد تقسيمات على مثبت واحد، وضغطها على مثبت آخر، وتجميعها على مثبت ثالث، وأخيرًا تغليف التحقق النهائي في نظام متخصص رابع. تضمن TODA عدة خصائص اقتصادية: الأصالة (الاستراتيجية المثلى هي تقديم عروض صادقة)؛ توازن الميزانية (الرسوم المحصلة تتجاوز المدفوعات)؛ العقلانية الفردية (لا يقبل أي مشارك مهمة غير مربحة) والكفاءة القصوى التدريجية (مع زيادة عدد المثبتين، يقترب التوزيع من أقصى كفاءة). تم بناء ProverNet على بنية إثبات Brevis الحالية، والتي تتضمن منتجين متكاملين لخدمة احتياجات الحوسبة المختلفة. يستخدم Pico zkVM هيكل "نواة عامة + معالج مساعد عالي الأداء"، حيث يتم ربط نواة بسيطة وفعالة بمعجل تشفير مخصص، مما يسمح للبرامج بالحصول على تحسينات عتادية موجهة أثناء تشغيل آلة افتراضية مستقرة. حقق Pico Prism مؤخرًا تغطية إثبات بنسبة 99.6% لكتل Ethereum بحد غاز 45 مليون، وأكمل 96.8% من الإثباتات خلال 12 ثانية، بمتوسط وقت إثبات 6.9 ثانية. يستخدم هذا النظام عنقودًا من 64×RTX 5090 GPU، ويحقق إثباتًا في الوقت الفعلي بتكلفة عتادية أقل بنسبة 50% من أفضل zkVM في السوق سابقًا. يتيح معالج بيانات ZK المساعد للعقود الذكية الوصول إلى بيانات البلوكشين التاريخية وتنفيذ حسابات خارج السلسلة يمكن التحقق منها تشفيريًا. تشمل التطبيقات المدعومة من النظام رسوم VIP في PancakeSwap (التحقق من حجم التداول خلال 30 يومًا قبل الصفقة)، توزيع المكافآت غير الموثوق به في Euler (معالجة أرصدة موزونة بالوقت لآلاف العناوين)، وحوافز التوجيه في Uniswap v4 (التحقق من أهلية الصفقة دون الحاجة إلى دفتر مركزي)، وغيرها. توضح هذه التكاملات الحاجة إلى إثباتات كثيفة البيانات تختلف عن التحقق من الحوسبة العامة. تؤسس هذه الأنظمة معًا الجدوى الاقتصادية للتحقق التشفيري في الوقت الفعلي على مستوى الطبقة الأساسية، مع خدمة أنواع أعباء العمل غير المتجانسة التي تحفز هيكل سوق ProverNet. يمثل ProverNet تحولًا من بنية تحتية لمزود إثبات واحد إلى تخصيص الموارد بناءً على طلب السوق. غالبًا ما يتم تحسين شبكات المثبتين الحالية لحالات استخدام ضيقة (مثل إثبات Rollup محدد، آلة افتراضية محددة، أو نوع عمل متجانس)، مما يحد من قدرتها على خدمة الاحتياجات المتنوعة بكفاءة. يسمح نموذج المزاد في السوق لفرق الإثبات بالتركيز على أهداف تحسين محددة (تجميع قائم على STARK، إثبات SNARK منخفض الكمون، عمليات تشفير محددة)، دون الحاجة لبناء بنية تحتية عامة، بينما يمكن للتطبيقات الحصول على تسعير تنافسي وضمان الحصول على الخدمة، دون التأثر بقفل الموردين. بالنسبة للمطورين، يزيل هذا معضلة الموازنة بين بناء بنية تحتية مخصصة للإثبات (مكلفة وتستغرق وقتًا طويلاً) والاعتماد على خدمات مركزية (تدخل افتراضات الثقة)، حيث يضمن التحقق التشفيري صحة الحسابات، وتضمن المنافسة السوقية كفاءة التسعير وتوافر القدرة.