وراء الضجة: رأيي حول بنية Lagrange التحتية للزيرو كوني (ZK) للتحقق من الذكاء الاصطناعي والتفاعل عبر السلاسل

لقد كنت أستكشف هذا المشروع المعروف باسم Lagrange، وبصراحة، إنه مثير للاهتمام وم frustrating في نفس الوقت. إنهم يقومون ببناء ما يسمونه "طبقة إثبات لامتناهية" لـ Web3 - وهي في الأساس بنية تحتية لامركزية تعتمد على المعرفة الصفرية يمكنها التحقق من الإثباتات عبر السلاسل، DeFi، واستنتاجات الذكاء الاصطناعي. لقد أطلقوا للتو رمز LA الخاص بهم بعد جمع مبلغ ضخم قدره 17.2 مليون دولار، وقد حصلوا بالفعل على الإدراجات في التبادلات الرئيسية.

عند النظر إلى شبكة ZK Prover الخاصة بهم، ZK Coprocessor، ونظام DeepProve zkML - إنها تقنية طموحة، ربما طموحة جداً؟ السؤال الذي يدور في ذهني: هل هذا يحل مشكلة حقيقية أم أنه مجرد رمز آخر يركب على موجة الضجيج حول ZK و AI؟

يبدو أن ادعائهم ب"جعل كل قرار من قرارات الذكاء الاصطناعي قابلاً للإثبات" ثوري في النظرية. تخبرنا طرق التحقق التقليدية بما حدث ولكن ليس لماذا أو كيف - وهو الفجوة بالضبط التي تهدف لاجرانج إلى سدها. هذه التفرقة مهمة للغاية لأنظمة الذكاء الاصطناعي حيث أن السبب وراء القرارات غالبًا ما يكون بنفس أهمية القرار نفسه.

ما لفت انتباهي هو هيكلهم المعماري الذي يفصل بين توليد الإثبات وبيئات التنفيذ. هذا يعني أنهم يمكنهم التحقق من مخرجات الذكاء الاصطناعي، وعمليات SQL المعقدة، والبيانات التاريخية عبر السلاسل - أشياء تكافح الأنظمة الحالية في التعامل معها.

يبدو أن اقتصاد الرموز بسيط ولكنه قد يكون problematic. الطلب على الإثبات يدفع الطلب على رمز LA، مع الرسوم المدفوعة بـ LA ( أو المحولة إلى LA). يحصل المشغلون والمفوضون على جزء من هذه الرسوم، مما يخلق نظامًا بيئيًا يتماشى نظريًا مع الحوافز. لكننا رأينا هذا النموذج يفشل من قبل عندما لا يتجسد الاستخدام الفعلي.

نظام مزاد DARA الخاص بهم لمطابقة مهام الإثبات للمشغلين ذكي - يذكرني بآليات دفتر الطلبات ولكن لموارد الحوسبة. ومع ذلك، أتساءل عما إذا كانت هذه التعقيد ستحد من التبني.

الشراكات مع 0G Labs و Matter Labs هي إشارات مثيرة للاهتمام. لكنني متشكك - لقد رأينا العديد من البنى التحتية "الرائدة" في عالم العملات المشفرة التي لم تحقق أبداً اعتماداً في العالم الحقيقي.

عندما يدعون أن DeepProve قد "تحققت بالفعل من ملايين العمليات الحاسوبية خارج السلسلة"، أريد أن أرى إثباتات. ما هي العمليات الحاسوبية؟ لمن؟ وما هي القيمة الاقتصادية؟

بحلول عام 2030، تتصور لاغرانج أنظمة الذكاء الاصطناعي التي تولد إيصالات تشفيرية لكل ما تفعله. هذه رؤية قوية ستغير بشكل جذري كيف نثق بالآلات. لكن الطريق من هنا إلى هناك مليء بالبروتوكولات الفاشلة.

السؤال ليس ما إذا كانت الذكاء الاصطناعي القابل للتحقق مهمًا - فهو مهم بالتأكيد. السؤال هو ما إذا كانت نهج لاغرانج سيفوز في مساحة تنافسية بشكل لا يصدق. أنا أراقب عن كثب، لكنني لست مقتنعًا بعد.