حتى اليوم لا توجد وسيلة للتأكد، وعليك أن تثق بكلام مزوّد الخدمة.
هنا تظهر FlashProve، نموذج أولي مفتوح المصدر كشفت عنه Anthropic في 2 نوفمبر 2026. يستخدم البراهين معدومة المعرفة (Zero-Knowledge Proofs) لإثبات أي نموذج ولّد الرد، دون الكشف عن أوزانه.
لكن هل هي حل جاهز؟ ليس بعد. في هذا المقال نشرح فكرة التحقق من نماذج الذكاء الاصطناعي بالتشفير، وكيف تعمل FlashProve، وأرقامها وحدودها.
مشكلة استبدال النماذج (Model Substitution): من الذي أجابك فعلًا؟
خطر الاستبدال الصامت
بحسب Anthropic، لا يستطيع المستخدمون اليوم التحقق من أن الردود تأتي من النموذج الذي يزعم المطوّر تشغيله. وقد تستبدل خدمات التوجيه (Routing) النموذج الموعود بنموذج أرخص دون أي إشعار.
خطر العبث بتدفق الرموز
الخطر الثاني أن تُعدَّل سلسلة الرموز (Token Stream) بين النموذج والمستخدم عبر هجمات مقصودة. عندها تصلك إجابة تختلف عمّا أنتجه النموذج فعلًا.
لماذا تتفاقم المشكلة؟
قنوات التوزيع تتكاثر. مزودو السحابة يعيدون بيع نماذج أطراف أخرى، والنماذج مفتوحة الأوزان تُعرض من عدة مزودين بأسعار متفاوتة. وهكذا قد يخفي اسم النموذج الواحد تنفيذات مختلفة تمامًا.
كيف تحل FlashProve المشكلة؟ ثلاث خطوات
تعتمد على تقنية zkSNARK، وهي برهان يثبت أن عملية حسابية نُفِّذت بشكل صحيح دون كشف البيانات الداخلية.
الالتزام (Commitment): ينشر المزوّد بصمة قصيرة تربطه بأوزان محددة دون كشفها. تستغرق نحو 39 دقيقة، مرة واحدة لكل نموذج.
الإثبات (Proof): مع كل رد، تولّد وحدة GPU لدى المزوّد برهانًا بأن الرموز هي مخرجات النموذج الملتزَم به.
التحقق (Verification): يتحقق أي شخص من البرهان على معالج عادي (CPU)، بلا أوزان ولا GPU.
أبرز الملامح:
الأوزان والقيم الوسيطة وقرارات توجيه الخبراء تبقى مخفية، أما بنية النموذج فغير مخفية.
التحقق خفيف ولا يحتاج عتادًا مكلفًا.
المشروع مفتوح المصدر برخصة Apache 2.0.
سلامة البروتوكول مُثبتة رياضيًا بلغة Lean.
أرقام النموذج الأولي: تجربة على Llama 4 Maverick
الأرقام أعلنتها Anthropic ولم يتحقق منها طرف ثالث.
النموذج: نسخة 4-bit من Llama 4 Maverick (400 مليار معامل، نحو 17 مليارًا نشطًا لكل رمز)
النافذة: 1,024 رمز
سرعة الإثبات: نحو 110 رموز/ثانية على H100 واحدة
حجم الإثبات: نحو 19 ميغابايت لكل طلب
زمن التحقق: 17 ثانية على 24 خيطًا
بيانات الالتزام: نحو 6.5 ميغابايت
الكلفة الإضافية: من 70 إلى 95 ضعف زمن GPU مقارنة بـ vLLM
ما الذي لا يضمنه الإثبات؟
يخبرك الإثبات أي نموذج ولّد الرد، لا هل الرد صحيح.
يغطي فك الترميز الحتمي فقط، لا أخذ العينات العشوائية.
النموذج المُثبَت نسخة بالأعداد الصحيحة، وقد ينحرف الحساب بالفاصلة العائمة عنها.
لا يغطي مطالبات مصممة لاستغلال الفروق العددية، ولا هجمات التوقيت.
نافذة 1,024 رمز قصيرة جدًا لمحادثة حقيقية.
التنفيذ بلغة C++ بلا ضمانات رسمية، والمشروع "غير مُصان" ولا يُشار إلى تدقيق أمني خارجي له، وهو غير مفعّل في Claude API.
ماذا تعني للشركات ومزودي السحابة؟
لا يتغير شيء اليوم، فهي ليست منتجًا. لكنها تشير إلى أن عقدًا يَعِد بنموذج محدد قد يصبح قابلًا للتحقق بالتشفير. وهو مسار يشبه ما تعيشه الخدمات المالية، إذ طلبت Coinbase الاعتراف بـ zkSNARK في قواعد مكافحة غسل الأموال الأمريكية.
ما يستحق المتابعة: انخفاض الكلفة من 70–95 ضعفًا، وامتداد النظام لسياقات ونماذج أخرى بما فيها المغلقة، وتبنّي جهات مستقلة للكود المتروك.
الخلاصة
تنقل FlashProve إلى الذكاء الاصطناعي مبدأً وُلد في العملات الرقمية: لا تثق، بل تحقق (Don't Trust, Verify). وتفصل بين سؤالين: من أين جاء الرد، وهل هو جيد؟ هي تجيب عن الأول فقط، وهذا وحده خطوة مهمة.
إن انخفضت الكلفة وامتد النظام، فسيصبح إثبات هوية النموذج جزءًا من العقد لا وعدًا تسويقيًا. حتى ذلك الحين تبقى نموذجًا بحثيًا، لكنها تضع معيارًا جديدًا لما يجب أن يطلبه المستخدمون من مزودي الذكاء الاصطناعي.
تعليقات
إرسال تعليق