أصدرت شركة Brevis ورقة ProverNet البيضاء، والتي توضح بالتفصيل أول سوق لامركزي لتوليد إثباتات المعرفة الصفرية.
المصدر: بريفيس
أصدرت شركة Brevis اليوم ورقة ProverNet البيضاء، مقدمةً بنيتها التحتية اللامركزية لتوليد أدلة المعرفة الصفرية، والمستمدة من اختبارات عملية في بيئة إنتاج بروتوكولات متعددة السلاسل شائعة الاستخدام. يعالج هذا النظام قيدًا أساسيًا في البنية التحتية الحالية لإثباتات المعرفة، وهو عدم القدرة على تلبية أحمال عمل حوسبة متنوعة بكفاءة، والتي تتطلب أجهزة وأنظمة إثباتات مختلفة وطرق تحسين مختلفة.
تنظر ProverNet إلى توليد الأدلة كسوق ذي وجهين، حيث تُقدّم التطبيقات طلبات محددة، ويتنافس مُقدّمو الأدلة المتخصصون لتلبية هذه الاحتياجات. يعمل السوق من خلال آلية مزاد إلكتروني مزدوج صادق، مُصمّمة للتعامل مع أنواع متعددة من الأدلة في آنٍ واحد، مع ضمان نزاهة المزايدة والتخصيص الأمثل للموارد. يُخطط لإطلاق ProverNet بنهاية عام ٢٠٢٥.
أنتجت البنية التحتية الحالية لشركة Brevis أكثر من 124 مليون نسخة تجريبية لـ 98,000 مستخدم، ممتدةً عبر بروتوكولات مثل PancakeSwap وUniswap وEuler وLinea وMetaMask، مما سهّل توزيع مكافآت بقيمة 224 مليون دولار أمريكي دون الحاجة إلى الثقة. وقد كشفت هذه النشرات بوضوح عن تنوع أعمال النسخ التجريبية، مما صعّب على بنية مزوّد واحد تقديم خدمة فعّالة.
يتطلب نظام خصم رسوم كبار الشخصيات من PancakeSwap إنشاء إثباتات في أقل من ثانية للمتداولين الأفراد قبل كل صفقة للتحقق من الأهلية. يعالج نظام توزيع حوافز Euler 100,000 عنوان كل أربع ساعات، مع إعطاء الأولوية للإنتاجية على زمن الوصول. وقد ولّد نشاط منظومة Linea 12.1 مليون إثبات لحساب المكافآت متعددة البروتوكولات، بما في ذلك 61,902 عنوان. يتطلب كل عبء عمل تكوينات أجهزة مختلفة، وأنظمة إثبات (SNARKs مقابل STARKs)، وخصائص أداء مختلفة.
صرح مايكل، الرئيس التنفيذي والمؤسس المشارك لشركة Brevis، قائلاً: "أنظمة الإثبات الحالية مُحسّنة لحالات استخدام محددة، مثل بعض عمليات التجميع، أو الآلات الافتراضية الفردية، أو أنواع أحمال العمل المتجانسة. نشأت ProverNet من ملاحظتنا أن التطبيقات تتطلب بشكل أساسي أساليب إثبات مختلفة. السوق الذي يتنافس فيه مُثبتون متخصصون أكثر كفاءة من أي مُشغّل واحد يسعى لخدمة جميع حالات الاستخدام."
تتعامل بنية ProverNet مع أنواع مختلفة من الأدلة كسلع مختلفة في المزاد. تحدد التطبيقات متطلبات الأدلة، بما في ذلك أنواع المعالجة (تنفيذ zkVM، أدلة البيانات، التجميع التكراري)، والمواعيد النهائية، والحد الأقصى للرسوم، ومعايير الجودة. تحسب آلية TODA التخصيص الأمثل في كل جولة، مع مطابقة الطلبات غير المتجانسة مع إمكانيات إثبات مناسبة.
تُعالج هذه الآلية تحديًا فريدًا في سوق توليد الأدلة. تعتمد آليات المزادات التقليدية على افتراض تجانس المنتجات، بينما تستطيع TODA التعامل مع أنواع متعددة من الأدلة في آنٍ واحد. تُقسّم مهام الأدلة المعقدة إلى مهام فرعية، ينفذها مُثبتون مختلفون بشكل تعاوني.
على سبيل المثال، قد يتضمن دليل zkVM التجزئة على جهاز إثبات واحد، والضغط على جهاز إثبات آخر، والتجميع على جهاز إثبات ثالث، وأخيرًا التحقق من صحة التعبئة على نظام متخصص رابع.
تضمن TODA العديد من الخصائص الاقتصادية:
الصدق (الاستراتيجية المثلى هي تقديم عرض صادق)
رصيد الميزانية (الرسوم المحصلة تتجاوز الرسوم المدفوعة)
العقلانية الفردية (لا يقبل أي مشارك مهام غير مربحة)
الأمثلية التقريبية (مع نمو العرض من المثبتين، يقترب التخصيص من الحد الأقصى للكفاءة).
يعمل هذا السوق على سلسلة Brevis، وهي بنية تجميعية مخصصة مصممة خصيصًا لتنسيق المزادات. تعزل هذه البنية إنتاجية السوق عن ازدحام الشبكة في الطبقة الأولى والثانية، مع الحفاظ على الشفافية والمشاركة دون إذن. يمكن التحقق من صحة الأدلة المُولّدة عبر ProverNet باستخدام أي سلسلة كتل مستهدفة.
يعتمد ProverNet على البنية التحتية الحالية لإثباتات Brevis، والتي تتضمن منتجين متكاملين لتلبية احتياجات حسابية مختلفة.
يتبنى Pico zkVM بنية "النواة العامة + المعالج المساعد عالي الأداء"، حيث يتم توصيل النواة فائقة الكفاءة بمسرع تشفير مخصص، مما يسمح للبرامج بتشغيل جهاز افتراضي مستقر مع الاستفادة من تحسينات الأجهزة المستهدفة.
حقق Pico Prism مؤخرًا تغطية إثباتية بنسبة 99.6% لكتلة إيثريوم ذات حد غاز يبلغ 45 مليونًا، حيث أكمل 96.8% من الإثباتات في 12 ثانية، بمتوسط وقت إثبات يبلغ 6.9 ثانية. يستخدم النظام مجموعة معالجات رسومية 64×RTX 5090، ويحقق إثباتات فورية بتكلفة أجهزة أقل بنسبة 50% مقارنةً بنظام zkVM الرائد في السوق سابقًا.
يتيح معالج البيانات ZK للعقود الذكية الوصول إلى بيانات blockchain التاريخية وإجراء حسابات قابلة للتحقق خارج السلسلة.
تتضمن التطبيقات التي يدعمها هذا النظام معدل VIP الخاص بـ PancakeSwap (التحقق قبل المعاملة لحجم التداول لمدة 30 يومًا)، وتوزيع المكافآت بدون ثقة من Euler (معالجة الأرصدة المرجحة بالوقت لآلاف العناوين)، وخصومات مسار Uniswap v4 (التحقق من أهلية المعاملة بدون دفتر مركزي).
تُظهر هذه التكاملات متطلبات الإثبات المكثفة للبيانات والتي تختلف عن التحقق الحسابي للأغراض العامة.
تعمل هذه الأنظمة معًا على إنشاء الجدوى الاقتصادية للتحقق التشفيري في الوقت الفعلي على الطبقة الأساسية مع خدمة أنواع أحمال العمل غير المتجانسة التي تحفز بنية سوق ProverNet.
تُمثل ProverNet تحولاً من البنية التحتية لمورد واحد إلى تخصيص الموارد بناءً على احتياجات السوق. عادةً ما تُحسّن شبكات المُورّدين الحالية لحالات استخدام محدودة (مثل: أدلة تجميعية محددة، أو أجهزة افتراضية محددة، أو أنواع عمل متجانسة)، مما يحد من قدرتها على تلبية المتطلبات المتنوعة بكفاءة.
يتيح نموذج مزاد السوق لفرق الإثبات التركيز على أهداف تحسين محددة (مثل معالجة الدفعات القائمة على 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.
مرحبًا بكم في الانضمام إلى مجتمع BlockBeats الرسمي:
مجموعة اشتراكات التلجرام: https://t.me/theblockbeats
مجموعة مناقشة تيليجرام: https://t.me/BlockBeats_App
الحساب الرسمي على تويتر: https://twitter.com/BlockBeatsAsia
هذا المحتوى لأغراض معلوماتية وتعليمية فقط، ولا يمثل نصيحة استثمارية تتعلق بـ BTCC. تبذل BTCC قصارى جهدها ولكنها لا تضمن صحة أو دقة أو أصالة المحتوى المذكور أعلاه.