zksnark

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

النقاط الصعبة: على Llama 4 Maverick (نحو 400 مليار مُعامل، MoE، وبدقة 4-bit)، تبلغ سرعة الإثبات على بطاقة H100 واحدة نحو 110 tokens/ثانية؛ ويبلغ حجم الإثبات لطلب من 1024 token نحو 19 MB؛ ويمكن التحقق منه في نحو 17 ثانية باستخدام CPU عادي ذي 24 نواة؛ أما كلفة GPU فتبلغ نحو 70–95 ضعفًا مقارنةً بالاستدلال عبر vLLM. نُشرت الشيفرة وإثباتات Lean الشكلية ووثائق البروتوكول جميعها مفتوحة المصدر بموجب Apache 2.0.

ما زال هذا نموذجًا أوليًا بحثيًا — حاليًا يقتصر أساسًا على MoE، وفك ترميز جشع بأعداد صحيحة، وسياق يبلغ نحو 1024؛ كما أن البنية نفسها غير مخفية. لكن نقل zk من البلوك تشين إلى طبقة مخرجات النماذج جعل حالات مثل التدقيق ومنع إسقاط الطلبات أثناء التوجيه أقرب إلى الواقع فجأة.

#zkSNARK #AI #可验证推理 #Anthropic