الإجاباتمنشور31 المصادر
FlashProve: إثبات مصدر الإجابة من دون كشف أوزان النموذج
FlashProve نموذج بحثي مفتوح المصدر يستخدم براهين تشفيرية للتحقق من أن رموزاً محددة في الإجابة تستوفي قاعدة متفقاً عليها تحت أوزان نموذج ملتزم بها، من دون كشف الأوزان. قد يساعد على كشف استبدال النموذج أو جعل بعض محاولات العبث بالمحادثة أصعب، لكنه لا يثبت أن الإجابة آمنة أو صحيحة، ولا أن التوليد بالعينة اتبع توزيعاً ع...
نشر بواسطةتم التحرير باستخدام GPT-6 Lunaتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- FlashProve نموذج بحثي مفتوح المصدر يستخدم براهين تشفيرية للتحقق من أن رموزاً محددة في الإجابة تستوفي قاعدة متفقاً عليها تحت أوزان نموذج ملتزم بها، من دون كشف الأوزان.
- قد يساعد على كشف استبدال النموذج أو جعل بعض محاولات العبث بالمحادثة أصعب، لكنه لا يثبت أن الإجابة آمنة أو صحيحة، ولا أن التوليد بالعينة اتبع توزيعاً عشوائياً بعينه.
- أُطلق الكود بترخيص Apache 2.0، لكن المستودع يصفه بأنه أثر بحثي غير مُصان ولا يقبل المساهمات.
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: What is Anthropic’s FlashProve, the open-source cryptographic research prototype reported on November 4, 2026, and how does it address model. Article summary: FlashProve is Anthropic’s open-source research prototype for “provable inference”: a provider attaches a zkSNARK cryptographic proof tying a reply to previously committed model weights, without disclosing those weights. . Topic tags: general, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fa
FlashProve هو نموذج أولي مفتوح المصدر من أنثروبيك للتحقق من الاستدلال، أي التأكد من أن إجابة ما صدرت وفق قاعدة محددة عن نموذج ذي أوزان معلومة لمزوّد الخدمة. يلتزم المزوّد أولاً بمجموعة أوزان، ثم ينشئ برهاناً تشفيرياً على أن رموزاً محددة في الإجابة تستوفي قاعدة متفقاً عليها تحت تلك الأوزان. ويمكن للعميل التحقق من البرهان من دون الاطلاع على الأوزان نفسها. 10
29
لكن نطاق الإثبات مهم: FlashProve يثبت ادعاءً محدداً على مستوى الرموز، لا أن النموذج آمن، ولا أن جميع تفاصيل تشغيل الخدمة كانت نزيهة، ولا أن كل أسلوب لتوليد الإجابات جرى بالطريقة المعلنة. 10
29
ما الذي يضيفه؟ وما الذي لا يثبته؟
يربط البرهان الإجابة بالتزام محدد للأوزان، بدلاً من الاكتفاء باسم النموذج الذي تعرضه الخدمة. وقد يساعد ذلك على كشف استبدال النموذج بآخر، أو على جعل بعض محاولات العبث بالمحادثة أصعب: فإذا لم تتحقق الإجابة وفق الالتزام المتوقع، يمكن للعميل رفضها. وتشير أنثروبيك أيضاً إلى إمكان استخدامه في تقييمات السلامة للتحقق من أن النموذج الذي خضع للاختبار هو نفسه الذي يُقدَّم للمستخدمين. 10
40
لكن على العميل أن يعرف مسبقاً أي التزام يثق به. فالتحقق يجري مقابل معرّف الالتزام والملفات العامة المقدمة، ولا يثبت وحده أن هذا الالتزام يعود فعلاً إلى النموذج الذي يعلنه المزوّد. كذلك، إثبات هوية النموذج ليس شهادة سلامة: فقد ينتج النموذج الأصلي إجابات ضارة أو غير دقيقة. 30
32
كيف تتم العملية؟
١. التزام مسبق بالأوزان: يشغّل المزوّد أداة FlashProve المخصصة لإنشاء الالتزام على أوزان النموذج، ثم ينشر بيانات الالتزام. ويتضمن الالتزام بصمة من ٣٢ بايت تُسمى «معرّف الالتزام»، تربط البرهان بمجموعة أوزان بعينها، فيما تبقى الأوزان نفسها مخفية. 30
39
٢. إنشاء برهان لكل إجابة: ينشئ المزوّد برهاناً على أن الرموز التي يجري التحقق منها تستوفي سياسة قبول محددة تحت الأوزان الملتزم بها. في سياسة المطابقة التامة الافتراضية، يجب أن يكون كل رمز تم التحقق منه هو الاختيار الذي يفضّله النموذج وفق فك الترميز الجشع. أما سياسة فجوة الدرجات المقيّدة، فتتحقق من استيفاء درجات الرموز لقاعدة مقبولة بشأن الفجوة بين الدرجات؛ وهذا لا يساوي إثبات أن الرموز اختيرت بأمانة وفق توزيع عشوائي محدد. 20
32
٣. تحقق العميل: يفحص العميل البرهان باستخدام معرّف الالتزام المتوقع والملفات العامة المرتبطة به، إلى جانب الطلب والادعاء المتعلق بالرموز وسياسة القبول. يعمل برنامج التحقق على معالج عادي، ولا يحتاج إلى الأوزان السرية أو إلى وحدة معالجة رسومية. 29
30
34
هذا الفصل بين الالتزام المسبق وإثبات كل إجابة قد يهم مزوّدي النماذج المغلقة: إذ يمكنهم إتاحة التحقق من ادعاء متعلق بالاستدلال من دون تسليم العملاء معاملات النموذج. لكنه يظل استخداماً محتملاً، وليس دليلاً على أن خدمة تجارية نشرت FlashProve. 16
29
ماذا أظهر اختبار Llama 4 Maverick؟
جرى عرض FlashProve على نموذج Llama 4 Maverick من ميتا، وهو نموذج خليط خبراء يضم نحو ٤٠٠ مليار معامل. وينبغي قراءة أرقام الأداء في سياقها: معدل المعالجة المذكور ناتج عن دفعة طلبات، لا عن تدفق محادثة لمستخدم واحد. 3
7
- سرعة إنشاء البراهين: نحو ١١٠ رموز في الثانية على وحدة Nvidia H100 واحدة، عند معالجة دفعة من ٢٤ طلباً، لكل منها نافذة من ١٬٠٢٤ رمزاً. استغرقت الدفعة نحو ٢٢٣ ثانية.
1
- حجم البرهان: نحو ١٨٫٧٨ ميغابايت، ويُقرّب عادة إلى ١٩ ميغابايت، لكل طلب من ١٬٠٢٤ رمزاً.
- التحقق: استغرق نحو ١٧ ثانية على معالج مركزي ذي ٢٤ خيط معالجة في الاختبار المنشور؛ وبلغ نحو ٢١ ثانية عند استخدام خيط واحد.
19
- الإعداد الأولي للالتزام: استغرقت المرحلة لمرة واحدة نحو ٣٩ دقيقة، وبلغ حجم بيانات الالتزام المنشورة قرابة ٦٫٥ ميغابايت.
13
يتضمن المستودع أيضاً متحققاً مكتوباً بلغة Lean ونتائج Soundness مفحوصة آلياً. لكن نطاق النتائج مهم: فالادعاء الموثق يتعلق بمتحقق Lean وادعاءات المطابقة التامة ضمن افتراضات محددة، بينما تدعم سياسة فجوة الدرجات المقيّدة ادعاءً أضيق. ولا يعني ذلك أن كل تطبيق أو نشر أو نمط لفك الترميز مشمول بالضمان نفسه. 32
33
الكلفة والقيود
إنشاء البرهان مكلف حسابياً. تشير الأرقام المنشورة إلى أن عمل الإثبات يستهلك وقتاً على وحدة معالجة الرسوميات يزيد بنحو ٧٠ إلى ٩٥ مرة على وقت الاستدلال العادي باستخدام vLLM. وهذه كلفة كبيرة لنظام يهدف إلى إرفاق دليل بكل إجابة. 1
8
النافذة المعروضة محدودة. يصف المستودع الاختبار الكامل الحجم بنافذة سياق من ١٬٠٢٤ رمزاً؛ لذلك لا تثبت النتائج دعم نوافذ أطول. 23
معدل الدفعة لا يساوي زمن انتظار المستخدم. الرقم المتداول هو معدل إجمالي لدفعة من ٢٤ طلباً استغرقت معالجتها نحو ٢٢٣ ثانية. وقد يضاف إلى زمن استجابة المستخدم وقت انتظار الخدمة حتى تجمع طلبات كافية لتكوين دفعة. 1
ضمان التوليد محدد. تتحقق المطابقة التامة من الاختيارات الجشعة للنموذج. أما خيار فجوة الدرجات المقيّدة فلا يثبت أن رموز الإجابة سُحبت بأمانة من توزيع عشوائي محدد. ولا تثبت أي من السياستين أن الإجابة آمنة أو صادقة أو مفيدة. 20
32
من طوّره، وما وضع إتاحته؟
طوّر FlashProve فريق Frontier Red Team في أنثروبيك، بالتعاون مع باحثين من EPFL وMIT وStarkWare. ومن بين الأسماء الواردة ضمن المؤلفين باحثا أنثروبيك روي رينبرغ وأليكس ألين، وعالم التشفير أليساندرو كيشيا، إلى جانب متعاونين آخرين. 10
31
نُشر الكود بترخيص Apache 2.0. لكن المستودع يصف FlashProve بأنه أثر بحثي غير مُصان ولا يقبل المساهمات؛ لذا لا ينبغي الخلط بين إتاحة الكود مفتوح المصدر وبين دعوة المطورين إلى إرسال تعديلات للمشروع. 21
31
35
وتفيد التقارير بأن أنثروبيك لا تخطط لنشر FlashProve لديها أو في مكان آخر. وبالاقتران مع إشعار المستودع بشأن الصيانة، فهذا يضعه في خانة النموذج البحثي لاستكشاف التحقق من الاستدلال، لا المنتج المكتمل أو الخدمة الإنتاجية المدعومة. 15
35
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "FlashProve: إثبات مصدر الإجابة من دون كشف أوزان النموذج"؟
FlashProve نموذج بحثي مفتوح المصدر يستخدم براهين تشفيرية للتحقق من أن رموزاً محددة في الإجابة تستوفي قاعدة متفقاً عليها تحت أوزان نموذج ملتزم بها، من دون كشف الأوزان.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
FlashProve نموذج بحثي مفتوح المصدر يستخدم براهين تشفيرية للتحقق من أن رموزاً محددة في الإجابة تستوفي قاعدة متفقاً عليها تحت أوزان نموذج ملتزم بها، من دون كشف الأوزان. قد يساعد على كشف استبدال النموذج أو جعل بعض محاولات العبث بالمحادثة أصعب، لكنه لا يثبت أن الإجابة آمنة أو صحيحة، ولا أن التوليد بالعينة اتبع توزيعاً عشوائياً بعينه.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
أُطلق الكود بترخيص Apache 2.0، لكن المستودع يصفه بأنه أثر بحثي غير مُصان ولا يقبل المساهمات.