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

العيب #1: لا يوجد تحسين عالمي يقوم HAL بإطلاق النوى واحدة تلو الأخرى، مخفيا الحسابات الكاملة. هذا يحجب : - حركة بيانات الجهاز المضيف↔بكفاءة - تعبئة النوى في مخططات CUDA - التوازي الحقيقي بين وحدات معالجة الرسومات على مستوى البيانات النتيجة: مزامنة كبيرة بين وحدة معالجة الرسومات والمعالج المركزي واستخدام منخفض.

العيب #2: ضعف الأمان وقابلية التدقيق تحتاج أنظمة ZK القوية إلى رؤية واضحة في: - تفاعلات النسخ بين فيات–شامير - التزامات الإثبات وتخفيضات IOP يمكن للرسم البياني الحاسوبي أن يحمل هذه المعلومات. HAL يخفيه داخل دالة Prove() في الصندوق الأسود.

العيب #3: يحد من التصميم المشترك للأجهزة المستقبلية قد تدعم المسرعات الناشئة بشكل أصلي أجزاء من الإثبات (مثل فيات-شامير، توليد الأثر، إلخ). يمكن تجميع الرسوم البيانية إلى أجهزة جديدة، بينما لا يمكن تجميع دوال Prove() المعتمة.

كان HAL جسرا عمليا بين المعالج المركزي ووحدة معالجة الرسوميات. لكن على المدى الطويل، يجب أن تكون أجهزة ZK Provers وZKVMs أصلية للرسم البياني لتحقيق تحسين عالمي، وقابلية تدقيق قوية، وتصميم مشترك حقيقي بين الأجهزة والبرمجيات. ⚡️