طرحت Cysic محرك Venus zkVM كمصدر مفتوح، مُعيدًا صياغة توليد الإثباتات كشبكة حسابية عالمية، وموضعًا ZisK ضمن نقاش سوق إثباتات L1 المزدهر في إيثيريوم (Ethereum) وفقًا لـ EIP‑8025.
الملخص

• يستبدل Venus طبقة تجريد عتاد تقليدية برؤية قائمة على الرسم البياني لسير عمل الإثبات بالكامل، ما يتيح تحسين الحوسبة على نطاق عالمي واستخدامًا أفضل لوحدات GPU.
• تُفيد Cysic بتحسن في زمن الإثبات الشامل يتجاوز 9% مقارنةً بـ ZisK 0.16.1 عبر تقليص عبء مزامنة وحدة المعالجة المركزية (CPU) مع وحدة المعالجة الرسومية (GPU) بدلًا من الاعتماد على عتاد جديد.
• يعمل ZisK بالفعل على Ethproofs، وتمت الإشارة إليه في مناقشات EIP‑8025، حيث يدّعي الفريق تحقيق إثباتات لحظر إيثيريوم في 7.4 ثانية باستخدام 24 وحدة GPU، وإثباتًا في الوقت الحقيقي على جهاز واحد RTX 4090.

أطلقت Cysic Venus، وهو محرك حسابات zkVM جديد ومفتوح المصدر يعيد هيكلة توليد الإثباتات حول شبكة حسابية عالمية بدلًا من طبقة تجريد عتاد تقليدية، ويموضع حزمة ZisK الخاصة بالشركة بوضوح داخل جدل سوق إثباتات L1 المزدهر في إيثيريوم. عند الإعلان عن الخطوة على X، وصفت Cysic Venus بأنها “مبنية فوق ZisK” وقالت إن النظام “يتخلى عن نموذج HAL التقليدي” لصالح تمثيل قائم على الرسم البياني لسير عمل الإثبات بالكامل. وكتب الفريق: “يؤدي هذا التحول النموذجي إلى ثلاث مزايا جوهرية: تحسين الحوسبة على نطاق عالمي، تقليل حركة البيانات غير الفعّالة، وتحسين ملحوظ في استخدام GPU”.

تصميم zkVM القائم على الرسم البياني {#graphfirst-zkvm-design}

بدل التعامل مع منافذ العتاد كـ سلسلة من استدعاءات دوال معزولة، تُشفّر Venus توليد إثباتات المعرفة الصفرية كـ مخطط حسابي صريح يمكن جدولة تشغيله من البداية إلى النهاية عبر وحدات GPU وFPGAs والـ ASICs المستقبلية. تقول Cysic إن هذا يسمح للمترجم بـ “إعادة ترتيب التعليمات ودمج عمليات الذاكرة عبر حدود النواة (kernel)،” ما يقلل من تدهور أداء الذاكرة بين وحدة المعالجة المركزية والمُسرّعات ويطابق بشكل أفضل الطبيعة شديدة التوازي لعمليات MSM وNTT. وفي اختبارات داخلية، قدّم محرك Venus “تحسنًا يتجاوز 9% في زمن الإثبات الشامل مقارنةً بـ ZisK 0.16.1”، وذلك أساسًا عبر تقليص عبء مزامنة CPU‑GPU بدلًا من الاعتماد على مكاسب عتاد خام.

مسار مباشر إلى خط إثباتات إيثيريوم {#direct-line-into-ethereums-proof-track}

تأتي دعوة Venus في وقت تقترح إيثيريوم (Ethereum) EIP‑8025، المعروفة باسم “Optional Execution Proofs”، والتي تُرسّخ نموذجًا متعدد المُقدّمين (multi‑prover) للتحقق من كتل L1 باستخدام zkVMs. في شرحه، تذكر Cysic أن ZisK هي “واحدة من خمسة zkVMs تم ذكرها صراحةً كمرشحات في مناقشات المجتمع الرسمية”، إلى جانب أنظمة مثل RISC Zero وopenVM، وتقول إن الفريق يمكنه بالفعل “إكمال توليد الإثباتات لكتلة من إيثيريوم في 7.4 ثوانٍ باستخدام 24 وحدة GPU”، مما يحقق أهدافًا للزمن الحقيقي. المشروع “يعمل بالفعل على Ethproofs، حيث يقوم بتقديم إثباتات في الوقت الحقيقي لكتل إيثيريوم باستخدام وحدة RTX 4090 واحدة”، كما أنه مُدرج كشريك تكامل ضمن Ethproofs بينما يتحرك النظام البيئي نحو سوق إثباتات L1.eips.

مخطط بنية تحتية ZK متكامل بالكامل {#fullstack-zk-infrastructure-play}

تقدّم Cysic Venus باعتبارها نواة تسريع البرمجيات داخل مكدس أكبر يتضمن ZisK zkVM عند نقطة دخول البروتوكول، وعتاد ASIC مخصص كقاعدة حسابية، وشبكة ComputeFi لجدولة المهام عبر المُقدّمين (provers). ويجادل الفريق: “المشكلة الحقيقية ليست نقصًا في الحوسبة الخام، بل عدم توافق معماري جوهري”، مؤكدًا أن هناك حاجة إلى zkVM مُتكامل بإحكام مع العتاد وجدولة المهام لبناء قابلية توسّع هائلة (hyperscale) على خارطة طريق zkEVM المخططه لإيثيريوم.university.