تفاصيل أعمق
1. إثباتات Gemma3 وتقليل التكرار في التنسورات (سبتمبر 2025)
نظرة عامة: يتيح هذا التحديث لنظام DeepProve التابع لـ Lagrange التحقق من مخرجات نموذج الذكاء الاصطناعي المتقدم Gemma3 من جوجل. كما يعيد استخدام البيانات عبر الطبقات بشكل ذكي، مما يجعل العملية أكثر كفاءة للمستخدمين.
نجح الفريق في إنشاء إثبات معرفة صفرية (zero-knowledge proof) لاستنتاج كامل لنموذج Gemma3 الذي يحتوي على 270 مليون معلمة، وهو الأول من نوعه لأي نظام zkML. تطلب ذلك توسيع إطار عمل DeepProve لدعم ميزات جديدة في بنية الذكاء الاصطناعي مثل الانتباه المجمّع (Grouped Query Attention) والترميز الموضعي الدوار (Rotary Positional Encoding - RoPE). كان من التحسينات الرئيسية الكشف التلقائي وتقليل التكرار في التنسورات المتطابقة (مثل RoPE) التي تتكرر عبر طبقات متعددة، مما يمنع الالتزامات المكررة المكلفة.
ما يعنيه هذا: هذا خبر إيجابي لـ $LA لأنه يثبت قدرة المشروع على مواكبة أحدث تقنيات الذكاء الاصطناعي، مما يزيد من قيمة خدمة التحقق التي يقدمها. بالنسبة للمستخدمين، يعني ذلك إمكانية التحقق من تطبيقات ذكاء اصطناعي أكثر تعقيدًا بأمان وبتكلفة حسابية أقل.
(تحديث هندسي لـ Lagrange: سبتمبر 2025)
2. هيكلية جديدة للرسم البياني وطبقة Einsum (سبتمبر 2025)
نظرة عامة: أعاد هذا التحديث بناء النظام ليقدم أساسًا أقوى وأكثر مرونة لـ DeepProve، مما يسهل تطوير التحديثات المستقبلية وشبكات الإثبات الموزعة ويجعلها أكثر موثوقية.
استبدل الفريق الهندسي نظام الرسم البياني الهجين بإطار عمل جديد داخلي يعتمد على الرسم البياني للمنافذ (port-graph)، مما يفرض اتصالات واضحة لتدفق البيانات، ويحسن من التحقق والتوازي. في الوقت نفسه، دمجوا عدة طبقات للعمليات الخطية (مثل Dense وMatMul) في طبقة واحدة قابلة للتكوين تسمى "Einsum". هذا التبسيط يزيل الحشو الحسابي غير الضروري ويجمع خطوات التحقق.
ما يعنيه هذا: هذا التحديث محايد إلى إيجابي لـ $LA لأنه ترقية أساسية. لا يغير تجربة المستخدم بشكل مباشر، لكنه يمهد الطريق لتوليد إثباتات أسرع وشبكة أكثر قابلية للتوسع في المستقبل، مما قد يزيد الطلب على رمز $LA.
(تحديث هندسي لـ Lagrange: سبتمبر 2025)
3. إثباتات تسلسل GPT-2 الكامل وانتقال المعالجة إلى GPU (أغسطس 2025)
نظرة عامة: حسّن هذا التحديث بشكل كبير من قابلية توسيع الإثباتات، مما سمح لنظام DeepProve بالتحقق من محادثات ذكاء اصطناعي أطول بكفاءة. كما بدأ الانتقال إلى معالجة باستخدام وحدات معالجة الرسومات (GPU) لتحقيق سرعات أعلى.
كان من الإنجازات الرئيسية إثبات تسلسل كامل مكون من 1024 رمزًا لنموذج GPT-2 على نفس الأجهزة التي كانت تدعم سابقًا 10 رموز فقط، مما يعكس تحسنًا بمعدل 25 ضعفًا في عدد الرموز التي يمكن معالجتها في الثانية. كما قام الفريق بترقية نظام الإثبات الأساسي إلى مكتبة "scroll/ceno" الأحدث، التي قللت وقت الإثبات إلى النصف واستهلاك الذاكرة بحوالي 10 أضعاف. بالإضافة إلى ذلك، بدأوا في نقل وحدات الاستدلال إلى GPU باستخدام إطار عمل Burn لتسريع العمليات الحسابية.
ما يعنيه هذا: هذا خبر إيجابي لـ $LA لأنه يثبت أن التكنولوجيا يمكنها التوسع بكفاءة، وهو أمر حاسم لاعتمادها في العالم الحقيقي. بالنسبة للمطورين والعملاء، يعني ذلك تحققًا أسرع وأرخص للذكاء الاصطناعي.
(تحديث هندسي لـ Lagrange: أغسطس 2025)
الخلاصة
يركز التطور الأخير في كود Lagrange بشكل واضح على توسيع قدرته الأساسية: الذكاء الاصطناعي القابل للتحقق. من خلال إثبات نماذج متقدمة مثل Gemma3، وتحسين الكفاءة، وبناء أساس لشبكات موزعة، ينتقل المشروع من بروتوكول واعد إلى طبقة بنية تحتية عالية الأداء. هل سيكشف التحديث الهندسي القادم عن اختراقات في تنسيق العقد المتعددة التي تفتح أخيرًا تأثيرات الشبكة؟