قدمت شركة Anthropic نظام FlashProve، وهو نظام برمجي بالكامل يهدف إلى التحقق من أن مزود خدمة الذكاء الاصطناعي في السحابة يشغّل النموذج المعلن فعلاً. تنضم الشركة بذلك إلى مجال الأبحاث المعروفة باسم zKML (Zero-Knowledge Machine Learning)، التي تعتمد على إثباتات عدم الكشف عن المعرفة، وهي تقنية تسمح بإثبات إجراء حساب ما دون الكشف عن عناصره الداخلية.
تتيح الآلية إثبات أن الإجابة هي بالفعل نتيجة حساب نموذج معين، دون الكشف عن أوزان النموذج، أي معاييره المتعلمة. يقوم الخادم أولاً بإنشاء « التزام »، وهو بصمة تحدد اختيار الأوزان بدقة. وعند طلب العميل، ينتج بعد ذلك ملف إثبات.
أداء مقاس في إعداد محدد
تقدم Anthropic نتائج تم الحصول عليها باستخدام إعداد محدد جيدًا: نموذج MoE (مختلط الخبراء، الذي يُفعّل جزءًا فقط من مكوناته في كل حساب)، Llama 4 Maverick، مُكمم بدقة 4 بت، أي بدقة أقل. يستخدم الخادم وحدة معالجة رسومات H100 و24 نواة CPU، ويتم معالجة تسلسلات الإخراج التي تتكون من 1024 رمزًا على دفعات من 24.
وفقًا لهذه القياسات، يستغرق توليد البصمة الأولية حوالي 39 دقيقة، ويبلغ حجمها عدة ميغابايت. يمكن إعادة استخدامها لحوالي 16 مليون طلب قبل إعادة حسابها. يبلغ معدل توليد الإثباتات حوالي 110 رمزًا في الثانية، ومتوسط حجم الإثبات 18.78 ميغابايت. وتستغرق عملية التحقق منه على نواة CPU واحدة 21 ثانية.
وقت حساب أعلى بكثير من الاستدلال
لتشغيل النظام على وحدة معالجة رسومات واحدة، تخزن Anthropic الأوزان في ذاكرة الوصول العشوائي للمضيف، ثم تقطع طبقات الشبكة العصبية إلى أجزاء يعالجها GPU بالتتابع. تعمل الشركة بدقة 4 بت، أي بالحساب الصحيح، وهو أبسط في الترجمة إلى معادلات تشفيرية. كما يستفيد FlashProve من بنية MoE لإثبات مسار الحساب الذي اتبعه الخبراء النشطون فقط.
هذه الخيارات لا تكفي لجعل العملية سريعة. إذ يتطلب توليد الإثبات وقت حساب أطول من الاستدلال الخام بمقدار 72 إلى 94 مرة، الذي يتم باستخدام برنامج vLLM. هذا العبء الزائد، حسب المصدر، يمنع الاستخدام المستمر.
قيود السياق والمهلة الزمنية
اختارت Anthropic توليد الإثبات بعد الانتهاء بدلاً من أثناء العملية. هذا الخيار يقلل من تدهور تجربة المستخدم ويسمح بتكليف الحوسبة إلى آلات مخصصة، لكنه يفرض قيودًا. بما أن الاستدلال تم مسبقًا، يجب على الخادم إعادة إدخال المدخلات والمخرجات لإعادة حساب الحالات الداخلية واستخلاص أثر التنفيذ التشفيري. أما العميل، فلا يحصل على الإثبات فورًا: فعليه الانتظار 223 ثانية لدفعة من 24 تسلسلًا مكونًا من 1024 رمزًا.
تشير المصادر أيضًا إلى خطر التباين في الإجابات الناتجة عن تنفيذ باستخدام الأعداد العائمة أو فك التشفير بالعينة، وليس بفك التشفير الجشع. قد لا تتطابق هذه الإجابات، بعد موقع معين، بدقة مع الحساب المثبت. كما يشكل حجم السياق، المحدود حاليًا بـ1024 رمزًا، حدًا آخر. ومع ذلك، يتمتع FlashProve بمقاومة جوهرية لما بعد الكم، مرتبطة بعدم وجود منحنيات إهليلجية تقليدية، ويستوحي من تقنيات rollups في الطبقة الثانية على Ethereum، وهي آليات تجمع المعاملات خارج السلسلة الرئيسية.
