1 / منشور جديد: يثبت Jolt الآن برامج RISC-V بسجلات 64 بت (RV64IMAC) ، بسرعات تتجاوز تلك التي أبلغنا عنها سابقا ل 32 بت. 1.5 مليون دورة / ثانية على وحدة معالجة مركزية 32 نواة ، 500 ألف دورة / ثانية على جهاز MacBook. إليك سبب أهمية 🧵 هذا

2 / لماذا تهتم بإثبات 64 بت؟ سببان: 🔹 الأداء: تحتاج العديد من التطبيقات إلى دورات أقل مع تسجيلات 64 بت. مثال: يستغرق ضرب 256 بت 6× دورات أقل. 🔹 دعم اللغة: بعض اللغات (مثل Go) لا تقوم بتحويل البرمجيات إلى RV32 ، لذلك هناك حاجة إلى RV64 لإثبات برامج مثل Geth

3 / إذن كيف وصلت Jolt إلى سرعات RV64 التي تتطابق مع نتائج RV32 الخاصة بنا؟ سببان: 1️⃣ تم تصميم Jolt للسجلات الكبيرة. تقسم zkVMs الأخرى قيم 64 بت إلى بايت (8 عناصر حقل لكل قيمة) ، وهي نفقات عامة ضخمة. تتعامل معها حقول Jolt ذات الخصائص الكبيرة مباشرة.

4/ نتيجة لذلك ، عندما تضاعف zkVMs الأخرى حجم السجل ، فإنها غالبا ما تكون أبطأ بمقدار 2× لكل دورة. الهزة أبطأ بمقدار 1.5× فقط.

5 / 2️⃣ نستمر في التحسين. إلى جانب التقنيات المعروفة ، أضفنا تطورات جديدة على مستوى البحث. هذه المكاسب بالفعل أكثر من تعويض التباطؤ بنسبة 1.5× ، لذا فإن RV64 الذي يثبت الآن أنه يعمل بشكل أسرع من RV32 قبل شهرين.

6 / يستمر استخدام الذاكرة في الانخفاض أيضا ، الآن عند ~ 700 ميجابايت لكل مليون دورة. اليوم ، في <2 جيجابايت ، يمكنك إثبات معرفتك بالعديد من التوقيعات الرقمية أو أن عشرات الكيلوبايت من البيانات قد تم تجزئتها بشكل صحيح من SHA بشكل صحيح.

7 / مع دمج Twist & Shout ، نحن في إيقاع ثابت التالي: –العوديه - proover التدفق (احتفظ بمساحة prover أقل من 2 جيجابايت لعدد الدورات الكبيرة بشكل تعسفي ، بدون العودية) – المعرفة الصفرية