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