FlashProve من Anthropic: كيف تثبت أن الرد جاء من النموذج الذي دفعت ثمنه؟

تدفع اليوم ثمن نموذج بعينه عبر وسيط يوجّه طلبك، ثم تصلك إجابة جيدة. لكن من يضمن أن النموذج الذي أجابك هو الذي دفعت ثمنه، لا نسخة أرخص بدّلها الوسيط في الخلفية؟ هذا السؤال حاول فريق Frontier Red Team في Anthropic الإجابة عنه بنظام اسمه FlashProve، نشره في 2 نوفمبر 2026 مع شيفرته مفتوحة المصدر.

بحث مفتوح لا ميزة تفعّلها

FlashProve يُرفق بكل رد «إثباتًا» تشفيريًا يقول إن النموذج الملتزم به هو من أنتج هذه الكلمات، دون كشف أوزانه. لكنه نموذج أولي: تقول الشركة إنها تشارك تقدّمًا وسيطًا، ولا خطة لنشره في Anthropic أو غيرها، بحسب TechCrunch.

كيف يثبت النظام ذلك دون كشف الأوزان؟

يعمل على مرحلتين. في الأولى ينشر مزوّد النموذج «بصمة» قصيرة تثبّت اختيارًا واحدًا للأوزان دون إظهارها. وفي الثانية، عند كل طلب، يُنتج إثباتًا بأن النموذج صاحب البصمة يخرج هذه الكلمات حين يُشغَّل على هذا السؤال. يستطيع أي شخص يملك البصمة والسؤال والرد أن يفحص الإثبات بحاسوب عادي، دون GPU ودون معرفة الأوزان.

وراء ذلك نوع من الأدلة يسمى zkSNARK، تذكر Anthropic أنه صغير الحجم وسريع الفحص ولا يكشف شيئًا عن الأوزان. وحرصت على أن تكون الضمانات قابلة للتدقيق: وضعت العبارات الأمنية الأساسية في Lean، وهي لغة للتحقق الصوري، وأرفقت شيفرة مُتحقِّق مثبتة بها. ويذكر المنشور أن Claude نفسه ساهم في تحسين النظام وكتب مواصفات البروتوكول.

رسم تجريدي من منشور Anthropic عن الإثبات التشفيري للاستدلال
رسم من منشور Anthropic البحثي — الصورة: Anthropic

الأرقام: ثقيل على من يُثبت، خفيف على من يفحص

قاست Anthropic النظام على Llama 4 Maverick، وهو نموذج مفتوح بأربعمئة مليار معامل بترميز 4 بت، على بطاقة H100 واحدة:

القياس النتيجة بحسب Anthropic
سرعة توليد الإثبات نحو 110 رموز في الثانية
حجم الإثبات نحو 19 ميغابايت لطلب من 1,024 رمز
كلفة الإثبات مقابل التشغيل نحو 70 إلى 95 ضعف زمن GPU لتشغيل النموذج نفسه على vLLM
فحص الإثبات 17 ثانية على 24 خيطًا، و21 ثانية على خيط واحد
تحميل البصمة نحو 6.5 ميغابايت

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

أربعة مواقف تخدمها الفكرة

  1. الوسطاءعميل يدفع لخدمة توجيه طلبات يريد التأكد أن النموذج الموعود هو الذي أجاب.
  2. كشف العبثخادم اختُرق أو نموذج يتنكّر في هيئة نموذج آخر لا يستطيع إنتاج إثبات صحيح.
  3. إثبات الجهدمطوّر يقول إن مكتبته فُحصت بنموذج أمني متقدم يمكنه إرفاق ما يدعم قوله.
  4. الرقابةجهة منظِّمة تتحقق من أن المزوّد يخدم نماذج معتمدة فقط.
لا تُبالغ في توقعاتك: الإثبات يقول إن الأوزان الملتزم بها أنتجت الرد، ولا يقول إن النموذج «جيد» أو «آمن». والنتائج تقدّم وسيط، فلا تتوقع قريبًا زرًّا في ChatGPT أو Claude أو Gemini يعرض لك شارة التحقق.

وماذا يعني هذا لقارئ عربي اليوم؟

لا شيء تغيّره في إعداداتك. الفائدة العملية الآن لمن يشتري واجهات برمجية عبر وسطاء أو يقيّم نماذج: سؤال «هل هذا هو النموذج فعلًا؟» لم يعد بلا طريق تقني محتمل. أما المستخدم العادي فتبقى حمايته في عاداته؛ لمتابعة بقية ما يخص بياناتك مع هذه الشركات اقرأ وسم robots.txt المشترك لرفض التدريب، ولفهم لماذا يهم التحقق من قرارات الوكلاء راجع دراسة Anthropic عن اتباع ميل الوكيل.

هل يمكنني تجربة FlashProve الآن؟

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

هل يعمل مع Claude أو ChatGPT؟

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

المصادر: منشور Anthropic البحثي (2 نوفمبر 2026)، وتقرير TechCrunch بتاريخ 3 نوفمبر 2026.

اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

The reCAPTCHA verification period has expired. Please reload the page.

زر الذهاب إلى الأعلى