أصدرت Fenbushi Capital مؤخرا منشورا شاملا في مدونة حول قياس ثمانية zkVMs مختلفة. () فيما يلي ملخص ، بما في ذلك النتائج الرئيسية والوجبات السريعة.

ما هي zkVMs؟ تم تصميم zkVMs للتحقق بشكل مشفر من صحة تنفيذ البرنامج دون الكشف عن المدخلات أو الحالات الحسابية الوسيطة. فيما يتعلق بإثبات كتل Ethereum ، تقوم zkVMs بتجميع ثلاثة ضمانات تشفير أساسية للتحقق من جميع انتقالات الحالة: · براهين تناسق ذاكرة القراءة والكتابة · براهين ترميز التعليمات · براهين التعليمات

كيف يمكن ل zkVMs توسيع نطاق Ethereum؟ بدلا من إعادة تنفيذ كل معاملة ، يمكن للمدققين التحقق من دليل تشفير موجز ، وهو فعال للغاية ، ويمكن أن يزيد من إنتاجية L1 بشكل كبير.

تقدم مدونة Fenbushi إطارا قياسيا للمقارنة يهدف إلى جعل أداء zkVM أكثر قابلية للمقارنة. يقوم بتقييم ثمانية zkVMs - SP1 و RISC Zero و OpenVM و Pico و ZKM و Jolt و Nexus و Novanet - عبر أربع مهام حسابية وثلاثة مقاييس أداء (وقت التعديل وحجم الإثبات وذروة استخدام ذاكرة الوصول العشوائي).

من بين أنظمة الإثبات المختلفة ، هناك عدد قليل من الأنظمة السائدة ، مثل FRI-STARK ، والقائمة على Nova ، والبحث عن Lasso ، و GKR. يمكن تصنيف بنى zkVM بشكل أكبر إلى نموذجين سائدين: نمط vRAM والنمط المعياري.

الأجهزة وبرامج الاختبار المستخدمة لقياس المعيار: تم إجراء المعايير على نظام Linux مزود ب Ubuntu 24.04 و 8 وحدات معالجة مركزية افتراضية و 192 جيجابايت من ذاكرة الوصول العشوائي و NVIDIA RTX 5090 GPU مع 32 جيجابايت من VRAM. تألفت برامج الاختبار الأربعة المستخدمة في التقييم ما يلي: 1. حساب رقم فيبوناتشي 100,000. 2. حساب التجزئة SHA2–2048. 3. التحقق من توقيع ECDSA باستخدام منحنى secp256k1. 4. محاكاة 100 معاملة تحويل Ethereum (ETHTransfer).

وقت إثبات SHA2-2048: بالنسبة لعمليات التشفير مثل SHA2 ، يعد التسريع المستند إلى التحويل المسبق استراتيجية تحسين شائعة.

أوقات الإثبات ل 100 معاملة ETHTransfer: ملخص: RISC Zero أبطأ قليلا من SP1 في اختبار فيبوناتشي ، لكنه يبرز في برامج الاختبار الثلاثة الأخرى باعتباره الفائز الواضح.

كفاءة الذاكرة وذروة استخدام الذاكرة: أظهر SP1 (GPU) و RISC Zero (GPU) استهلاكا ثابتا نسبيا للذاكرة بغض النظر عن برنامج الاختبار.

لوحظت أحجام الإثبات (بالكيلوبايت) على النحو التالي: تم إنتاج RISC Zero و Jolt باستمرار من بين أحجام الإثبات الأكثر إحكاما عبر المعايير التي تم تقييمها.

ملخص الأداء: بشكل عام ، يظهر أداء RISC Zero اتساقا استثنائيا ، بينما وصل كل من SP1 و OpenVM و Pico و Jolt إلى أداء رائع في بعض الفئات الفردية.

الاستنتاجات: تظهر RISC Zero و OpenVM و SP1 أداء قويا بشكل خاص، خاصة في تنفيذ المهام الحسابية المتعلقة ب EVM، مما يجعلها مرشحة رائعة لتوسيع نطاق Ethereum. يظهر RISC Zero كفاءة استثنائية عبر المقاييس الرئيسية ذات الصلة بتطبيقات blockchain ، وكل هذا مع الاستخدام الفعال للذاكرة وحجم الإثبات المضغوط. مبروك ل @RiscZero و @openvm_org و @SuccinctLabs!