حسابات عدم المعرفة من أجل ويب 3 أكثر ذكاءً وقابلية للتوسع
ما هو لاغرانج (LA)؟ مع استمرار تطور تقنية blockchain، يصبح شيئاً واحداً واضحاً بشكل متزايد: الموارد على السلسلة محدودة. إن تنفيذ حسابات معقدة أو استرجاع بيانات blockchain التاريخية مباشرة على السلسلة مكلف، بطيء، وغير فعال.
دعنا نفصل الأمر.
🧩 المشكلة التي تحلها لاغرانج
تخيل أنك تقوم ببناء بروتوكول DeFi يقوم بحساب متوسط $ETH السعر عبر 10 سلاسل مختلفة على مدار 30 يوماً الماضية. القيام بذلك مباشرة على السلسلة يكاد يكون مستحيلاً:
• ستكون رسوم الغاز ضخمة
• ستحتاج إلى أوراكل، مما يقلل من عدم الثقة
• ستحد حدود التخزين وحدود الحساب من التنفيذ
غالباً ما يواجه المطورون هذا عند بناء بروتوكولات متعددة السلاسل، أو نماذج الذكاء الاصطناعي، أو حتى تحليل تاريخ المستخدم. تقدم لاغرانج حلاً من خلال السماح لك بالحساب خارج السلسلة وإثبات النتيجة مع ZKPs على السلسلة.⚙️ بنية لاغرانج: ثلاثة أعمدة
تتميز لاغرانج بتصميم معياري يتكون من ثلاثة مكونات أساسية:
1. 🔬 شبكة ZK Prover
هذه شبكة لامركزية من ZK Provers—عقد تقوم بتشغيل الحسابات وتوليد إثباتات عدم المعرفة.
• يمكن لأي شخص أن يصبح موفرًا من خلال رهن رموز LA
• يتنافس الموفرون لأداء المهام المقدمة من قبل المستخدمين أو المطورين
• تضمن الشبكة تكراراً وصلاحية الإثبات عبر التحقق التشفيري
تقوم هذه الشبكة بتفويض المهام المعقدة مثل استعلام تاريخ blockchain أو حساب الأسعار المتوسطة، ثم تعيد إثباتاً يمكن التحقق منه على السلسلة.
2. ⚡ ZK Coprocessor (مع مكتبة zkML)
ZK Coprocessor يشبه معالج صغير للمنطق خارج السلسلة. اعتبره آلة افتراضية تقوم بتشغيل الحسابات التي لا تستطيع العقود الذكية التعامل معها.
يشمل ذلك:
• تجميع البيانات التاريخية
• تنفيذ منطق الأعمال خارج السلسلة
• تشغيل نماذج التعلم الآلي (عبر zkML، مكتبة للتعلم الآلي بعدم المعرفة)
3. 🧠 DeepProve
تمكن DeepProve:
• إثباتات البيانات (على سبيل المثال، سعر ETH من السلسلة A)
• إثباتات الأصول متعددة السلاسل (على سبيل المثال، ملكية NFT من السلسلة B)
ما هو لاغرانج (LA)؟ مع استمرار تطور تقنية blockchain، يصبح شيئاً واحداً واضحاً بشكل متزايد: الموارد على السلسلة محدودة. إن تنفيذ حسابات معقدة أو استرجاع بيانات blockchain التاريخية مباشرة على السلسلة مكلف، بطيء، وغير فعال.
دعنا نفصل الأمر.
🧩 المشكلة التي تحلها لاغرانج
تخيل أنك تقوم ببناء بروتوكول DeFi يقوم بحساب متوسط $ETH السعر عبر 10 سلاسل مختلفة على مدار 30 يوماً الماضية. القيام بذلك مباشرة على السلسلة يكاد يكون مستحيلاً:
• ستكون رسوم الغاز ضخمة
• ستحتاج إلى أوراكل، مما يقلل من عدم الثقة
• ستحد حدود التخزين وحدود الحساب من التنفيذ
غالباً ما يواجه المطورون هذا عند بناء بروتوكولات متعددة السلاسل، أو نماذج الذكاء الاصطناعي، أو حتى تحليل تاريخ المستخدم. تقدم لاغرانج حلاً من خلال السماح لك بالحساب خارج السلسلة وإثبات النتيجة مع ZKPs على السلسلة.⚙️ بنية لاغرانج: ثلاثة أعمدة
تتميز لاغرانج بتصميم معياري يتكون من ثلاثة مكونات أساسية:
1. 🔬 شبكة ZK Prover
هذه شبكة لامركزية من ZK Provers—عقد تقوم بتشغيل الحسابات وتوليد إثباتات عدم المعرفة.
• يمكن لأي شخص أن يصبح موفرًا من خلال رهن رموز LA
• يتنافس الموفرون لأداء المهام المقدمة من قبل المستخدمين أو المطورين
• تضمن الشبكة تكراراً وصلاحية الإثبات عبر التحقق التشفيري
تقوم هذه الشبكة بتفويض المهام المعقدة مثل استعلام تاريخ blockchain أو حساب الأسعار المتوسطة، ثم تعيد إثباتاً يمكن التحقق منه على السلسلة.
2. ⚡ ZK Coprocessor (مع مكتبة zkML)
ZK Coprocessor يشبه معالج صغير للمنطق خارج السلسلة. اعتبره آلة افتراضية تقوم بتشغيل الحسابات التي لا تستطيع العقود الذكية التعامل معها.
يشمل ذلك:
• تجميع البيانات التاريخية
• تنفيذ منطق الأعمال خارج السلسلة
• تشغيل نماذج التعلم الآلي (عبر zkML، مكتبة للتعلم الآلي بعدم المعرفة)
3. 🧠 DeepProve
تمكن DeepProve:
• إثباتات البيانات (على سبيل المثال، سعر ETH من السلسلة A)
• إثباتات الأصول متعددة السلاسل (على سبيل المثال، ملكية NFT من السلسلة B)
