أنثروبيك تطلق FlashProve: التحقق من أن النموذج المطلوب هو من أجاب خلال 17 ثانية

أنت تدفع ثمن نموذج من الفئة العليا، لكن الإجابة التي تصلك تبدو بسيطة على نحو مريب. والتحقق من ذلك شبه مستحيل: الأوزان مغلقة، والإجابة تبدو معقولة، ويمكن للموجّه (الراوتر) بينك وبين المزوّد أن يستبدل بنموذج أرخص دون أن تلاحظ. أصدرت أنثروبيك FlashProve كمشروع مفتوح المصدر، وهي أول محاولة لجعل هذا التحقق عمليًا.

كيف يعمل

الفكرة تشبه الختم الموثّق. ينشر المزوّد مسبقًا بصمة رقمية لأوزانه، أي التزامًا لا يمكن منه استعادة الأوزان نفسها. ويرفق بكل إجابة ملف إثبات. فإذا طابق الإثبات البصمة المنشورة، فهذا يعني أن هذا النموذج بهذه الأوزان هو من حسب الإجابة.

لا يحتاج المتحقق إلى الأوزان ولا إلى وحدة معالجة رسومية. يكفي حاسوب عادي. وفي الخلفية يوجد zkSNARK، وهي طريقة تشفيرية معروفة منذ زمن طويل: تتيح إثبات أن عملية حسابية نُفذت بشكل صحيح دون كشف بيانات الإدخال الخاصة بها (وهي هنا الأوزان).

تخيّل أنك تستخدم خدمة تجميع تعد بالرد عبر أقوى نموذج. بدون بروتوكول كهذا، عليك تصديقها بكلمتها. أما مع FlashProve فتحصل على الإجابة وملف، وتتحقق منه خلال ثوانٍ، وتعرف يقينًا أنه لم يحدث استبدال.

ما الذي تغيّر بالأرقام

تقنية zkSNARK نفسها ليست جديدة. الجديد أنه تم الوصول بها إلى سرعات واقعية. بحسب أنثروبيك، يبلغ حجم الإثبات لطلب من 1024 رمزًا نحو 19 ميغابايت، ويستغرق التحقق نحو 17 ثانية. أما النتيجة السابقة في هذا المجال فكانت نحو 14 ساعة من التحقق وإثباتًا بحجم 93 غيغابايت. الفرق بأضعاف كبيرة في الزمن وبعدة مراتب في الحجم، وكل ذلك على نماذج تصل إلى 400 مليار معامل.

وثمة تفصيل خاص: تذكر الورقة أن التسريع والتحسين تولاهما Claude في معظمهما. هذا لا يثبت عمومية النهج، لكنه يُظهر أن النماذج باتت تساعد بالفعل في الهندسة التشفيرية منخفضة المستوى.

لماذا هذا مهم عمليًا

السيناريو الأول: خدمات التوجيه والوكلاء (البروكسي). إذا كنت تبني منتجًا فوق خدمة تجميع، يمكنك المطالبة بإثبات والتأكد من أنهم لم يمرّروا لك نموذجًا رخيصًا بدل النموذج المعلن.

السيناريو الثاني: الأمن داخل الشركة. إذا استبدل مهاجمون النموذج في البيئة المؤسسية، فإن عدم تطابقه مع البصمة العامة سيكشف ذلك.

الثالث: القطاعات الخاضعة للتنظيم، حيث من المهم إثبات للمدقق أي نموذج بالتحديد اتخذ القرار.

القيود

الأهم: لا يزال هذا أغلى بكثير من الاستدلال العادي. توليد الإثبات ثقيل، ولا يمكن حاليًا تفعيله لكل طلب في بيئة الإنتاج. 17 ثانية للتحقق و19 ميغابايت لكل طلب تناسب التدقيق بالعينات، لكنها لا تناسب دردشة في الوقت الفعلي. إضافة إلى ذلك، وُصف البروتوكول بأنه نموذج أولي، ما يعني الحاجة إلى مراجعات مستقلة للتنفيذ ودعم من المزوّدين: فبدون نشر بصمة الأوزان لا شيء يمكن التحقق منه.

أخيرًا، يؤكد البروتوكول أصالة النموذج، لكنه لا يؤكد جودة إجاباته ولا سلامتها.

ماذا تفعل

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

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