للتو رأيت أنه عاد إلى قائمة الترتيب، حقاً أمر مرحب به، يستحق الاحتفال. إذاً دعونا نستمر في بذل الجهود. للتو شاهدت التغريدة الجديدة من @inference_labs، لدي وجهة نظر جديدة:

المفتاح في التطبيق الإنتاجي لـ zkML ليس "إثبات النموذج بالكامل"، بل هو إثبات ذكي لأجزاء ضرورية فقط.

التحقق من النموذج الكامل؟ بطيء جداً، مكلف جداً، غير قابل للتوسع - قد يُستبعد مباشرة.

التصميم المعياري + الإثبات الموزع، هذا هو الحل الأمثل.