باختصار: بيكو بريسما 2.0 يثبت كتل الإيثيريوم على الشبكة بمتوسط 6.1 ثواني على حد الغاز الحالي البالغ 60 مليون، حيث يتم إنهاء 99.9% من الكتل ضمن فترة الـ 12 ثانية. النظام الكامل يعمل على 16 بطاقة RTX 5090 عبر جهازين بتكلفة إجمالية تقارب 100 ألف دولار. تم اختباره ضد بيكو بريسما 1.0 على نفس قاعدة الغاز البالغة 60 مليون، حيث يقدم النظام الجديد كفاءة إثبات تبلغ ~5.3x لكل كتلة.

في فبراير، قمنا بمعاينة انتقال بيكو بريسما إلى إعداد ثنائي يتكون من 16 بطاقة GPU، مع نتائج مبكرة على نفس كتل معيار الغاز البالغة 45 مليون التي تم اختبار بيكو بريسما 1.0 عليها.

اكتمل هذا التحول الآن. 

يعمل Pico Prism 2.0 رسميًا بشكل مباشر، ومُحسّن بالكامل، ومُقاس بالأداء مباشرة على كتل غاز 60M الخاصة بالإنتاج التي تعمل عليها Ethereum اليوم.

يمثل إصدار 2.0 إعادة بناء كاملة لسلسلة zkVM عبر ISA، وبنية الإثبات الموزع، والمحاكي، وواجهة إثبات الـGPU الخلفية. والنتيجة نظام يثبت بلوكات أكبر على ربع العتاد الذي استخدمه Pico Prism 1.0، ويعمل أسرع في المتوسط، ويصل مباشرة إلى الأهداف الرئيسية لإثبات الوقت الحقيقي لدى مؤسسة Ethereum Foundation.

النتائج الرئيسية

تمت مقارنة أداء Pico Prism 2.0 على 1000 بلوك متتالية من شبكة Ethereum mainnet بدءًا من البلوك 24,000,000، ضمن حد غاز 60M الحالي للشبكة.

متوسطResultMetric زمن الإثبات6.1ثBlocks تم إثباتها خلال 12ث 99.9%Hardware16 GPU RTX 5090 عبر جهازين العدد الإجمالي لتكلفة العتاد~$100Kحد غاز البلوك60M (Ethereum mainnet الحالي)

للمقارنة العادلة وجهاً لوجه، تم إعادة اختبار إعداد Pico Prism 1.0 المكون من 64 وحدة معالجة رسومية على نفس كتل غاز 60M. متوسط نظام 1.0 هو 8.1 ثوانٍ لكل إثبات. يحقق Pico Prism 2.0 6.1 ثانية على ربع العتاد، ما يعادل تحسنًا ~5.3x في أعمال الحوسبة لكل بلوك: 

Pico Prism 1.0:  8.1ثانية × 64 وحدة معالجة رسومية ÷ 60M غاز  = 8.64 ثانية-معالجة رسومية لكل مليون غاز

Pico Prism 2.0:  6.1ثانية × 16 وحدة معالجة رسومية ÷ 60M غاز  =   1.63 ثانية-معالجة رسومية لكل مليون غاز

                                                     → ~5.3× كفاءة

من بين أهم أهداف مؤسسة Ethereum Foundation للإثبات اللحظي: زمن إثبات متوسط أقل من 10 ثوانٍ، ونفقات رأسمالية لعتاد محلي أقل من 100 ألف دولار. يحطم Pico Prism 2.0 كلا الهدفين، إذ يعمل على وحدات GPU للاستخدام الاستهلاكي يمكن لأي فريق شراؤها جاهزة.

المقاييس قابلة للتكرار بالكامل. تتوفر ملفات ثنائية على: https://github.com/brevis-network/pico-ethproofs.

داخل Pico Prism 2.0

تصل أربع ترقيات معًا في إصدار 2.0. كل واحدة منها مهمة بحد ذاتها، وبدمجها تنتج رفعًا بمقدار 5x.

1. من RISC-V 32IM إلى RISC-V 64IM

انتقل بيئة تنفيذ zkVM الخاصة بـ Pico إلى RISC-V 64IM، واستبدلت مجموعة التعليمات السابقة ذات 32 بت. تتوافق مجموعة التعليمات ذات 64 بت مع كيفية كتابة البرامج الحقيقية، ما يمنح Pico بيئة تنفيذ أكثر ثراءً ويقلل مقاطع تنفيذ التشغيل (execution traces) في معظم الأحمال. يعوّض النظام عن دارة أكثر تعقيدًا قليلًا مقابل عدد دورات أقل لكل برنامج، وعلى البلوكات الفعلية، فإن عدد الدورات الأقل هو ما يهم.

RISC-V 64IM يعمل بالكامل في Pico Prism 2.0. يجري العمل حاليًا على التحقق الصوري من تنفيذ ISA الجديد.

2. بنية من جهازين جديدتين

يعمل Pico Prism 2.0 على جهازيْن، لكل منهما 8 وحدات GPU RTX 5090، متصلتين عبر وصلة ربط بسرعة 100 Gbps. وفي المركز توجد وحدة جدولة عالمية تعمل كلوحة مهام مشتركة لمسار إثبات البلوك. يسحب كل جهاز العمل ديناميكيًا من وحدة الجدولة بدل استلام تعيينات مقسمة مسبقًا بشكل ثابت.

تم بناء هذه البنية حول ثلاث مبادئ:

الجدولة العالمية. المهام غير المنجزة تعيش في مخزن مشترك. يمكن لأي جهاز المطالبة بها بينما يتحرر، ما يحافظ على انشغال وحدات معالجة الرسوم بدل انتظار العمل القادم من الأعلى حتى يكتمل.

قرب البيانات. يقوم كل جهاز على حدة بتشغيل نفس المحاكاة وإنتاج سجلات محلية متسقة. لا تحتاج وحدة الجدولة سوى إلى إرسال فهارس المهام بدلًا من أصول وسيطة ثقيلة. عندما تكون المهام المحلية متاحة، تفضّلها الأجهزة، ما يقلل حركة المرور بين الأجهزة إلى الحد الأدنى.

أقصى قدر من التوازي. تُسحب مهام دمج RISC-V وقطع (chunk) من شجرة الإثبات ديناميكيًا، مع موازنة تحميل ذاتية عبر جميع 16 وحدة معالجة رسومية.

النتيجة هي مسار إثبات يتصرف كطابور عمل موزع بدل تسلسل ثابت.

3. محاكاة مسبقة (Ahead-of-Time)

كانت محاكاة Pico Prism 1.0 تفسر البرامج أثناء التشغيل، وتفك ترميز كل تعليمة وإرسالها لحظيًا. تعمل محاكاة 2.0 بشكل أصلي اعتمادًا على كود Rust تمت ترجمته مسبقًا، ومولّد مباشرة من ملفات ELF، ما يلغي تمامًا نفقات فك/إرسال التعليمة لكل تعليمة.

كفاءة الواجهة مهمة أكثر مما تبدو، لأن الإثبات اللحظي عبارة عن مسار عمل متوازن. إذا لم تستطع المحاكاة تزويد وحدات الـGPU بالعمل بسرعة كافية، ستبقى وحدات الـGPU في انتظار. تُزيل ترجمة AOT حصة معتبرة من تكلفة الواجهة، وتبقي مسار الإثبات مزودًا باستمرار.

4. إعادة كتابة كاملة لـ CUDA

تمت إعادة كتابة واجهة GPU الخلفية لـ Pico من الصفر، مع تحسين عميق عبر المكونات التي تقع على المسار الحرج لكل إثبات. الآن تستخدم التزام FRI دفعة NTT من نوع LDE تكيفية، ويستخدم فتح FRI عكس دفعة من مونتغمري، وتعمل حسابات القسمة عبر مُترجم JIT مع تمثيل قيود IR مُحسّن.

توفر المكدس المعاد كتابته مكاسب سرعة فورية، ويقدّم أساسًا أنظف وأكثر قابلية للتوسعة للهندسات المستقبلية للـGPU ولتطورات نظام الإثبات.

نظرة مستقبلية

كانت المنافسة نحو إثبات Ethereum في الوقت الحقيقي هي التحدي المحدد لمجال zkVM خلال العامين الماضيين. في ديسمبر 2025، أعلنت Ethereum Foundation أن سباق الأداء حُسم فعليًا، وانتقلت إلى التركيز على أسس السلامة (soundness) لدمج L1 zkEVM خلال عام 2026.

يعد Pico Prism 2.0 نظام الإنتاج الخاص بجانب الأداء. في المستقبل، تستمر الأعمال في جانب السلامة (soundness). يساهم Brevis بنشاط إلى جانب خارطة طريق الأمان لدى EF لضمان أن يحقق Pico Prism هدف أمان قابل للإثبات 128 بت المحدد لدمج L1 zkEVM، مع أن التحقق الصوري من ISA RISC-V 64IM الجديد جارٍ بالفعل كجزء من هذا العمل.

في مارس 2026، تم اختيار Brevis ضمن أحد فرق الإثبات الأربع في مبادرة الإثبات المحلية (On-Prem Proving Initiative) التابعة لمؤسسة Ethereum Foundation عبر برنامج Ethproofs. يمول التمويل التجريبي المجموعة لإثبات 1 من كل 10 كتل من Ethereum L1 على أجهزة مملوكة ذاتيًا في ظل ظروف واقعية، لاختبار ما إذا كان إثبات ZK يمكن أن يتوسع كبنية تحتية لا مركزية بدل الاعتماد على عدد قليل من مقدمي خدمات السحابة. يبدأ البرنامج في مايو 2026، وهو أقرب شيء حتى الآن إلى بروفة تجريبية فعلية لدمج zkEVM الخاص بـ L1 بشكل مباشر.

تأخذ كل خطوة في هذا المسار Pico Prism أقرب إلى أن تصبح ZK جزءًا من البنية التحتية الأساسية لـ Ethereum. 

نبذة عن Brevis

Brevis عبارة عن منصة حوسبة قابلة للتحقق مدعومة بإثباتات المعرفة الصفرية، تعمل كطبقة حوسبة لانهائية لـ Web3. يمكن للتطبيقات تفريغ الحسابات المكلفة خارج السلسلة مع إثبات كل نتيجة على السلسلة. يتضمن مكدس Brevis Pico zkVM للحوسبة العامة، وZK Data Coprocessor للوصول غير القابل للثقة إلى بيانات البلوك تشين التاريخية، وPico Prism للإثبات اللحظي لبلوكات Ethereum (تغطية 99.8% على 16 وحدة معالجة رسومية، وتحقيق هدف عدة Ethereum Foundation البالغ 100 ألف دولار للأجهزة)، وVera للتحقق من أصالة الوسائط المثبتة عبر ZK، وProverNet، سوق لا مركزي لتوليد إثباتات ZK يعمل الآن على الشبكة الرئيسية. حتى الآن، ولّد Brevis 340 مليون+ إثبات عبر 50+ بروتوكول على 8+ سلاسل بلوك تشين.