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

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

تم إطلاق رمز LA الخاص بهم للتو بعد جمع 17.2 مليون دولار وإدراجه في البورصات الكبرى. إنهم يضعون أنفسهم كدعامة للذكاء الاصطناعي القابل للتحقق من خلال شبكة ZK Prover الخاصة بهم، و ZK Coprocessor، ونظام DeepProve zkML. وعود كبيرة، كما هو الحال دائمًا في عالم العملات الرقمية.

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

يبدو أن التقنية واعدة - شبكة موزعة عالميًا من الموثقين التي تولد وتتحقق من إثباتات ZK. يمكن لحاملي رموز LA تفويض العقد، مما يخلق حلقة الحوافز المشفرة المألوفة: المزيد من الطلب على الذكاء الاصطناعي القابل للتحقق → المزيد من الإثباتات → المزيد من المكافآت للمشغلين.

أمثلتهم العملية مثيرة للاهتمام. تخيل DAO يحتاج إلى التحقق من بيانات الحوكمة من سلسلة أخرى. نظامهم يستخرج الحالة، ويجري الحسابات خارج السلسلة، وينتج إثبات زيرو-معرفة يتم التحقق منه على السلسلة، وها هي - تحقق بدون ثقة. بالنسبة للذكاء الاصطناعي، نظامهم DeepProve يولد إثباتات زيرو-معرفة لاستنتاج ML مع الحفاظ على الخصوصية.

اقتصاديات الرمز قابلة للتنبؤ - الرسوم مقابل الإثباتات تُدفع بـ LA أو رموز أخرى ( وتحويلها إلى LA)، وتوزيعها على المشغلين والمفوضين. لقد أنشأوا آلية مزاد تُسمى DARA لمطابقة طلبات الإثبات مع المشغلين.

أنا الأكثر تشككًا بشأن جدولهم الزمني. إنهم يدعون أن DeepProve ستدعم قريبًا نماذج LLM الرئيسية ويعدون بإثباتات التدريب، والتعديل، والإنصاف، والتفكير. هذا عمل تقني ضخم.

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

تضفي الشراكات مع 0G Labs وMatter Labs وNVIDIA وIntel بعض المصداقية. لكن الاختبار الحقيقي سيكون في تقديم بنية تحتية قابلة للتوسع، من الدرجة الإنتاجية، التي تعمل بالفعل لتطبيقات العالم الحقيقي، وليس فقط للتكهنات في عالم العملات المشفرة.

رؤيتهم مثيرة للاهتمام - لكن هل يمكنهم تحويل ZK من فضول تشفيري إلى ضرورة سائدة؟ سأصدق ذلك عندما أرى أدلة فعلية، وليس مجرد وعود.