تواجه zkML حاليًا عنق زجاجة في الأداء لا يمكن تجاهله. إذا كان يتعين إنشاء إثبات معرفة بصيغة كاملة في كل مرة، فسيكون من الصعب جدًا تطبيق هذا الحل في الواقع العملي. تتطلب بيئة الإنتاج تلبية ثلاثة مؤشرات رئيسية بشكل صارم — التأخير، والتكلفة، وقابلية صيانة الكود. إن الاعتماد على الإثبات الكامل هو حل لا يستطيع الطرف الثالث تحمله بشكل أساسي.

لتحقيق突破 في الوضع الراهن، يجب النظر بجدية في عدة اتجاهات. يبدو أن الهيكلية المعيارية (المودولارية) فكرة جيدة. من خلال تفكيك عملية الإثبات، وتحسين المسارات الحرجة، يمكن تقليل استهلاك الحساب بشكل كبير مع ضمان الأمان. ربما يكون هذا هو المفتاح لجعل zkML فعلاً قابلاً للاستخدام.