أصبحت Venus zkVM من Cysic مفتوحة المصدر بينما تتطلع Ethereum إلى أسواق إثباتية
تقوم Cysic بفتح مصادر محرك Venus zkVM الخاص بها، وإعادة صياغة توليد الإثبات كرسم بياني حسابي عالمي ووضع ZisK داخل سوق إثبات EIP-8025 الناشئ لـ Ethereum.
أصدرت Cysic محرك Venus، وهو محرك حوسبة zkVM مفتوح المصدر جديد يعيد هيكلة توليد الإثبات حول رسم بياني حسابي عالمي بدلاً من طبقة تجريد الأجهزة التقليدية، مما يضع مكدس ZisK الخاص بالشركة بشكل مباشر داخل نقاش سوق إثبات L1 الناشئ في Ethereum. عند الإعلان عن الانتقال إلى X، وصف Cysic كوكب الزهرة بأنه "مبني على قمة ZisK" وقال إن النظام "يتخلى عن نموذج HAL التقليدي" لصالح تمثيل قائم على الرسم البياني لخط أنابيب الإثبات بأكمله. وكتب الفريق: "يؤدي هذا التحول النموذجي إلى ثلاث مزايا أساسية: تحسين الحوسبة العالمية، وتقليل حركة البيانات غير الفعالة، وتحسين استخدام وحدة معالجة الرسومات بشكل ملحوظ".
الرسم البياني الأول لتصميم zkVM
بدلاً من التعامل مع الواجهة الخلفية للأجهزة كسلسلة من استدعاءات الوظائف المعزولة، تقوم Venus بتشفير توليد إثبات المعرفة الصفرية كرسم بياني حسابي واضح يمكن جدولته من البداية إلى النهاية عبر وحدات معالجة الرسومات وFPGAs وASIC المستقبلية. يقول Cysic أن هذا يسمح للمترجم "بإعادة ترتيب التعليمات ودمج عمليات الذاكرة عبر حدود kernel"، مما يقلل من تدفق الذاكرة بين وحدة المعالجة المركزية والمسرع ويتوافق بشكل أفضل مع الطابع المتوازي بشكل كبير لعمليات MSM و NTT. في الاختبارات الداخلية، حقق محرك Venus "تحسنًا شاملاً في وقت الاختبار بنسبة تزيد عن 9% مقارنةً بـ ZisK 0.16.1"، وذلك بشكل أساسي عن طريق تقليل الحمل الزائد لمزامنة وحدة المعالجة المركزية (CPU) ووحدة معالجة الرسومات (GPU) بدلاً من الاعتماد على مكاسب الأجهزة الأولية.
خط مباشر في مسار إثبات Ethereum
يأتي إعلان فينوس في الوقت الذي يضفي فيه اقتراح EIP-8025 الخاص بـ Ethereum، والذي يطلق عليه "إثباتات التنفيذ الاختيارية"، طابعًا رسميًا على نموذج متعدد المثبتات للتحقق من صحة كتلة L1 باستخدام zkVMs. في شرحها، تشير Cysic إلى أن ZisK هي "واحدة من خمس وحدات zkVM تم تسميتها صراحةً كمرشحين في مناقشات المجتمع الرسمية"، جنبًا إلى جنب مع أنظمة مثل RISC Zero وopenVM، وتقول إن الفريق يمكنه بالفعل "إكمال إنشاء إثبات لكتلة إيثريوم في 7.4 ثانية باستخدام 24 وحدة معالجة رسوميات"، وتحقيق الأهداف في الوقت الفعلي. المشروع "مباشر بالفعل على Ethproofs، ويقدم البراهين في الوقت الفعلي لكتلة Ethereum باستخدام RTX 4090 واحد"، وهو مدرج كشريك تكامل Ethproofs بينما يتحرك النظام البيئي نحو سوق إثبات L1.eips.
تشغيل البنية التحتية ZK الكاملة
يقوم Cysic بتأطير Venus باعتباره جوهر تسريع البرنامج داخل حزمة أكبر تتضمن ZisK zkVM عند نقطة إدخال البروتوكول، وأجهزة ASIC المخصصة كقاعدة حسابية وشبكة ComputeFi لجدولة المهام عبر المعالجات. يجادل الفريق بأن "المشكلة الحقيقية لا تكمن في عدم كفاية الحوسبة الأولية، بل في عدم التطابق المعماري الأساسي"، معتبرًا أن هناك حاجة إلى مجموعة متكاملة من zkVM والأجهزة والجدولة لتوسيع نطاق خريطة طريق zkEVM المخطط لها من Ethereum.university.