FlashProve خدام

FlashProve هو نظام ديال الاستدلال القابل للتحقق مفتوح المصدر من طرف Anthropic، كيستعمل براهين المعرفة الصفرية باش يخلّي مزوّدي خدمات النماذج يبرهْنو، مع إخفاء الأوزان، بلّي جواب معيّن تخرّج فعلاً من النموذج المحدد. تجرّب FlashProve فعلياً على Llama 4 Maverick بـ400B بارامتر، وحقق تقريباً 110 tokens/s فـH100 وحدة، وكل برهان ديال 1024 token كيوزن تقريباً 19MB، والتحقق بالـCPU كياخذ حوالي 17 ثانية؛ ووقت الـGPU اللازم لتوليد البرهان كيساوي تقريباً بين 70 و95 مرة وقت الاستدلال العادي. مازال غير نموذج أولي بحثي، وكيثبت غير المصدر وما كيضمنش صحة المحتوى.

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

تابعنا فـWeChat وردّ بـ“开源” باش تنضم لمجموعة مشاريع الذكاء الاصطناعي مفتوحة المصدر
إطار الالتزام والتحقق: FlashProve كيفرّق المسار لجوج مراحل: غير متصلة ومتصلة. فالأول، المزوّد كيولّد التزاماً تشفيرياً بأوزان النموذج المحدد، وكيعلن بصمة النموذج بلا ما يسرّب الأوزان؛ وكل طلب كيرافقو برهان zkSNARK، والمستخدم يقدر، غير بالاعتماد على الالتزام والمدخل والجواب، يتحقق بلّي المخرج جاي فعلاً من داك النموذج.
برهان succinct ديال المعرفة الصفرية: النظام كيستعمل حُجّة موجزة ديال المعرفة الصفرية، كتخلّي الم验证 يتحقق فثواني قليلة باستعمال الـCPU من برهان حجمو تقريباً 19MB، بلا ما يعاود يشغّل نموذج 400B؛ والبرهان ما كيكشفش الأوزان، قيم التفعيل الوسيطة ولا اختيار الخبراء، وكيأكد غير بلّي الحساب تدار حسب النموذج الملتزم به.
تحسين واعٍ بالتفعيل ديال MoE: بالنسبة لنماذج MoE بحال Llama 4 Maverick، كتكبر تكلفة البرهان غير مع حوالي 17B بارامتر اللي كتتفعل فعلياً، وماشي مع مجموع 400B بارامتر، وهاد الشي كيرفع مردودية البرهنة لحوالي 110 tokens/s فـH100 وحدة.
البرهنة المجمّعة من بعد: كيتولّد البرهان من بعد ما يكمل الاستدلال، وكيتم استعمال النص المولّد كـprefill وقراءتو بالتوازي، وكيتم فتح الالتزام بالأوزان غير مرة وحدة فكل دفعة، باش تنقص الحسابات المكررة؛ ولكن المقابل هو أنه ما كايناش برهنة مدمجة وفورية مع كل Token.
التنفيذ المتدفق على GPU وحدة: أوزان النموذج كتتخزّن مقسّمة حسب الطبقات فذاكرة المضيف، وكتتبعث بالتدفق لـH100 وحدة بسعة 80GB، وكيتم توليد البرهان طبقة بطبقة، باش يقدر MoE ضخم يخدم بلا ما يتحط كامل فذاكرة الفيديو.

استنساخ المستودع: حمّل الكود من https://github.com/anthropics/FlashProve وخدم كمستخدم عادي من جذر المستودع.
بناء أداة التحقق: شغّل verifier/build.sh باش تكمبايل أداة التحقق بـC++؛ وعلامة النجاح هي يخرج THE VERIFIER IS BUILT ويكون رمز الخروج 0.
التحقق من برهان نموذجي: نفّذ bin/cp_verify مع البارامترات اللي فـexamples/accepted-proof باش تفحص العينة المرفقة؛ إلا كانت آخر سطر YES فهذا كيعني أن أداة التحقق خدامة مزيان.
الفحص الذاتي بالـCPU: شغّل blocks/first_look.sh باش تدير اختبار لمكتبة البراهين، وتتأكد أن البرهان الصادق تقبل والبرهان المزوّر ترفض.
المسار الكامل بالـGPU: فآلة فيها H100 80GB وحدة خالية وCUDA 13.2، شغّل examples/quickstart-gpu.sh، وغادي يكمل أوتوماتيكياً الإرسال والبرهنة والتحقق من طلب ديال نموذج صغير.
التحقق من نموذج حقيقي: من بعد ما تحصل على معرّف الالتزام، الطلب، المخرج والبرهان من المزوّد، استعمل bin/cp_verify CONFIG PUBLIC_KEY REQUEST TOKEN PROOF -id COMMITMENT_ID للتحقق؛ وخاص معرّف الالتزام يكون جاي من قناة موثوقة.
قراءة النتيجة: رمز الخروج 0 وآخر سطر YES كيعنيو القبول، و1 كيعني الرفض، و5 كيعني مازال ما خرج حتى حكم ويمكن تعاود المحاولة مرة وحدة؛ وأي قيمة أخرى كتعني خطأ فالتنفيذ أو فالملفات.

قابلية التحقق بلا تسريب الأوزان: مع بقاء أوزان النموذج سرية، البرهان التشفيري كيثبت أن الجواب جاي فعلاً من النموذج المحدد.
الحماية من التبديل والتلاعب: إلا بدّل المزوّد النموذج بواحد رخيص، أو بدّلت طبقة التوجيه النموذج فالخفاء، أو عدّل مهاجم المخرج، غادي يبان هاد الشي وقت التحقق.
تكلفة تحقق منخفضة بزاف: الم验证 كيحتاج غير CPU عادي وبرهان حجمو تقريباً 19MB، وكيكمل فثواني معدودة حتى لعشرات الثواني، بلا GPU وبلا ما يعاود يشغّل النموذج.
اختراق فالحجم: أول تنفيذ لبرهنة بسرعة تقريباً 110 tokens/s على Llama 4 Maverick بـ400B بارامتر، وبفارق كيوصل لعدة مراتب على أنظمة zkML السابقة.
تحسين موجّه لـMoE: تكلفة البرهان كتكبر غير مع حوالي 17B بارامتر اللي كتتفعل فعلياً فكل Token.
صياغة الخصائص الأمنية بشكل رسمي: تم إثبات خصائص السلامة، الموثوقية والمعرفة الصفرية فـLean 4 بطريقة قابلة للفحص آلياً.

الموقع الرسمي للمشروع: https://www.anthropic.com/research/provable-inference
مستودع GitHub: https://github.com/anthropics/FlashProve
الورقة التقنية: https://assets.claude.com/8e1d181a83015078581c92d896757041713f0160.pdf

التحقق من الوسطاء الخارجيين للـAPI وتوجيه النماذج: من بعد ما يخلص المستخدم باش يستعمل نموذج عالي الأداء محدد، يقدر بالبرهان يتأكد أن الوسيط ما بدّلوش فالسّر بنموذج أرخص.
التقييم المستقل للنماذج: تقدر جهة التقييم تتأكد أن الخدمة اللي كتتقيّم فعلاً ناشرة النموذج المراد تقييمه، وتتفادى حالة “التقييم كان على A، واللي طلع للخدمة هو B”.
حماية خوادم الاستدلال من التلاعب: تقدر الشركة تطلب من الخادم يرفق كل استجابة ببرهان، وبهاد الشكل ما يقدرش مهاجم أو نموذج عندو صلاحيات زائدة يزوّر مخرج الأوزان المحددة.
الامتثال التنظيمي: تقدر الهيئة التنظيمية تطلب من المزوّد يقدّم براهين الاستدلال بشكل دوري، باش تتأكد أن العتاد كيتستعمل فعلاً لاستدلال النموذج الموافق عليه، وماشي للتدريب أو لتجاوز مسار الموافقة.
دعم التصريحات المهمة من أطراف ثالثة: يقدر المطوّر يثبت أن الكود تفحص فعلاً من طرف نموذج أمني متقدم، أو تثبت الشركة أن الحل التجاري راجعو النموذج المحدد، بلا ما يحتاج الطرف الآخر يطّلع على أوزان النموذج باش يتحقق.