الذكاء الاصطناعي في Frontier يبدو مخيفا فقط لأن معظمه لا يزال يعمل كصندوق أسود مع شعار جميل في الأعلى. ما @inference_labs يفعله مع DSperse + JSTprove هو في الأساس قول: "حسنا، أثبت ذلك." عدت إلى ورقة DSperse حيث وصفوها بأنها التحقق الاستراتيجي للتشفير للحسابات الفرعية عالية القيمة بدلا من تنكر SNARK الكامل. أجزاء من النموذج تصبح وحدات قابلة للإثبات بشكل مستقل، بحيث يمكنك قفل بوابات الأمان، أو كاشفات الشذوذ، أو الرؤوس الخاصة دون أن تسحب الشبكة بأكملها إلى جحيم ZK. من ناحية أخرى، JSTprove بالإضافة إلى المستودع مفتوح المصدر في منظمتهم على GitHub يمنحك خط أنابيب متكامل على خلفية Polyhedra Expander: إدخال نموذج ONNX، وCLI يخرج إثباتات وقطع أثرية قابلة للتدقيق، دون الحاجة إلى خلفية عميقة في التشفير. ❯ DSperse يقرر ما يستحق الإثبات ❯ JSTprove يتعامل مع كيفية إثباته وكشفه معظم مجموعات "الحدود الذكاء الاصطناعي" لا تزال تطلب منك الوثوق بالمعايير وليس السلوك. هذا المزيج يقلب الأمر: تختار أوضاع الفشل التي ترفض المخاطرة بها، وتثبت بالضبط هناك. إذا كنت تبني أنظمة جادة في مجال الروبوتات أو المالية أو مجال الوكلاء، فإن الخطوة الصادقة التالية بسيطة: رسم نموذج التهديد الخاص بك، ثم اسأل عن الأجزاء التي ستوجهها فعليا عبر DSperse + JSTprovive. إذا كان الجواب هو "لا شيء"، فأنت لا تطارد الثقة بعد #zkML