Anthropic تطلق FlashProve للتحقق من مصدر ردود الذكاء الاصطناعي
نظام مفتوح المصدر يستخدم إثباتات zkSNARK للتأكد من أن الرد صادر عن نموذج محدد دون كشف أوزانه، ونُشرت شيفرته على GitHub.
أعلنت شركة Anthropic في 2 نوفمبر 2026 عن إصدار FlashProve، وهو نظام مفتوح المصدر يستطيع إثباتاً تشفيرياً أن رداً معيناً صادر عن نموذج ذكاء اصطناعي محدد، بحسب aitimes.com.
يعتمد FlashProve على إثباتات المعرفة الصفرية zkSNARK للتأكد من أن الرد يطابق حساب النموذج دون الكشف عن أوزان النموذج. وتنشر الجهة المقدمة للخدمة أولاً بصمة رقمية مرتبطة بأوزان النموذج، ثم تنتج ملف إثبات لكل طلب من المستخدم.
يتحقق النظام من مطابقة المخرجات لحساب النموذج المحدد، لا من صحة الإجابة أو جودتها. وفي التجارب استُخدم نموذج Llama 4 Maverick البالغ 400 مليار معامل بأوزان عامة بدقة 4 بتات وحساب صحيح.
جرى توليد الإثباتات في التجربة على وحدة معالجة رسوميات H100 واحدة، وكان حجم ملف الإثبات نحو 19 ميغابايت، واستغرق التحقق نحو 17 ثانية باستخدام 24 خيط معالجة. وأفادت Anthropic بأن توليد الإثبات استهلك في ظروف تجريبية معينة وقتاً أطول من المعالجة المسبقة العادية عبر vLLM بمقدار 70 إلى 95 ضعفاً.
يستخدم التنفيذ الحالي سياقاً من 1024 رمزاً وظروف حساب محدودة، ما يعني أنه ليس منتجاً نهائياً للخدمات التجارية ذات المحادثات الطويلة. واستعان الباحثون بلغة التحقق الشكلي Lean لفحص صحة خصائص بروتوكول الإثبات وأمنه، لكنهم لم يثبتوا صحة شيفرة التنفيذ بأكملها.
مواد التقنية على GitHub
نشرت Anthropic التقرير التقني وشيفرة توليد الإثبات والتحقق ومواد إثبات Lean على GitHub برخصة Apache 2.0. وقبل ذلك، لم يكن بإمكان المستخدمين التأكد بسهولة من النموذج الذي أجاب فعلاً على طلباتهم في خدمة ذكاء اصطناعي.
أسئلة سريعة
ما هو FlashProve؟
نظام مفتوح المصدر من Anthropic يستخدم إثباتات zkSNARK للتأكد تشفيرياً من أن رداً معيناً صادر عن نموذج محدد دون كشف أوزان النموذج.
هل يتحقق FlashProve من صحة الإجابة؟
لا. يتحقق من مطابقة المخرجات لحساب النموذج المحدد، لا من صحة الإجابة أو جودتها.
أين نُشرت شيفرة FlashProve؟
على GitHub برخصة Apache 2.0، إلى جانب التقرير التقني وشيفرة توليد الإثبات والتحقق ومواد إثبات Lean.